1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Fri Oct 25 20:52:08 2013 +0100
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Fri Oct 25 20:58:28 2013 +0100
     1.3 @@ -308,7 +308,7 @@
     1.4        crls       : rls,        (*for check_elementwise, ie. formulae in calc.*)
     1.5        nrls       : rls,        (*canonical simplifier specific for this met  *)
     1.6        errpats    : errpat list,(*error patterns expected in this method      *)
     1.7 -      calc       : calc list,  (*040207: <--- calclist' in fun prep_met      *)
     1.8 +      calc       : calc list,  (*Theory_Data in fun prep_met                 *)
     1.9        (*branch   : TransitiveB set in append_problem at generation ob pblobj
    1.10            FIXXXME.0308: set branch from met in Apply_Method ?                *)
    1.11        ppc        : pat list,   (*.items in given, find, relate;