diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-18 08:28:08 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-18 08:28:08 +0200 |
| commit | 511c9d49c5f9dc4e3df11d718bd98a95acc77a7d (patch) | |
| tree | 65ba13c84a25e140698eca8e1655fc4acb1c279d /Bidir.agda | |
| parent | 99e4f3024fd5542b6f33ed3b756db6eb97201c39 (diff) | |
| download | bidiragda-511c9d49c5f9dc4e3df11d718bd98a95acc77a7d.tar.gz | |
one more application of lemma-just\==nnothing
Diffstat (limited to 'Bidir.agda')
0 files changed, 0 insertions, 0 deletions