diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-23 11:50:28 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-23 11:50:28 +0100 |
| commit | 4fa6ecf53dd170e4079edb582c68a55448047c6a (patch) | |
| tree | 4636cd20987a3f293b8484230cee59a97e45d38f /.gitignore | |
| parent | 6e3b0445d0c7a412f1dde5d9abf9e97b26e1cfe8 (diff) | |
| download | bidiragda-4fa6ecf53dd170e4079edb582c68a55448047c6a.tar.gz | |
rewrite lemma-1 using propositional equality
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions