diff options
| author | David Aspinall | 2004-04-15 16:13:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-15 16:13:16 +0000 |
| commit | f423f145c4f1a35192914ad65f030d215dd5d136 (patch) | |
| tree | fc14090a665c760d0120e8c26c8eea9c4a6208b2 /hol98/example.sml | |
| parent | 353217b0ec53f768db348a75b0faedc162bebcda (diff) | |
Add proof-script-syntax-table-entries, proof-shell-syntax-table-entries.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions