From be5687fa3a41c415e3a71529efa90425b513d103 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 26 Jan 1999 14:02:45 +0000
Subject: Added David von Oheimbs test case for case matching

---
 etc/isa/goal-matching.ML | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 etc/isa/goal-matching.ML

diff --git a/etc/isa/goal-matching.ML b/etc/isa/goal-matching.ML
new file mode 100644
index 00000000..a36f4fab
--- /dev/null
+++ b/etc/isa/goal-matching.ML
@@ -0,0 +1,11 @@
+(* 
+   Test case sent by David von Oheimb.
+   Bug in matching case-insensitively meant that
+   the SELECT_GOAL line was considered a goal.
+   Apparently.  Haven't been able to reproduce.
+*)
+
+Goal "x";
+by (SELECT_GOAL all_tac 1);
+
+
-- 
cgit v1.2.3