1.1 --- a/src/Tools/isac/Interpret/ptyps.sml	Mon Sep 13 18:37:16 2010 +0200
     1.2 +++ b/src/Tools/isac/Interpret/ptyps.sml	Tue Sep 14 12:12:42 2010 +0200
     1.3 @@ -356,7 +356,7 @@
     1.4  (*.the pattern for an item of a problems model or a methods guard.*)
     1.5  type pat = (string *      (*field*)
     1.6  	     (term *       (*description*)
     1.7 -	      term))       (*id | struct-var*);
     1.8 +	      term))       (*id | arbitrary term*);
     1.9  fun pat2str ((field, (dsc, id)):pat) = 
    1.10      pair2str (field, pair2str (term2str dsc, term2str id));
    1.11  fun pats2str pats = (strs2str o (map pat2str)) pats;
    1.12 @@ -376,7 +376,7 @@
    1.13        nrls       : rls,        (*canonical simplifier specific for this met  *)
    1.14        calc       : calc list,  (*040207: <--- calclist' in fun prep_met      *)
    1.15        (*branch   : TransitiveB set in append_problem at generation ob pblobj
    1.16 -       FIXXXME.8.03: set branch from met in Apply_Method                     *)
    1.17 +       FIXXXME.0308: set branch from met in Apply_Method ?                   *)
    1.18  
    1.19        (* compare type pbt:*)
    1.20        ppc: pat list,       
    1.21 @@ -385,7 +385,7 @@
    1.22          are 'copy-named' with an identifier "*_!_".
    1.23          copy-named items are 'generating' if they are NOT "*___"
    1.24          see ME/calchead.sml 'fun is_copy_named'.*)
    1.25 -      pre: term list,      (*preconditions in where*)
    1.26 +      pre: term list,          (*preconditions in where*)
    1.27        (*script*)  
    1.28        scr: scr (*prep_met requires either script or string "empty_script"*)
    1.29  	   };