src/FOL/cladata.ML
changeset 4653 d60f76680bf4
parent 4466 305390f23734
child 5929 890f2f9b926d
     1.1 --- a/src/FOL/cladata.ML	Wed Feb 25 20:25:27 1998 +0100
     1.2 +++ b/src/FOL/cladata.ML	Wed Feb 25 20:29:58 1998 +0100
     1.3 @@ -56,7 +56,7 @@
     1.4    val dup_intr	= Cla.dup_intr
     1.5    val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
     1.6    val claset	= Cla.claset
     1.7 -  val rep_claset = Cla.rep_claset
     1.8 +  val rep_cs    = Cla.rep_cs
     1.9    end;
    1.10  
    1.11  structure Blast = BlastFun(Blast_Data);