diff options
| author | Makarius Wenzel | 2001-12-04 16:14:22 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2001-12-04 16:14:22 +0000 |
| commit | dbcc799c6d2e7c2666389af109dd50ee19bf1c30 (patch) | |
| tree | d8d79a21ceabc988551dbe4e627eec39cb11db4a /hol98/example.sml | |
| parent | 4b77e6ad1f926665da6b27af3ed52dd768469c80 (diff) | |
added symbols for alternative 0..9;
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions