strip prose from assoc-enough
authorHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 12:33:40 +0000 (13:33 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 19 Nov 2012 12:33:40 +0000 (13:33 +0100)
commitdb5938ed22dc815720b88b62a51b5067e2b02740
tree326e87dfef7003b4e85fdb912614b10c1aaf7c39
parentee0eef66fc69ac614726e4b48c2997f14707a483
strip prose from assoc-enough
Precond.agda