1.1 --- a/src/Tools/isac/Knowledge/Delete.thy	Tue Sep 28 08:58:06 2010 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Delete.thy	Tue Sep 28 09:06:56 2010 +0200
     1.3 @@ -32,7 +32,7 @@
     1.4    | calc "Atools.pow" ((a, b), _) ((c, d), _) = (*FIXXXME float + prec.*)
     1.5      ((power a c, 0), (0, 0))
     1.6    | calc op_ ((a, b), (p11, p12)) ((c, d), (p21, p22)) = 
     1.7 -    raise error ("calc: not impl. for Float (("^
     1.8 +    error ("calc: not impl. for Float (("^
     1.9  		 (string_of_int a  )^","^(string_of_int b  )^"), ("^
    1.10  		 (string_of_int p11)^","^(string_of_int p12)^")) "^op_^" (("^
    1.11  		 (string_of_int c  )^","^(string_of_int d  )^"), ("^