Extension Proof Rules: Revision history

29 November 2019

• curprev 15:3815:38, 29 November 2019‎ imported>WikiSysop‎ 2,102 bytes −1‎ →‎Rewrite Rules
• curprev 15:3815:38, 29 November 2019‎ imported>WikiSysop‎ 2,103 bytes 0‎ →‎Rewrite Rules

16 November 2010

• curprev 13:0413:04, 16 November 2010‎ imported>Nicolas‎ m 2,103 bytes 0‎ →‎Inference Rules

10 November 2010

• curprev 11:0711:07, 10 November 2010‎ imported>Laurent‎ m 2,103 bytes +4‎ No edit summary

13 September 2010

• curprev 17:2417:24, 13 September 2010‎ imported>Nicolas‎ m 2,099 bytes 0‎ SIMP_MULTI_COND was implemented

10 September 2010

• curprev 12:5212:52, 10 September 2010‎ imported>Nicolas‎ 2,099 bytes +115‎ No edit summary

9 September 2010

• curprev 12:2412:24, 9 September 2010‎ imported>Nicolas‎ m 1,984 bytes +1,170‎ copied datatype inference rules
• curprev 10:2710:27, 9 September 2010‎ imported>Nicolas‎ m 814 bytes +61‎ No edit summary
• curprev 10:2310:23, 9 September 2010‎ imported>Nicolas‎ m 753 bytes 0‎ Extension Rewrite Rules moved to Extension Proof Rules: Gathering rewrite and inference rules for extensions in the same page.

3 September 2010

• curprev 17:1517:15, 3 September 2010‎ imported>Nicolas‎ 753 bytes +753‎ added rules SIMP_SPECIAL_COND_BTRUE and SIMP_SPECIAL_COND_BFALSE