From 803329b20efc58bc17bde2c65c95ad0279a6da22 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Dec 1998 10:56:18 +0000
Subject: Fix for splash hack for theory files when proo-splash-inhibit=t.

---
 isa/example.ML | 1 -
 1 file changed, 1 deletion(-)

(limited to 'isa/example.ML')

diff --git a/isa/example.ML b/isa/example.ML
index 11b807f4..a8922e87 100644
--- a/isa/example.ML
+++ b/isa/example.ML
@@ -14,7 +14,6 @@ br conjI 1;
 be conjE 1;
 ba 1;
 be conjE 1;
-ba 45;
 ba 1;
 qed "and_comms";
 
-- 
cgit v1.2.3