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)
Get rid of checkInsertProof entirely.

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

1  2 
Bidir.agda
CheckInsert.agda

diff --cc Bidir.agda
Simple merge
Simple merge