move all postulates to one module
authorHelmut Grohne <helmut@subdivi.de>
Fri, 5 Oct 2012 10:47:09 +0000 (12:47 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 5 Oct 2012 10:47:09 +0000 (12:47 +0200)
commit7ba21759412a8b356f7790ac5f5e413302331183
tree58b2f83f1abe029596071e0b151470b122e72102
parent96e45ecbf31c5685fa914882ec4b21b1392c49fc
move all postulates to one module

This should make it easier to see what is assumed.
BFF.agda
Bidir.agda
FreeTheorems.agda [new file with mode: 0644]
LiftGet.agda