You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This closes issue leanprover#115.
The subsections were identical with the following exceptions:
- Capitalization of the section headings.
- The subsection appearing at the end of the chapter ended many sentences with colons instead of periods; the present PR favors periods over colons (though a [PR mainly concerned with replacing periods with colons](leanprover@cb83ec7) was recently merged, unfortunately.)
The file induction_and_recursion.md has two sections titled "Local recursive declarations". It looks like it was moved from one place to another on March 3, 2022 and then it was restored to the old location on June 13, 2022.
I have not checked whether the two sections are identical.
The text was updated successfully, but these errors were encountered: