[isabelle] New AFP entry: Mutually Recursive Partial Functions



Mutually Recursive Partial Functions
René Thiemann

We provide a wrapper around the partial-function command that supports mutual
recursion.

http://afp.sourceforge.net/entries/Partial_Function_MR.shtml

Enjoy!




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.