src/FOL/simpdata.ML
changeset 18529 540da2415751
parent 18324 d1c4b1112e33
child 18708 4b3dadb4fe33
     1.1 --- a/src/FOL/simpdata.ML	Sat Dec 31 21:49:35 2005 +0100
     1.2 +++ b/src/FOL/simpdata.ML	Sat Dec 31 21:49:36 2005 +0100
     1.3 @@ -369,8 +369,7 @@
     1.4  structure Clasimp = ClasimpFun
     1.5   (structure Simplifier = Simplifier and Splitter = Splitter
     1.6    and Classical  = Cla and Blast = Blast
     1.7 -  val iffD1 = iffD1 val iffD2 = iffD2 val notE = notE
     1.8 -  val cla_make_elim = cla_make_elim);
     1.9 +  val iffD1 = iffD1 val iffD2 = iffD2 val notE = notE);
    1.10  open Clasimp;
    1.11  
    1.12  val FOL_css = (FOL_cs, FOL_ss);