diff options
| author | David Aspinall | 2010-09-09 17:12:14 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-09-09 17:12:14 +0000 |
| commit | 57d9dc724c8a79e19696935407e0023c6dcfd1d5 (patch) | |
| tree | c2a4eeb307f2756517acc7bc3678f640f8bad09d /hol98/example.sml | |
| parent | 38f54757ef5363586305778d37707176c25f0245 (diff) | |
Revert last change, version from Pierre is cleaner.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions