diff options
| author | David Aspinall | 2007-12-12 11:52:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-12 11:52:46 +0000 |
| commit | a5da21e1952e15b643e1f986ff21cd8cae8015ef (patch) | |
| tree | 5d8f47685cddb9a07ec31729c427b6e97a26ea03 /hol98/example.sml | |
| parent | 5e44711363ad43d4afa790a1ef3f47d4ef6a4619 (diff) | |
Maths menu convenience
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions