1.1 --- a/src/Tools/isac/ProgLang/ProgLang.thy	Tue Oct 18 12:05:03 2016 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ProgLang.thy	Thu Oct 20 10:26:29 2016 +0200
     1.3 @@ -8,4 +8,8 @@
     1.4  
     1.5  ML_file "~~/src/Tools/isac/ProgLang/scrtools.sml"
     1.6  
     1.7 +ML {*
     1.8 +*} ML {*
     1.9 +eval_true
    1.10 +*}
    1.11  end                       
    1.12 \ No newline at end of file