get rid of contraposition
[~helmut/bidiragda.git] / BFF.agda
2012-10-22 Helmut GrohneMerge branch 'modparam'
2012-10-22 Helmut Grohnefinally parameterize CheckInsert
2012-10-22 Helmut Grohnenow parameterize BFF
2012-10-05 Helmut Grohnemove all postulates to one module
2012-10-05 Helmut Grohneremove VecRevBFF
2012-09-27 Helmut Grohnemove definition of get-type to BFF and use it everywhere
2012-06-19 Helmut Grohnethird definition of bff
2012-06-05 Helmut Grohnemake the Vec bff more similar to the List version
2012-06-05 Helmut Grohnedefine a bff over Vec
2012-06-05 Helmut Grohnemove bff and friends to submodule ListBFF