1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Fri Mar 02 14:19:59 2018 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Fri Mar 02 16:19:02 2018 +0100
     1.3 @@ -12,7 +12,8 @@
     1.4  ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml"
     1.5  ML {*
     1.6  *} ML {*
     1.7 -TermC.list_implies                                                                  
     1.8 +HOLogic.realT;
     1.9 +HOLogic.boolT;
    1.10  *} ML {*
    1.11  *} ML {*
    1.12  *} ML {*