1.1 --- a/src/Tools/isac/Knowledge/EqSystem.thy	Tue Aug 10 10:27:15 2021 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/EqSystem.thy	Tue Aug 10 11:01:18 2021 +0200
     1.3 @@ -49,8 +49,6 @@
     1.4      works for lists of any length, interestingly !?!*)
     1.5  
     1.6  ML \<open>
     1.7 -val thy = @{theory};
     1.8 -
     1.9  (** eval functions **)
    1.10  
    1.11  (*certain variables of a given list occur _all_ in a term