sci.jeuri101.libraries - Revision 1238: /Rewriting-multirec/branches/abstract/src/Generics/MultiRec