Merge branch view2 into master
authorHelmut Grohne <helmut@subdivi.de>
Thu, 17 Jan 2013 14:09:00 +0000 (15:09 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 17 Jan 2013 14:09:00 +0000 (15:09 +0100)
commit9c20cf71b1136f7461a8a2062c9c9852518fd707
tree65a7f0f232ed6131373a3a507ea26d160a1636f4
parent14045101118b9150b19e51f60beb0c3078073f47
parentf07aa8339d82c98f59f12fc75ea08b2b02bd7354
Merge branch view2 into master

Get rid of checkInsertProof entirely.

Conflicts:
Bidir.agda (change of lemma-just\==nnothing
                    vs. checkInsertProof removal)
Bidir.agda
CheckInsert.agda