src/HOL/cladata.ML
changeset 5929 890f2f9b926d
parent 4653 d60f76680bf4
child 7007 b46ccfee8e59
     1.1 --- a/src/HOL/cladata.ML	Wed Nov 18 11:02:42 1998 +0100
     1.2 +++ b/src/HOL/cladata.ML	Wed Nov 18 11:03:49 1998 +0100
     1.3 @@ -76,6 +76,7 @@
     1.4    val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
     1.5    val claset	= Classical.claset
     1.6    val rep_cs    = Classical.rep_cs
     1.7 +  val cla_method' = Classical.cla_method'
     1.8    end;
     1.9  
    1.10  structure Blast = BlastFun(Blast_Data);