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