Induction-recursion: Revision history

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 16:0216:02, 10 June 2025 Ncfavier talk contribs m 7,488 bytes −127 Minor formatting fixes undo

curprev 21:5921:59, 17 March 2025 Kku talk contribs m 7,615 bytes +4 link proof assistant undo

curprev 22:0022:00, 8 May 2024 LucasBrown talk contribs 7,611 bytes +52 Adding short description: "Concept in mathematical logic" undo Tag: Shortdesc helper

curprev 09:0309:03, 6 May 2024 93.49.205.75 talk 7,559 bytes +45 rearrange sentence about universes undo

curprev 14:5414:54, 22 August 2023 Citation bot talk contribs 7,514 bytes +8 Alter: chapter, title, template type. Add: chapter-url, chapter, series. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Headbomb | #UCB_toolbar undo

curprev 03:0803:08, 4 January 2023 Citation bot talk contribs 7,506 bytes +78 Alter: title. Add: volume, chapter, s2cid, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by SemperIocundus | #UCB_webform 1319/2500 undo

curprev 04:0304:03, 6 October 2020 Elaifiknow talk contribs 7,428 bytes +73 u' does not directly map to the return type, but is a function whose return value always maps to the return type, which depends on the value of the parameter undo

curprev 17:3217:32, 11 August 2020 Jorge-JBS talk contribs 7,355 bytes +455 Change reference about Agda implementation of induction-recursion undo Tag: Visual edit
curprev 17:0317:03, 11 August 2020 Jorge-JBS talk contribs 6,900 bytes +183 Add reference to claim about induction-recursion being implemented in Agda undo Tag: Visual edit

curprev 12:5712:57, 21 May 2020 2a01:cb1d:8df2:ba00:d5a6:3795:573:fc78 talk 6,717 bytes +1 →Universe example undo
curprev 12:5712:57, 21 May 2020 2a01:cb1d:8df2:ba00:d5a6:3795:573:fc78 talk 6,716 bytes −3 →Universe example undo

curprev 23:4223:42, 19 February 2019 Citation bot talk contribs m 6,719 bytes +60 Alter: template type. Add: isbn, doi, pages, citeseerx, jstor. Removed parameters. Formatted dashes. | You can use this bot yourself. Report bugs here. | User-activated. undo

curprev 19:4019:40, 7 June 2018 MusikBot talk contribs m 6,659 bytes −22 Removing protection templates from unprotected page undo

curprev 13:2813:28, 13 February 2018 Favonian talk contribs m 6,681 bytes +22 Padlock undo
curprev 13:2713:27, 13 February 2018 Favonian talk contribs m 6,659 bytes 0 Protected "Induction-recursion": Persistent disruptive editing: IP-jumping edit warrior ([Edit=Require autoconfirmed or confirmed access] (expires 13:27, 13 May 2018 (UTC)) [Move=Require autoconfirmed or confirmed access]... undo
curprev 13:2513:25, 13 February 2018 Favonian talk contribs m 6,659 bytes −170 Reverted edits by 112.64.119.22 (talk) to last version by Favonian undo Tag: Rollback
curprev 10:5210:52, 13 February 2018 112.64.119.22 talk 6,829 bytes +170 No edit summary undo Tag: Undo

curprev 16:1816:18, 12 February 2018 Favonian talk contribs m 6,659 bytes −170 rv long term disruption undo Tag: Rollback
curprev 01:5801:58, 12 February 2018 14.155.90.38 talk 6,829 bytes +170 No edit summary undo Tag: Undo

curprev 11:0811:08, 10 February 2018 Favonian talk contribs m 6,659 bytes −170 rv long term disruption undo Tag: Rollback
curprev 10:0910:09, 10 February 2018 14.155.90.195 talk 6,829 bytes +170 No edit summary undo

curprev 01:2401:24, 30 March 2017 24.85.232.10 talk 6,659 bytes +5 No edit summary undo
curprev 01:2101:21, 30 March 2017 24.85.232.10 talk 6,654 bytes +1 →Background undo
curprev 01:1901:19, 30 March 2017 24.85.232.10 talk 6,653 bytes +6 →Background undo

curprev 18:2318:23, 26 September 2016 Cic talk contribs m 6,647 bytes 0 Cic moved page Induction-recursion (type theory) to Induction-recursion: No collision undo

curprev 19:5919:59, 25 September 2016 Cic talk contribs m 6,647 bytes −29 Formatting undo

curprev 22:5922:59, 17 May 2016 BG19bot talk contribs m 6,676 bytes −7 Remove blank line(s) between list items per WP:LISTGAP to fix an accessibility issue for users of screen readers. Do WP:GENFIXES and cleanup if needed. Discuss this at Wikipedia talk:WikiProject Accessibility#LISTGAP undo

curprev 17:2317:23, 23 July 2014 83.183.104.182 talk 6,683 bytes +43 →Usage: Add link to another system with induction-recursion undo

curprev 12:5512:55, 29 May 2014 Rjwilmsi talk contribs m 6,640 bytes +20 Added 1 doi to a journal cite using AWB (10216) undo

curprev 23:3723:37, 21 January 2014 Monkbot talk contribs m 6,620 bytes −6 Fix CS1 deprecated date parameter errors undo

curprev 21:2721:27, 24 December 2013 FrescoBot talk contribs m 6,626 bytes −5 Bot: standard sections headers and minor changes undo

curprev 07:5607:56, 5 August 2013 BG19bot talk contribs m 6,631 bytes −5 Fixing section headings undo

curprev 16:1116:11, 10 April 2013 128.2.74.227 talk 1,589 bytes +14 Formatting undo

curprev 00:1700:17, 7 March 2013 Bgwhite talk contribs m 1,575 bytes −5 WP:CHECKWIKI error fix #38. Convert HTML to wikicode. Do general fixes and cleanup if needed. - using AWB undo

curprev 18:2818:28, 28 February 2013 Dictioneer talk contribs m 1,580 bytes +763 Added inline reference citation per WP Guidelines: en.wikipedia.org/wiki/Inline_citation undo

curprev 13:0413:04, 21 February 2013 Lambiam talk contribs m 817 bytes 0 punct; gr undo

curprev 19:5919:59, 16 February 2013 Michael Hardy talk contribs 817 bytes +43 No edit summary undo

curprev 16:3416:34, 3 February 2013 Malcolma talk contribs 774 bytes −9 added Category:Type theory; removed {{uncategorized}} using HotCat undo

curprev 17:2017:20, 31 January 2013 Mdnahas talk contribs 783 bytes +15 added "simultaneous" to definition. undo

curprev 08:3008:30, 30 January 2013 Andrewman327 talk contribs m 768 bytes +39 →External links: clean up, added uncategorised tag using AWB (8853) undo

curprev 23:5723:57, 29 January 2013 Lambiam talk contribs m 729 bytes +1 →External links: bulletize undo
curprev 23:5623:56, 29 January 2013 Lambiam talk contribs 728 bytes −7 context in lead undo
curprev 23:5323:53, 29 January 2013 Lambiam talk contribs m 735 bytes −1 sp undo

10 June 2025

17 March 2025

8 May 2024

6 May 2024

22 August 2023

4 January 2023

6 October 2020

11 August 2020

21 May 2020

19 February 2019

7 June 2018

13 February 2018

12 February 2018

10 February 2018

30 March 2017

26 September 2016

25 September 2016

17 May 2016

23 July 2014

29 May 2014

21 January 2014

24 December 2013

5 August 2013

1 August 2013

10 April 2013

7 March 2013

28 February 2013

21 February 2013

16 February 2013

3 February 2013

31 January 2013

30 January 2013

29 January 2013