D32 Provers: Revision history

27 January 2011

• curprev 15:2515:25, 27 January 2011‎ imported>Tommy‎ m 11,462 bytes +64‎ →‎Overview
• curprev 15:2315:23, 27 January 2011‎ imported>Tommy‎ m 11,398 bytes +244‎ No edit summary

24 January 2011

• curprev 13:4513:45, 24 January 2011‎ imported>Tommy‎ m 11,154 bytes +4‎ →‎Overview

14 January 2011

• curprev 08:1808:18, 14 January 2011‎ imported>Wohuai‎ m 11,150 bytes +12‎ No edit summary

21 December 2010

• curprev 13:1813:18, 21 December 2010‎ imported>Tommy‎ m 11,138 bytes −1‎ →‎Available Documentation
• curprev 13:1813:18, 21 December 2010‎ imported>Tommy‎ m 11,139 bytes +30‎ →‎Available Documentation
• curprev 13:1713:17, 21 December 2010‎ imported>Tommy‎ m 11,109 bytes +25‎ →‎Available Documentation
• curprev 13:1413:14, 21 December 2010‎ imported>Tommy‎ m 11,084 bytes −6‎ →‎Choices / Decisions
• curprev 13:1313:13, 21 December 2010‎ imported>Tommy‎ m 11,090 bytes 0‎ →‎Motivations
• curprev 11:0611:06, 21 December 2010‎ imported>Tommy‎ m 11,090 bytes −2‎ →‎References

20 December 2010

• curprev 13:2513:25, 20 December 2010‎ imported>Tommy‎ m 11,092 bytes −19‎ No edit summary
• curprev 13:2213:22, 20 December 2010‎ imported>Tommy‎ m 11,111 bytes +6‎ No edit summary
• curprev 10:1610:16, 20 December 2010‎ imported>Tommy‎ m 11,105 bytes −44‎ No edit summary

8 December 2010

• curprev 10:3310:33, 8 December 2010‎ imported>Laurent‎ 11,149 bytes +2,212‎ Added improved WD

26 November 2010

• curprev 08:2108:21, 26 November 2010‎ imported>Laurent‎ m 8,937 bytes +39‎ →‎Relevance Filtering
• curprev 08:1708:17, 26 November 2010‎ imported>Laurent‎ m 8,898 bytes 0‎ →‎Relevance Filtering
• curprev 08:1608:16, 26 November 2010‎ imported>Laurent‎ m 8,898 bytes 0‎ →‎Overview

25 November 2010

• curprev 10:5710:57, 25 November 2010‎ imported>Wohuai‎ 8,898 bytes +2,698‎ No edit summary

12 November 2010

• curprev 12:4312:43, 12 November 2010‎ imported>Wohuai‎ m 6,200 bytes +69‎ No edit summary
• curprev 12:3712:37, 12 November 2010‎ imported>Wohuai‎ 6,131 bytes +476‎ No edit summary
• curprev 11:3111:31, 12 November 2010‎ imported>Wohuai‎ 5,655 bytes +2‎ No edit summary
• curprev 11:3111:31, 12 November 2010‎ imported>Wohuai‎ 5,653 bytes +558‎ No edit summary
• curprev 10:0610:06, 12 November 2010‎ imported>Wohuai‎ 5,095 bytes +354‎ No edit summary
• curprev 09:4509:45, 12 November 2010‎ imported>Wohuai‎ 4,741 bytes +936‎ No edit summary

11 November 2010

• curprev 16:5816:58, 11 November 2010‎ imported>Wohuai‎ 3,805 bytes +743‎ No edit summary
• curprev 15:0415:04, 11 November 2010‎ imported>Wohuai‎ 3,062 bytes +3,062‎ New page: === Overview === Concerning Rodin's provers the following contributions have been made: * Jann Röder (ETH Zurich) developed a relevance filter plug-in. The plug-in provides a proof tactic...