shrink lemma-union-not-used using cong\_2
[~helmut/bidiragda.git] / FreeTheorems.agda
2012-10-05 Helmut Grohnemove all postulates to one module