From 1f43f8475b95594194bdec940da15206375a0167 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 1 Jun 2000 13:47:22 +0000
Subject: Remove spurious spaces

---
 isa/Example-Xsym.ML | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/isa/Example-Xsym.ML b/isa/Example-Xsym.ML
index 46f93938..d566a850 100644
--- a/isa/Example-Xsym.ML
+++ b/isa/Example-Xsym.ML
@@ -6,7 +6,7 @@
     Just a version of Example.ML using XSymbol
 *)    
 
-Goal "A \\<and>  B \\<longrightarrow> B \\<and>  A";
+Goal "A \\<and> B \\<longrightarrow> B \\<and> A";
 by (rtac impI 1);
 by (etac conjE 1);
 by (rtac conjI 1);
-- 
cgit v1.2.3