make the getlen functions explicit in PartialVecBFF
[~helmut/bidiragda.git] / FreeTheorems.agda
2014-01-30 Helmut Grohneexpress VecBFF via PartialVecBFF
2014-01-28 Helmut Grohnedefine bff on a partial getlen
2012-10-05 Helmut Grohnemove all postulates to one module