diff options
| author | Makarius Wenzel | 2001-11-13 21:25:19 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-11-13 21:25:19 +0000 |
| commit | 80a0c3d39bea3b4dcb6b80e54db3a2aac33337c1 (patch) | |
| tree | fda64d511892e8402516e080401ecfee86374ef6 /hol98/example.sml | |
| parent | 1bc3a7d5e5d6c4eff595667d36ba47ec1ad9bbbf (diff) | |
option -k for logic specific isar-keywords file;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions