sci.jeuri101.libraries - Revision 1238: /multirec_DEPRECATED/branches/Agda