diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-04-19 11:52:27 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-04-19 11:52:27 +0200 |
| commit | 7c3e2c61e55aa876f88fbd34c94ccfb0a8c715d4 (patch) | |
| tree | da62a6b97b8744c0bb7b9067b9007a8960004246 /CheckInsert.agda | |
| parent | dabd8455638d0cea486dd94dcdd13729077018d7 (diff) | |
| download | bidiragda-7c3e2c61e55aa876f88fbd34c94ccfb0a8c715d4.tar.gz | |
move lemma-just!=nothing to FinMap and use it there
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions