diff options
| author | David Aspinall | 2010-10-13 11:47:45 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-10-13 11:47:45 +0000 |
| commit | c5b686a1c2d7d3539e7c67292c7f5d21b4810296 (patch) | |
| tree | 622b1ba92760d43602e88457db2bc6e6e3bd451f /hol98/example.sml | |
| parent | 78a79e474a3b647e4a32af760ceab3559f1abb5d (diff) | |
Update for config changes.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions