Skip to content

Deletes repeated section Local Recursive Definitions in induction_and_recursion.md#135

Open
javierlcontreras wants to merge 1 commit intoleanprover:masterfrom javierlcontreras:patch-1
-59

Commits