From 94308059f0b7a132a902544dbe68142285f379ad Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 10 Mar 2000 09:23:33 +0000
Subject: Updated

---
 hol98/example.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'hol98/example.sml')

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?? 
-- 
cgit v1.2.3