formulate theorem-1
authorHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:43:32 +0000 (22:43 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Sun, 22 Jan 2012 21:43:32 +0000 (22:43 +0100)
commit347f4ff2ed76a0fc5648faf698b054efba51e0ff
treeff791b6883c3b0a5aa10489a82009f757c9db491
parent0a34343e2cd20be26411af267a57b54fd300cf38
formulate theorem-1
Bidir.agda