1.1 --- a/test/Tools/isac/Test_Isac.thy	Wed May 16 15:01:47 2012 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Wed May 16 15:47:22 2012 +0200
     1.3 @@ -8,7 +8,7 @@
     1.4          10        20        30        40        50        60        70        80         90      100
     1.5  *)
     1.6  
     1.7 -theory Test_Isac imports 
     1.8 +theory Test_Isac imports
     1.9    Isac
    1.10    "Knowledge/Rational_Test"
    1.11    "ADDTESTS/Ctxt"
    1.12 @@ -100,7 +100,7 @@
    1.13  
    1.14  begin
    1.15  
    1.16 -  ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}
    1.17 +  ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}   
    1.18    use          "library.sml"
    1.19    use          "calcelems.sml"
    1.20    use "ProgLang/termC.sml"