diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-11-17 19:24:11 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-11-17 19:24:11 +0100 |
| commit | ee0eef66fc69ac614726e4b48c2997f14707a483 (patch) | |
| tree | d0a72b8ad2a34aabb264c83edfca54fdab399080 /Precond.agda | |
| parent | b1ff726734b60d82270fb77a0bdc70ecea20a9b5 (diff) | |
| download | bidiragda-ee0eef66fc69ac614726e4b48c2997f14707a483.tar.gz | |
strip prose from lemma-1 and lemma-2
The more compact notation excluding refl transformations will also be
used in the paper version.
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions