1.1 --- a/src/Tools/isac/calcelems.sml	Wed Aug 25 15:15:01 2010 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Wed Aug 25 16:20:07 2010 +0200
     1.3 @@ -342,7 +342,7 @@
     1.4  
     1.5  (*rewrite orders, also stored in 'type met' and type 'and rls'
     1.6    The association list is required for 'rewrite.."rew_ord"..'
     1.7 -  WN0509 tests not well-organized: see smltest/IsacKnowledge/termorder.sml*)
     1.8 +  WN0509 tests not well-organized: see smltest/Knowledge/termorder.sml*)
     1.9  val rew_ord' = 
    1.10      ref ([]:(rew_ord' *        (*the key for the association list         *)
    1.11  	     (subst 	       (*the bound variables - they get high order*)