1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Aug 26 10:52:54 2013 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Mon Aug 26 11:20:41 2013 +0200
     1.3 @@ -36,6 +36,8 @@
     1.4  (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
     1.5  (* !!!!! wait a minute until Isac and the above theories are loaded !!!!! *)
     1.6  (* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
     1.7 +(* !!!!! with this changeset evaluation doen't start < 7min; UG is busy ! *)
     1.8 +(* !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! *)
     1.9  
    1.10  begin
    1.11  section {* test ML Code of isac *}