diff options
| author | Healfdene Goguen | 1998-06-10 11:38:04 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1998-06-10 11:38:04 +0000 |
| commit | e9aeaece10022fe6f81e97ee3b5ebcfcd5914fe0 (patch) | |
| tree | 40fcfcdc66d5c6d7a3d4caa141b3e28ec5cf51f0 /proof.el | |
| parent | 165db3d258f96567010fa74ff69528530222aea7 (diff) | |
Added "Mutual Inductive" as definition keyword.
Changed "\\s " into "\\s-" as whitespace pattern.
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions