# HG changeset patch
# User wenzelm
# Date 878555233 -3600
# Node ID aa29a521e5948bfd10924da4f789c4c778111753
# Parent  bcff38832d893c5fc4a79ac8947d9a8c7c5aa075
fixed thy dependencies;

diff -r bcff38832d89 -r aa29a521e594 src/HOL/indrule.thy
--- a/src/HOL/indrule.thy	Mon Nov 03 12:05:42 1997 +0100
+++ b/src/HOL/indrule.thy	Mon Nov 03 12:07:13 1997 +0100
@@ -1,1 +1,2 @@
-indrule = "intr_elim"
+
+indrule = intr_elim
diff -r bcff38832d89 -r aa29a521e594 src/HOL/intr_elim.thy
--- a/src/HOL/intr_elim.thy	Mon Nov 03 12:05:42 1997 +0100
+++ b/src/HOL/intr_elim.thy	Mon Nov 03 12:07:13 1997 +0100
@@ -1,1 +1,2 @@
-intr_elim = CPure
+
+intr_elim = Nat