diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-07-02 11:51:37 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2015-07-02 11:51:37 +0200 |
| commit | ea60af21ae805f2b0921fe591210679935ce6556 (patch) | |
| tree | 0e688d1b54e2e8ce78872b2099eb541e52e2ee1b /CheckInsert.agda | |
| parent | 8c3cdca7cfe1173094ff42ca2f844a352153fc97 (diff) | |
| download | bidiragda-ea60af21ae805f2b0921fe591210679935ce6556.tar.gz | |
split lemma-union-not-used into lemma-exchange-maps
New type suggested by Janis Voigtländer.
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions