rewrite lemma-1 using propositional equality
authorHelmut Grohne <helmut@subdivi.de>
Mon, 23 Jan 2012 10:50:28 +0000 (11:50 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 23 Jan 2012 10:50:28 +0000 (11:50 +0100)
commit4fa6ecf53dd170e4079edb582c68a55448047c6a
tree4636cd20987a3f293b8484230cee59a97e45d38f
parent6e3b0445d0c7a412f1dde5d9abf9e97b26e1cfe8
rewrite lemma-1 using propositional equality
Bidir.agda