move lemma-\notin-lookupM-assoc to Precond
authorHelmut Grohne <helmut@subdivi.de>
Fri, 19 Apr 2013 10:08:55 +0000 (12:08 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 19 Apr 2013 10:08:55 +0000 (12:08 +0200)
commitdd95d0924df51daeac7176d4010a30d34bae2b02
tree080317d093d020ef6ad143c1c7db1f3993243501
parent66ff6ff465825e1fe0d5b2d65b3d3860dedae97d
move lemma-\notin-lookupM-assoc to Precond

This removes imports.
Bidir.agda
Precond.agda