Well-Founded Recursion

<body><a href="WfRec-m.html">Well-Founded Recursion</a> (for noframe browsers) </body>