1.1 --- a/src/Tools/isac/Build_Isac.thy	Fri Jun 13 12:42:15 2014 +0200
     1.2 +++ b/src/Tools/isac/Build_Isac.thy	Fri Jun 13 12:59:29 2014 +0200
     1.3 @@ -100,8 +100,6 @@
     1.4      Interpret/script.sml:val trace_script = Unsynchronized.ref false;
     1.5    KEEP FOR EASIER DEVELOPMENT
     1.6      calcelems.sml:val check_guhs_unique = Unsynchronized.ref true;
     1.7 -  KEEP FOR CONTENT OF CALCULATIONS
     1.8 -    Frontend/states.sml:val states = Unsynchronized.ref ([]:(iterID * (calcID * state) list) list);
     1.9    KEEP FOR DEMOS
    1.10      Knowledge/GCD_Poly_ML.thy:  val trace_div = Unsynchronized.ref true;
    1.11      Knowledge/GCD_Poly_ML.thy:  val trace_div_invariant = Unsynchronized.ref false;