now parameterize BFF
authorHelmut Grohne <helmut@subdivi.de>
Mon, 22 Oct 2012 09:05:34 +0000 (11:05 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Mon, 22 Oct 2012 09:05:34 +0000 (11:05 +0200)
commit58038d636d9f1225f8355c22102823e3168ad56c
treebf53ce921cc8ddc84a261ec53e266348d7d6af03
parente88e81ee531d8133bc0d32f86b416fa940b40395
now parameterize BFF

And update Bidir and Precond, cause they import BFF.
BFF.agda
Bidir.agda
Precond.agda