diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2013-01-14 14:14:30 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2013-01-14 14:14:30 +0100 |
| commit | 14045101118b9150b19e51f60beb0c3078073f47 (patch) | |
| tree | 6957df17183cf03257f8c4be076c40798304b9cf /CheckInsert.agda | |
| parent | 9c2be74a5369c1bdb737a67c7c508cb50c62bd83 (diff) | |
| download | bidiragda-14045101118b9150b19e51f60beb0c3078073f47.tar.gz | |
shrink lemma-union-not-used by matching on All's ctor
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions