diff options
| author | Healfdene Goguen | 1997-11-26 17:15:23 +0000 |
|---|---|---|
| committer | Healfdene Goguen | 1997-11-26 17:15:23 +0000 |
| commit | dc32141739045df2eebdd649802f815470b58a15 (patch) | |
| tree | 830a2a1fda61048d9dbb15dec62c36c4bce11eb5 /proof.el | |
| parent | 80a2b081dee80d0b0cfa3361fd03048d776a11e6 (diff) | |
A few new suggestions
Diffstat (limited to 'proof.el')
0 files changed, 0 insertions, 0 deletions