changeset 30609 | 983e8b6e4e69 |
parent 30190 | 479806475f3c |
child 32010 | cb1a1c94b4cd |
--- a/src/HOL/Tools/simpdata.ML Fri Mar 20 17:04:44 2009 +0100 +++ b/src/HOL/Tools/simpdata.ML Fri Mar 20 17:12:37 2009 +0100 @@ -147,8 +147,6 @@ val op addsplits = Splitter.addsplits; val op delsplits = Splitter.delsplits; -val Addsplits = Splitter.Addsplits; -val Delsplits = Splitter.Delsplits; (* integration of simplifier with classical reasoner *)