diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-17 15:09:00 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-17 15:09:00 +0100 |
| commit | 9c20cf71b1136f7461a8a2062c9c9852518fd707 (patch) | |
| tree | 65a7f0f232ed6131373a3a507ea26d160a1636f4 /FinMap.agda | |
| parent | 14045101118b9150b19e51f60beb0c3078073f47 (diff) | |
| parent | f07aa8339d82c98f59f12fc75ea08b2b02bd7354 (diff) | |
| download | bidiragda-9c20cf71b1136f7461a8a2062c9c9852518fd707.tar.gz | |
Merge branch view2 into master
Get rid of checkInsertProof entirely.
Conflicts:
Bidir.agda (change of lemma-just\==nnothing
vs. checkInsertProof removal)
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions