1.1 --- a/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Sun Apr 19 11:07:02 2020 +0200
     1.2 +++ b/src/Tools/isac/BridgeLibisabelle/BridgeLibisabelle.thy	Sun Apr 19 12:22:37 2020 +0200
     1.3 @@ -14,7 +14,6 @@
     1.4    ML_file interface.sml
     1.5  
     1.6  ML \<open>
     1.7 -open ThyC
     1.8  \<close> ML \<open>
     1.9  \<close> ML \<open>
    1.10  \<close>