diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-06-05 15:35:09 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-06-05 15:35:09 +0200 |
| commit | ac8dee6708affea52aedc1ffcc5c83f8043ad91d (patch) | |
| tree | f11c8161fe240233ecaee4f6c773f4075f7b564f /Precond.agda | |
| parent | a98ec27d280b41b86fad060aff60c3e9037fc669 (diff) | |
| download | bidiragda-ac8dee6708affea52aedc1ffcc5c83f8043ad91d.tar.gz | |
move bff and friends to submodule ListBFF
Diffstat (limited to 'Precond.agda')
0 files changed, 0 insertions, 0 deletions