1.1 --- a/doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Mon Jun 20 11:55:55 2022 +0200
     1.2 +++ b/doc-isac/jrocnik/eJMT-paper/jrocnik_eJMT.tex	Mon Jun 20 18:37:54 2022 +0200
     1.3 @@ -1168,7 +1168,7 @@
     1.4  %      ppc   : pat list,
     1.5  %      (*this is the model-pattern; 
     1.6  %       it contains "#Given","#Where","#Find","#Relate"-patterns
     1.7 -%       for constraints on identifiers see "fun cpy_nam"*)
     1.8 +%       for constraints on identifiers see "fun copy_name"*)
     1.9  %      met   : metID list}; (* methods solving the pbt*)
    1.10  %
    1.11  %WN weil dieser Code sehr unaufger"aumt ist, habe ich die Erkl"arungen