src/FOL/simpdata.ML
changeset 5307 6a699d5cdef4
parent 5304 c133f16febc7
child 5496 42d13691be86
     1.1 --- a/src/FOL/simpdata.ML	Wed Aug 12 16:49:25 1998 +0200
     1.2 +++ b/src/FOL/simpdata.ML	Wed Aug 12 17:40:18 1998 +0200
     1.3 @@ -259,8 +259,8 @@
     1.4  val split_tac        = Splitter.split_tac;
     1.5  val split_inside_tac = Splitter.split_inside_tac;
     1.6  val split_asm_tac    = Splitter.split_asm_tac;
     1.7 -val addsplits        = Splitter.addsplits;
     1.8 -val delsplits        = Splitter.delsplits;
     1.9 +val op addsplits     = Splitter.addsplits;
    1.10 +val op delsplits     = Splitter.delsplits;
    1.11  val Addsplits        = Splitter.Addsplits;
    1.12  val Delsplits        = Splitter.Delsplits;
    1.13