Mutually Recursive Partial Functions
René ThiemannThe Archive of Formal Proofs, 2014.
Abstract
We provide a wrapper around the partial-function command that supports mutual recursion.
BibTeX
@article{RT-AFP14b, author = {René Thiemann}, title = {Mutually Recursive Partial Functions}, journal = "Archive of Formal Proofs", month = feb, year = 2014, note = {\url{http://afp.sf.net/entries/Partial_Function_MR.shtml}, Formal proof development}, ISSN = {2150-914x}, }