diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-10 09:23:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-10 09:23:33 +0000 |
| commit | 94308059f0b7a132a902544dbe68142285f379ad (patch) | |
| tree | 661a5c7b30ecd6ff2b364c0d3c49941ab93e9837 /hol98/example.sml | |
| parent | 2cce0bc0f772d120b9ad53b9241c78767ac727d0 (diff) | |
Updated
Diffstat (limited to 'hol98/example.sml')
| -rw-r--r-- | hol98/example.sml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/hol98/example.sml b/hol98/example.sml index 04b3b062..64858140 100644 --- a/hol98/example.sml +++ b/hol98/example.sml @@ -7,6 +7,7 @@ g `A /\ B ==> B /\ A`; e DISCH_TAC; e CONJ_TAC; + (* Ooops, I'm stuck now. Can somebody help?? |