1 files changed, 22 insertions, 0 deletions
diff --git a/hol98/example.sml b/hol98/example.sml
new file mode 100644
index 00000000..04b3b062
--- /dev/null
+++ b/hol98/example.sml
@@ -0,0 +1,22 @@
+(*
+    Example proof script for HOL Proof General.
+
+    $Id$
+*)    
+
+g `A /\ B ==> B /\ A`;
+e DISCH_TAC;
+e CONJ_TAC;
+
+
+(* Ooops, I'm stuck now.  Can somebody help?? 
+   Just want a simple low-level proof here. *)
+
+
+
+
+
+
+
+
+