1.1 --- a/test/Tools/isac/Test_Isac.thy	Mon Jul 30 16:41:08 2012 +0200
     1.2 +++ b/test/Tools/isac/Test_Isac.thy	Tue Jul 31 15:16:47 2012 +0200
     1.3 @@ -100,7 +100,7 @@
     1.4  
     1.5  begin
     1.6  
     1.7 -  ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}   
     1.8 +  ML {*"%%%%%%%%%%%%%%%%% start ProgLang.thy %%%%%%%%%%%%%%%%%%%";*}  
     1.9    use          "library.sml"
    1.10    use          "calcelems.sml"
    1.11    use "ProgLang/termC.sml"