src/HOL/cladata.ML

--- a/src/HOL/cladata.ML	Wed Nov 18 11:02:42 1998 +0100
+++ b/src/HOL/cladata.ML	Wed Nov 18 11:03:49 1998 +0100
@@ -76,6 +76,7 @@
   val hyp_subst_tac = Hypsubst.blast_hyp_subst_tac
   val claset	= Classical.claset
   val rep_cs    = Classical.rep_cs
+  val cla_method' = Classical.cla_method'
   end;
 
 structure Blast = BlastFun(Blast_Data);