1.1 --- a/src/Pure/Isar/toplevel.ML	Fri Jul 23 10:34:42 2010 +0200
     1.2 +++ b/src/Pure/Isar/toplevel.ML	Fri Jul 23 11:17:26 2010 +0200
     1.3 @@ -396,7 +396,7 @@
     1.4  (* basic transitions *)
     1.5  
     1.6  fun init_theory name f exit = add_trans (Init (name, f, exit));
     1.7 -fun init_isac_calc name f exit = add_trans (Init (name, f, exit));
     1.8 +fun init_isac_calc name f exit = add_trans (Init (name, f, exit));(*GOON*)
     1.9  val exit = add_trans Exit;
    1.10  val keep' = add_trans o Keep;
    1.11