1.1 --- a/src/Tools/isac/calcelems.sml	Sun Aug 09 17:52:02 2015 +0200
     1.2 +++ b/src/Tools/isac/calcelems.sml	Tue Aug 11 15:39:27 2015 +0200
     1.3 @@ -482,6 +482,11 @@
     1.4    | ketype2str' Thy_ = "Theory"
     1.5    | ketype2str' Pbl_ = "Problem"
     1.6    | ketype2str' Met_ = "Method";
     1.7 +fun str2ketype "Exp_" = Exp_
     1.8 +  | str2ketype "Thy_" = Thy_
     1.9 +  | str2ketype "Pbl_" = Pbl_
    1.10 +  | str2ketype "Met_" = Met_
    1.11 +  | str2ketype str = raise ERROR ("str2ketype: WRONG arg = " ^ str)
    1.12  
    1.13  (*rewrite orders, also stored in 'type met' and type 'and rls'
    1.14    The association list is required for 'rewrite.."rew_ord"..'