shorten line length of theorem-1
authorHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 13:42:16 +0000 (14:42 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 13:42:16 +0000 (14:42 +0100)
commit06408f9f1556b1eb88dcf2597e549fc122fdb508
tree6cf00762a2ed1b645958256bac322b95687256be
parent352cb3b59e9bba15c3f899dbe5c3a5ef3dbc67ec
shorten line length of theorem-1
Bidir.agda