diff options
| author | David Aspinall | 1998-10-01 14:21:17 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-01 14:21:17 +0000 |
| commit | 1fe3bf32afdb2fe4c30aa8bddacd56c15b39edf7 (patch) | |
| tree | 968a714c7dff883688cfb083ec8a0284d0b673e4 /generic/proof-syntax.el | |
| parent | 3cac405701bfd44ba9f6ebf469f52f0f91c6d0a3 (diff) | |
Added qed button. Fixed enabler predicates.
Diffstat (limited to 'generic/proof-syntax.el')
0 files changed, 0 insertions, 0 deletions