diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-10-22 11:05:34 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-10-22 11:05:34 +0200 |
| commit | 58038d636d9f1225f8355c22102823e3168ad56c (patch) | |
| tree | bf53ce921cc8ddc84a261ec53e266348d7d6af03 /CheckInsert.agda | |
| parent | e88e81ee531d8133bc0d32f86b416fa940b40395 (diff) | |
| download | bidiragda-58038d636d9f1225f8355c22102823e3168ad56c.tar.gz | |
now parameterize BFF
And update Bidir and Precond, cause they import BFF.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions