1.1 --- a/src/Tools/isac/BaseDefinitions/method-def.sml	Mon Jun 20 18:43:51 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/method-def.sml	Tue Jun 21 12:41:52 2022 +0200
     1.3 @@ -47,7 +47,7 @@
     1.4    scr        : Rule.program,      (* filled in MethodC.prep_input                             *)
     1.5    prls       : Rule_Set.T,        (* for evaluation of preconditions in "#Where" on "#Given"  *)
     1.6    ppc        : Model_Pattern.T,   (* contains "#Given", "#Where", "#Find", "#Relate"
     1.7 -(??)                                     for constraints on identifiers see "O_Model.cpy_nam"     *)
     1.8 +                                     for constraints on identifiers see "O_Model.copy_name"   *)
     1.9    pre        : term list          (* ? DEL, as soon as they are input interactively ?         *)
    1.10  	};
    1.11  val empty = {guh = "met_empty", mathauthors = [], init = id_empty, rew_ord' = Rewrite_Ord.e_rew_ord',