diff options
| author | Helmut Grohne <helmut@subdivi.de> | 2012-01-26 11:37:44 +0100 |
|---|---|---|
| committer | Helmut Grohne <helmut@subdivi.de> | 2012-01-26 11:37:44 +0100 |
| commit | 90d67cb200626cdb0eb4ead36278af8119dfe661 (patch) | |
| tree | e7015b5013f9c0b1c8286b0f7abecc962dda8d95 /.gitignore | |
| parent | 16d6ec0aa1f8599a4445ea6994d6f0fb5e5c25d4 (diff) | |
| download | bidiragda-90d67cb200626cdb0eb4ead36278af8119dfe661.tar.gz | |
change lemma-insert-same to work with \== proofs
This way the inserted value is not hidden in the Is-Just proof object.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions