diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-04-19 12:08:55 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-04-19 12:08:55 +0200 |
| commit | dd95d0924df51daeac7176d4010a30d34bae2b02 (patch) | |
| tree | 080317d093d020ef6ad143c1c7db1f3993243501 /BFF.agda | |
| parent | 66ff6ff465825e1fe0d5b2d65b3d3860dedae97d (diff) | |
| download | bidiragda-dd95d0924df51daeac7176d4010a30d34bae2b02.tar.gz | |
move lemma-\notin-lookupM-assoc to Precond
This removes imports.
Diffstat (limited to 'BFF.agda')
0 files changed, 0 insertions, 0 deletions