1.1 --- a/src/Tools/isac/Knowledge/Root.thy	Tue Jan 11 15:28:03 2011 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Root.thy	Mon Feb 21 19:40:36 2011 +0100
     1.3 @@ -159,7 +159,7 @@
     1.4  
     1.5  rew_ord' := overwritel (!rew_ord',
     1.6  [("termlessI", termlessI),
     1.7 - ("sqrt_right", sqrt_right false (theory "Pure"))
     1.8 + ("sqrt_right", sqrt_right false (Thy_Info.get_theory "Pure"))
     1.9   ]);
    1.10  
    1.11  (*-------------------------rulse-------------------------*)