diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-05 15:47:05 +0100 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-02-05 15:47:05 +0100 |
| commit | 5f5d218d778d949da1c3cc6d227ddbb1f5bfeaf4 (patch) | |
| tree | 04806a7a31737d7b34fc71d00aab9981f3ee14a7 /FinMap.agda | |
| parent | ae6d9a356603e374c7d5b5693b318ecf0d2cc062 (diff) | |
| download | bidiragda-5f5d218d778d949da1c3cc6d227ddbb1f5bfeaf4.tar.gz | |
strip implementation detail from lemma-union-delete-fromFunc
Diffstat (limited to 'FinMap.agda')
0 files changed, 0 insertions, 0 deletions