diff options
| author | David Aspinall | 2000-05-01 18:18:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-01 18:18:36 +0000 |
| commit | 2686b031901a24ea604afbbdc857ab6eac29e9b0 (patch) | |
| tree | 7a9c6023aa3bd627d42a7e80e1cd24052d44e935 /hol98/example.sml | |
| parent | e9ac9e8eb3d2567ff1ab12cf7bfdd60d5df2c30f (diff) | |
Added specific menu for Coq.
Diffstat (limited to 'hol98/example.sml')
0 files changed, 0 insertions, 0 deletions