recursion of lemma-2
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 17:06:42 +0000 (18:06 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 17:06:42 +0000 (18:06 +0100)
commit3b01996ba5cc0037f1375d6784c33b3bbd2b7589
treeb39d47d51dce735c24608d306f6dac69570825df
parent5ece23e8705d2ea3128961a24baed6652383b1ad
recursion of lemma-2
Bidir.agda