1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Sun Oct 16 13:58:46 2016 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Oct 18 12:05:03 2016 +0200
     1.3 @@ -10,6 +10,9 @@
     1.4  ML_file "~~/src/Tools/isac/ProgLang/termC.sml"
     1.5  ML_file "~~/src/Tools/isac/ProgLang/calculate.sml"
     1.6  ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml"
     1.7 +ML {*
     1.8 +*} ML {*
     1.9 +*} 
    1.10  
    1.11  subsection {* Notes on Isac's programming language *}
    1.12  text {*