diff options
| author | Healfdene Goguen | 1998-06-03 14:00:53 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-03 14:00:53 +0000 |
| commit | 763c157a214f46ef80c92c4eeafb2d705bedbde7 (patch) | |
| tree | 92c68e0b23c68142c995c15ad84377f767dd9dcf /proof.el | |
| parent | b5dcf23f40912370bc9df28149c55f2a6a08675a (diff) | |
Changed expression (>= 0 x) to its equivalent (eq x 0)
Changed some variables to their associated constant in cases where we
know they must be equal.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions