diff options
| author | David Aspinall | 2010-08-27 16:31:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-27 16:31:35 +0000 |
| commit | 1e0d6e79c32b49ea82bf7b20bd4fbeeaffd3821a (patch) | |
| tree | 6baec70296eccfd424e2a8fa938fa7accb07dff4 /hol98/example.sml | |
| parent | 98d0401b2fdd1e2e3687bd16d817db56e81ee14f (diff) | |
Fix mmm path
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions