added simpset thy_data;
authorwenzelm
Mon Nov 03 12:26:45 1997 +0100 (1997-11-03)
changeset 40929faf228771dc
parent 4091 771b1f6422a8
child 4093 5e8f3d57dee7
added simpset thy_data;
src/FOL/IFOL.thy
     1.1 --- a/src/FOL/IFOL.thy	Mon Nov 03 12:24:13 1997 +0100
     1.2 +++ b/src/FOL/IFOL.thy	Mon Nov 03 12:26:45 1997 +0100
     1.3 @@ -112,3 +112,6 @@
     1.4    iff_reflection  "(P<->Q) ==> (P==Q)"
     1.5  
     1.6  end
     1.7 +
     1.8 +
     1.9 +ML val thy_data = [Simplifier.simpset_thy_data];