also show the other direction GetL-to-GetV
[~helmut/bidiragda.git] / FreeTheorems.agda
2014-01-30 Helmut Grohneallow importing of Bidir without any postulates
2014-01-30 Helmut Grohnepass get functions as records
2012-10-05 Helmut Grohnemove all postulates to one module