diff options
| author | David Aspinall | 2002-05-03 13:05:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-05-03 13:05:51 +0000 |
| commit | d27fd2076ef8ad5801c784f7727efcf8a1380637 (patch) | |
| tree | ca60a762497b6072332d22412a2d6a595046b8a1 /hol98/example.sml | |
| parent | 3e82e937b3bb9f9d9ad722aa936cfba4a84f2a88 (diff) | |
Craftily set experimental fetures on for devel release.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions