1.1 --- a/src/Tools/isac/calcelems.sml	Sun Jun 22 14:32:51 2014 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Sun Jun 22 14:47:36 2014 +0200
     1.3 @@ -424,9 +424,6 @@
     1.4    | ketype2str' Pbl_ = "Problem"
     1.5    | ketype2str' Met_ = "Method";
     1.6  
     1.7 -(*see 'How to manage theorys in subproblems' at 'type thyID'*)
     1.8 -val theory'  = Unsynchronized.ref ([]:(theory' * theory) list);
     1.9 -
    1.10  (*rewrite orders, also stored in 'type met' and type 'and rls'
    1.11    The association list is required for 'rewrite.."rew_ord"..'
    1.12    WN0509 tests not well-organized: see smltest/Knowledge/termorder.sml*)