open \==-Reasoning at top level
authorHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:07:04 +0000 (15:07 +0100)
committerHelmut Grohne <helmut@subdivi.de>
Thu, 26 Jan 2012 14:07:04 +0000 (15:07 +0100)
commit8b45125422a2b737ff660c798e00de073983f2cc
tree97f764b29adeadd17ff8eb380a3f9eeab5c08818
parent53e656496f0dfc6b5d6b8b6e5caf5efc0e7ee404
open \==-Reasoning at top level
Bidir.agda