strip prose from lemma-1 and lemma-2
authorHelmut Grohne <helmut@subdivi.de>
Sat, 17 Nov 2012 18:24:11 +0000 (19:24 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sat, 17 Nov 2012 18:24:11 +0000 (19:24 +0100)
commitee0eef66fc69ac614726e4b48c2997f14707a483
treed0a72b8ad2a34aabb264c83edfca54fdab399080
parentb1ff726734b60d82270fb77a0bdc70ecea20a9b5
strip prose from lemma-1 and lemma-2

The more compact notation excluding refl transformations will also be
used in the paper version.
Bidir.agda