diff -r dd4ac220b8b4 -r 24f992a25adc src/HOL/WF.ML
--- a/src/HOL/WF.ML	Fri Jul 10 15:24:22 1998 +0200
+++ b/src/HOL/WF.ML	Sun Jul 12 11:49:17 1998 +0200
@@ -232,7 +232,7 @@
 by (simp_tac (HOL_ss addsimps [cuts_eq]) 1);
 by (Clarify_tac 1);
 by (stac cut_apply 1);
- by(fast_tac (claset() addDs [transD]) 1);
+ by (fast_tac (claset() addDs [transD]) 1);
 by (rtac (refl RSN (2,H_cong)) 1);
 by (fold_tac [is_recfun_def]);
 by (asm_simp_tac (wf_super_ss addsimps[is_recfun_cut]) 1);