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