allow importing of Bidir without any postulates
authorHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 08:13:11 +0000 (09:13 +0100)
committerHelmut Grohne <grohne@cs.uni-bonn.de>
Thu, 30 Jan 2014 08:13:11 +0000 (09:13 +0100)
commit19670abeff9895de593ef26ad2da247ae590ce90
treea8ab321a315b27abf5f15fc30701ac481e54ab04
parentc63ff4179147ab237afe7d21d9e3740737c9b942
allow importing of Bidir without any postulates
BFF.agda
Bidir.agda
Everything.agda
FreeTheorems.agda
GetTypes.agda [new file with mode: 0644]
Precond.agda