equal
deleted
inserted
replaced
1166 % prls : rls, (* for preds in where_*) |
1166 % prls : rls, (* for preds in where_*) |
1167 % where_: term list, (* where - predicates*) |
1167 % where_: term list, (* where - predicates*) |
1168 % ppc : pat list, |
1168 % ppc : pat list, |
1169 % (*this is the model-pattern; |
1169 % (*this is the model-pattern; |
1170 % it contains "#Given","#Where","#Find","#Relate"-patterns |
1170 % it contains "#Given","#Where","#Find","#Relate"-patterns |
1171 % for constraints on identifiers see "fun cpy_nam"*) |
1171 % for constraints on identifiers see "fun copy_name"*) |
1172 % met : metID list}; (* methods solving the pbt*) |
1172 % met : metID list}; (* methods solving the pbt*) |
1173 % |
1173 % |
1174 %WN weil dieser Code sehr unaufger"aumt ist, habe ich die Erkl"arungen |
1174 %WN weil dieser Code sehr unaufger"aumt ist, habe ich die Erkl"arungen |
1175 %WN oben selbst geschrieben. |
1175 %WN oben selbst geschrieben. |
1176 |
1176 |