diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 13:16:42 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-10 13:16:42 +0100 |
| commit | a01871259837d6e36c580338f6d29ea0b154ed04 (patch) | |
| tree | 25c0362ac027b5fb9d8b6352eed5d66d4b6ba72e /FinMap.agda | |
| parent | f1cc5478163878f72198e1b8530c14798732b4b1 (diff) | |
| download | bidiragda-a01871259837d6e36c580338f6d29ea0b154ed04.tar.gz | |
clean imports of Precond
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions