diff options
| author | Makarius Wenzel | 2005-09-28 22:09:07 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2005-09-28 22:09:07 +0000 |
| commit | a32b405467dde952d90223a2d14de250557d469b (patch) | |
| tree | 5aacd0bad312a4a55022ee5658c03a04f1cfe688 /hol98/example.sml | |
| parent | 140b08af75134de26b05b5ff1ab7e32b0ca11984 (diff) | |
old specials are recogized again;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions