diff options
| author | David Aspinall | 2003-02-17 21:22:21 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-17 21:22:21 +0000 |
| commit | 7b582b433a34bd46466bd02dc95af78510498fa8 (patch) | |
| tree | 0e638a9067dac3fec81a9db31d5eb1248637f80a /hol98/example.sml | |
| parent | fafcbdcac136fa57ee8fe68dbe492758cc6818c6 (diff) | |
Revert to old isar-ids-to-regexp
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions