diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-09-04 09:32:52 +0200 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-09-04 09:32:52 +0200 |
| commit | 488f3b4870f63e851f9d3c4ea66bf06222010309 (patch) | |
| tree | bca9031f69884cba1193c6296ea90989ced615b8 /CheckInsert.agda | |
| parent | bd2a63675bb859e42d9e1464ff9a7883884c1fd5 (diff) | |
| download | bidiragda-488f3b4870f63e851f9d3c4ea66bf06222010309.tar.gz | |
rewrite main theorems to using Vec instead of List
Diffstat (limited to 'CheckInsert.agda')
0 files changed, 0 insertions, 0 deletions