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




