From 9fb5af2617043f4e9e8439a029bb9e2677adff29 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Nov 1998 12:55:56 +0000
Subject: Fixes to debug long standing not-showing-first-goal problem.

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

(limited to 'isa/example.ML')

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