diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 11:33:17 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-19 11:33:17 +0100 |
| commit | 537a03c250380225285be4cba1d05cacfd71ab44 (patch) | |
| tree | 627c769009188a069e21ee7488309bb1ae47b87e /.gitignore | |
| parent | 627abd640e94159ccdc5c6615fbbca347ade3b63 (diff) | |
| download | bidiragda-537a03c250380225285be4cba1d05cacfd71ab44.tar.gz | |
first attempt to model lemma-1
Without using the stdlib basic data structures are defined (with the
stdlib names in mind). The IntMap given in the paper is translated to a
NatMap. There are definitions for checkInsert and assoc resulting in a
formalization of lemma-1.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions