| changeset 5307 | 6a699d5cdef4 |
| parent 5304 | c133f16febc7 |
| child 5496 | 42d13691be86 |
--- a/src/FOL/simpdata.ML Wed Aug 12 16:49:25 1998 +0200 +++ b/src/FOL/simpdata.ML Wed Aug 12 17:40:18 1998 +0200 @@ -259,8 +259,8 @@ val split_tac = Splitter.split_tac; val split_inside_tac = Splitter.split_inside_tac; val split_asm_tac = Splitter.split_asm_tac; -val addsplits = Splitter.addsplits; -val delsplits = Splitter.delsplits; +val op addsplits = Splitter.addsplits; +val op delsplits = Splitter.delsplits; val Addsplits = Splitter.Addsplits; val Delsplits = Splitter.Delsplits;