1.1 --- a/src/Tools/isac/IsacKnowledge/Root.ML	Mon Aug 16 16:19:53 2010 +0200
     1.2 +++ b/src/Tools/isac/IsacKnowledge/Root.ML	Mon Aug 16 16:36:19 2010 +0200
     1.3 @@ -56,7 +56,7 @@
     1.4  *)
     1.5  
     1.6  calclist':= overwritel (!calclist', 
     1.7 -   [("sqrt_"    ,("Root.sqrt"   ,eval_sqrt "#sqrt_"))
     1.8 +   [("SQRT"    ,("Root.sqrt"   ,eval_sqrt "#sqrt_"))
     1.9      (*different types for 'sqrt 4' --- 'Calculate sqrt_'*)
    1.10      ]);
    1.11