diff options
| author | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-10-17 15:36:45 +0200 |
|---|---|---|
| committer | Helmut Grohne <grohne@cs.uni-bonn.de> | 2014-10-17 15:36:45 +0200 |
| commit | 58bce3d887d1e5fef24254098819dd09e900fb4c (patch) | |
| tree | 97479d42264538ec648fba64b95c4be686dbd447 /CheckInsert.agda | |
| parent | 71c4040262bd1c0ac5962425ee4b3bb3b51cc93b (diff) | |
| download | bidiragda-58bce3d887d1e5fef24254098819dd09e900fb4c.tar.gz | |
generalize lemma-union-not-used
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions