diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-26 13:57:23 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-26 13:57:23 +0100 |
| commit | cdaf8389007f1272f05089b75abecf8d6aefb49e (patch) | |
| tree | f6eca5c70377782cf7b3123351e7629946a70384 /BFF.agda | |
| parent | aad47e05ef1567285aca67b3c8030e36929703b4 (diff) | |
| download | bidiragda-cdaf8389007f1272f05089b75abecf8d6aefb49e.tar.gz | |
weaken assumptions made by theorem-2 and asssoc-enough
Diffstat (limited to 'BFF.agda')
0 files changed, 0 insertions, 0 deletions