move checkInsert and related properties to CheckInsert.agda
authorHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 12:12:10 +0000 (14:12 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Tue, 5 Jun 2012 12:12:10 +0000 (14:12 +0200)
commita98ec27d280b41b86fad060aff60c3e9037fc669
tree928b0f0f89e27dd92363a3621c2b2d2b6ab10884
parentddb751df76c004d788ed09c3ed54c562c99afb7b
move checkInsert and related properties to CheckInsert.agda
Bidir.agda
CheckInsert.agda [new file with mode: 0644]