From 4973d5e79f66a650d9141e665a8fb8e9a18e9207 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 16 Jan 2002 16:30:47 +0000
Subject: Whitespace

---
 isa/Example.ML | 2 --
 1 file changed, 2 deletions(-)

(limited to 'isa/Example.ML')

diff --git a/isa/Example.ML b/isa/Example.ML
index 4ef88eaa..720e3a47 100644
--- a/isa/Example.ML
+++ b/isa/Example.ML
@@ -11,5 +11,3 @@ Goal "A & B --> B & A";
   by (assume_tac 1);
   by (assume_tac 1);
 qed "and_comms";
-
-
-- 
cgit v1.2.3