1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Wed Jul 31 09:46:50 2019 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Fri Aug 09 14:04:13 2019 +0200
     1.3 @@ -8,6 +8,7 @@
     1.4  begin
     1.5  
     1.6  ML_file "~~/src/Tools/isac/ProgLang/termC.sml"
     1.7 +ML_file "~~/src/Tools/isac/ProgLang/contextC.sml"
     1.8  ML_file "~~/src/Tools/isac/ProgLang/calculate.sml"
     1.9  ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml"
    1.10  ML \<open>