1.1 --- a/src/Tools/isac/ProgLang/ListC.thy	Wed Mar 07 13:04:44 2018 +0100
     1.2 +++ b/src/Tools/isac/ProgLang/ListC.thy	Wed Mar 07 13:15:21 2018 +0100
     1.3 @@ -12,12 +12,6 @@
     1.4  ML_file "~~/src/Tools/isac/ProgLang/rewrite.sml"
     1.5  ML {*
     1.6  *} ML {*
     1.7 -HOLogic.realT;
     1.8 -HOLogic.boolT;
     1.9 -*} ML {*
    1.10 -*} ML {*
    1.11 -*} ML {*
    1.12 -*} ML {*
    1.13  *} 
    1.14  
    1.15  subsection {* Notes on Isac's programming language *}