diff options
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?? |