src/HOL/IMP/Transition.ML

--- a/src/HOL/IMP/Transition.ML	Mon Oct 07 10:23:35 1996 +0200
+++ b/src/HOL/IMP/Transition.ML	Mon Oct 07 10:26:00 1996 +0200
@@ -34,7 +34,7 @@
 \              (c;d, s) -*-> (SKIP, u)";
 by (nat_ind_tac "n" 1);
  (* case n = 0 *)
- by(fast_tac (!claset addIs [rtrancl_into_rtrancl2])1);
+ by (fast_tac (!claset addIs [rtrancl_into_rtrancl2])1);
 (* induction step *)
 by (safe_tac (!claset addSDs [rel_pow_Suc_D2]));
 by (split_all_tac 1);