base case of lemma-2
authorHelmut Grohne <helmut@subdivi.de>
Mon, 23 Jan 2012 18:51:55 +0000 (19:51 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 23 Jan 2012 18:51:55 +0000 (19:51 +0100)
commit16d6ec0aa1f8599a4445ea6994d6f0fb5e5c25d4
tree13087bef8b0034db6a045e220170b73d146425f9
parent4fa6ecf53dd170e4079edb582c68a55448047c6a
base case of lemma-2
Bidir.agda