# HG changeset patch
# User wenzelm
# Date 878556405 -3600
# Node ID 9faf228771dc4a4fbcd4043c4f2968eb3c9458d3
# Parent  771b1f6422a8e2a96b6e8a037d3ea1e7fadca20a
added simpset thy_data;

diff -r 771b1f6422a8 -r 9faf228771dc src/FOL/IFOL.thy
--- a/src/FOL/IFOL.thy	Mon Nov 03 12:24:13 1997 +0100
+++ b/src/FOL/IFOL.thy	Mon Nov 03 12:26:45 1997 +0100
@@ -112,3 +112,6 @@
   iff_reflection  "(P<->Q) ==> (P==Q)"
 
 end
+
+
+ML val thy_data = [Simplifier.simpset_thy_data];