changeset 5132 | 24f992a25adc |
parent 5069 | 3ea049f7979d |
child 5143 | b94cd208f073 |
--- 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);