Modus Ponens generalized: Revision history

18 March 2014

• curprev 16:0416:04, 18 March 2014‎ imported>Laurent‎ 10,727 bytes +108‎ No edit summary

23 August 2011

• curprev 09:2609:26, 23 August 2011‎ imported>Billaude‎ 10,619 bytes +21‎ →‎Implementation
• curprev 09:2309:23, 23 August 2011‎ imported>Billaude‎ 10,598 bytes +543‎ →‎Implementation
• curprev 09:1109:11, 23 August 2011‎ imported>Billaude‎ 10,055 bytes +236‎ →‎Design Decision
• curprev 09:0009:00, 23 August 2011‎ imported>Billaude‎ 9,819 bytes +357‎ →‎Design Decision

22 August 2011

• curprev 10:0210:02, 22 August 2011‎ imported>Billaude‎ 9,462 bytes +240‎ →‎Objective
• curprev 07:4407:44, 22 August 2011‎ imported>Billaude‎ 9,222 bytes +246‎ →‎Objective

1 June 2011

• curprev 11:1411:14, 1 June 2011‎ imported>Laurent‎ m 8,976 bytes −12‎ →‎Design Decision
• curprev 11:1011:10, 1 June 2011‎ imported>Laurent‎ m 8,988 bytes +4‎ →‎Legacy
• curprev 11:0711:07, 1 June 2011‎ imported>Laurent‎ m 8,984 bytes +8‎ →‎Objective

17 May 2011

• curprev 15:3815:38, 17 May 2011‎ imported>Billaude‎ m 8,976 bytes −123‎ No edit summary

16 May 2011

• curprev 12:3512:35, 16 May 2011‎ imported>Billaude‎ m 9,099 bytes +12‎ Minor edition
• curprev 09:0309:03, 16 May 2011‎ imported>Billaude‎ 9,087 bytes +546‎ Explications about <math>\btrue</math> and <math>\bfalse</math> predicate (in order to avoid infinite loop).

13 May 2011

• curprev 08:4408:44, 13 May 2011‎ imported>Billaude‎ 8,541 bytes −525‎ No edit summary

12 May 2011

• curprev 13:1113:11, 12 May 2011‎ imported>Billaude‎ 9,066 bytes +2,910‎ No edit summary

5 May 2011

• curprev 07:1107:11, 5 May 2011‎ imported>Billaude‎ 6,156 bytes +6,156‎ New page: This page describe the design of a tactic replacing a predicate <math> P </math> in either an hypothesis or a goal by <math>\btrue</math> (respectively <math>\bfalse</math> ) if <math>P</m...