diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-06-05 14:12:10 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-06-05 14:12:10 +0200 |
| commit | a98ec27d280b41b86fad060aff60c3e9037fc669 (patch) | |
| tree | 928b0f0f89e27dd92363a3621c2b2d2b6ab10884 /BFF.agda | |
| parent | ddb751df76c004d788ed09c3ed54c562c99afb7b (diff) | |
| download | bidiragda-a98ec27d280b41b86fad060aff60c3e9037fc669.tar.gz | |
move checkInsert and related properties to CheckInsert.agda
Diffstat (limited to 'BFF.agda')
0 files changed, 0 insertions, 0 deletions