diff options
| author | David Aspinall | 2000-03-09 08:26:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-09 08:26:42 +0000 |
| commit | ae7c256d964dd24b2d066d5d5da2da762c843aca (patch) | |
| tree | 1a245fd6b04d73ee1e4d1ed9f48e6cc0c06dd192 /generic/proof-shell.el | |
| parent | 431e24a332ac0715d0098264d6ff08b6b97dd27e (diff) | |
Added support for HOL98 PG.
Diffstat (limited to 'generic/proof-shell.el')
0 files changed, 0 insertions, 0 deletions