src/ZF/Coind/MT.ML

--- a/src/ZF/Coind/MT.ML	Mon Sep 06 22:12:08 1999 +0200
+++ b/src/ZF/Coind/MT.ML	Tue Sep 07 10:40:58 1999 +0200
@@ -46,7 +46,7 @@
 \  <cl,t>:HasTyRel";
 by (etac elab_fixE 1);
 by Safe_tac;
-by (EVERY [forward_tac [subst] 1,atac 2,rtac htr_closCI 1]);
+by (EVERY [ftac subst 1,atac 2,rtac htr_closCI 1]);
 by clean_tac;
 by (rtac ve_owrI 1);
 by clean_tac;