shorten line lengths of theorem-2
authorHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 14:06:21 +0000 (15:06 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 22 Nov 2012 14:06:21 +0000 (15:06 +0100)
commitb9ce912e6a50be76ad2495fb110a79e93c591401
tree84a97785e5f3b02cfbfd8abae25c1b61f03e4725
parent06408f9f1556b1eb88dcf2597e549fc122fdb508
shorten line lengths of theorem-2
Bidir.agda