diff options
| author | David Aspinall | 2008-02-17 12:17:54 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-02-17 12:17:54 +0000 |
| commit | 53833cb27c7ddf8888cfbb74c38d7d85a8fdb3fa (patch) | |
| tree | cafc60db8869e8f29b4c3a707a63e7b5493f8d5f /hol98/example.sml | |
| parent | de87bc619ce0aa53922119a5b8c316dc95d10d97 (diff) | |
Fix clash with X-Symbol resulting in enabling then disabling symbols
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions