Revision as of 17:19, 31 January 2013 edit Mdnahas (talk \| contribs) Extended confirmed users 591 edits Added commentary from the creator of induction-recursion	Revision as of 18:23, 26 September 2016 edit undo Cic (talk \| contribs) Extended confirmed users 1,270 edits m Cic moved page Talk:Induction-recursion (type theory) to Talk:Induction-recursion: No collision Next edit →
(No difference)

Talk:Induction-recursion: Difference between revisions