| changeset 45620 | f2a587696afb |
| parent 43597 | b4a093e755db |
| child 45625 | 750c5a47400b |
--- a/src/FOL/simpdata.ML Wed Nov 23 22:07:55 2011 +0100 +++ b/src/FOL/simpdata.ML Wed Nov 23 22:59:39 2011 +0100 @@ -100,8 +100,6 @@ val split_tac = Splitter.split_tac; val split_inside_tac = Splitter.split_inside_tac; val split_asm_tac = Splitter.split_asm_tac; -val op addsplits = Splitter.addsplits; -val op delsplits = Splitter.delsplits; (*** Standard simpsets ***)