1.1 --- a/src/Tools/isac/Knowledge/LinEq.thy	Sat Jan 20 15:07:58 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/LinEq.thy	Sat Jan 20 15:18:41 2018 +0100
     1.3 @@ -13,8 +13,7 @@
     1.4     Solve'_lineq'_equation
     1.5               :: "[bool,real, 
     1.6  		   bool list] => bool list"
     1.7 -               ("((Script Solve'_lineq'_equation (_ _ =))// 
     1.8 -                  (_))" 9)
     1.9 +               ("((Script Solve'_lineq'_equation (_ _ =))// (_))" 9)
    1.10  
    1.11  axiomatization where
    1.12  (*-- normalize --*)