D45 Prover Enhancement: Revision history

20 April 2012

• curprev 21:2021:20, 20 April 2012‎ imported>Tommy‎ m 21,969 bytes +124‎ →‎New rewriting and inference rules
• curprev 21:0921:09, 20 April 2012‎ imported>Tommy‎ m 21,845 bytes +1‎ No edit summary
• curprev 21:0721:07, 20 April 2012‎ imported>Tommy‎ m 21,844 bytes +65‎ →‎Available Documentation
• curprev 21:0521:05, 20 April 2012‎ imported>Tommy‎ m 21,779 bytes +212‎ →‎Available Documentation

19 April 2012

• curprev 14:5114:51, 19 April 2012‎ imported>Tommy‎ 21,567 bytes +6‎ →‎Available Documentation
• curprev 14:5114:51, 19 April 2012‎ imported>Tommy‎ m 21,561 bytes −21‎ →‎Available Documentation
• curprev 14:5014:50, 19 April 2012‎ imported>Tommy‎ m 21,582 bytes +4‎ →‎Overview
• curprev 11:5811:58, 19 April 2012‎ imported>Tommy‎ m 21,578 bytes −242‎ No edit summary
• curprev 11:4111:41, 19 April 2012‎ imported>Tommy‎ m 21,820 bytes +1‎ →‎New rewriting and inference rules

27 March 2012

• curprev 14:1214:12, 27 March 2012‎ imported>Tommy‎ m 21,819 bytes +97‎ →‎Available Documentation
• curprev 14:0714:07, 27 March 2012‎ imported>Tommy‎ m 21,722 bytes −2‎ →‎Available Documentation
• curprev 14:0714:07, 27 March 2012‎ imported>Tommy‎ m 21,724 bytes +181‎ →‎Available Documentation
• curprev 14:0414:04, 27 March 2012‎ imported>Tommy‎ m 21,543 bytes −3‎ →‎Available Documentation

21 March 2012

• curprev 16:5616:56, 21 March 2012‎ imported>Tommy‎ m 21,546 bytes +78‎ →‎New rewriting and inference rules
• curprev 16:3316:33, 21 March 2012‎ imported>Tommy‎ m 21,468 bytes +49‎ →‎New rewriting and inference rules
• curprev 16:0116:01, 21 March 2012‎ imported>Tommy‎ m 21,419 bytes +107‎ →‎New rewriting and inference rules
• curprev 15:5915:59, 21 March 2012‎ imported>Tommy‎ m 21,312 bytes +106‎ →‎New rewriting and inference rules
• curprev 15:5915:59, 21 March 2012‎ imported>Tommy‎ m 21,206 bytes −197‎ →‎New rewriting and inference rules
• curprev 15:5815:58, 21 March 2012‎ imported>Tommy‎ m 21,403 bytes +267‎ →‎New rewriting and inference rules
• curprev 15:0215:02, 21 March 2012‎ imported>Tommy‎ m 21,136 bytes +9‎ →‎SMT Solver Integration
• curprev 15:0115:01, 21 March 2012‎ imported>Tommy‎ m 21,127 bytes −2‎ →‎SMT Solver Integration
• curprev 15:0015:00, 21 March 2012‎ imported>Tommy‎ m 21,129 bytes +634‎ →‎SMT Solver Integration
• curprev 14:5314:53, 21 March 2012‎ imported>Tommy‎ m 20,495 bytes +30‎ →‎SMT Solver Integration
• curprev 14:5214:52, 21 March 2012‎ imported>Tommy‎ 20,465 bytes +337‎ →‎SMT Solver Integration
• curprev 14:1614:16, 21 March 2012‎ imported>Tommy‎ m 20,128 bytes +3‎ →‎Available Documentation
• curprev 14:1614:16, 21 March 2012‎ imported>Tommy‎ m 20,125 bytes +46‎ →‎Available Documentation
• curprev 14:1514:15, 21 March 2012‎ imported>Tommy‎ m 20,079 bytes +49‎ →‎Available Documentation
• curprev 13:0513:05, 21 March 2012‎ imported>Tommy‎ m 20,030 bytes −1‎ →‎Isabelle Plug-in
• curprev 13:0413:04, 21 March 2012‎ imported>Tommy‎ m 20,031 bytes +1,396‎ →‎Isabelle Plug-in
• curprev 11:1711:17, 21 March 2012‎ imported>Tommy‎ m 18,635 bytes −2‎ →‎Available Documentation
• curprev 11:1611:16, 21 March 2012‎ imported>Tommy‎ m 18,637 bytes −6‎ →‎SMT Solver Integration
• curprev 11:1611:16, 21 March 2012‎ imported>Tommy‎ m 18,643 bytes +73‎ →‎SMT Solver Integration
• curprev 11:1211:12, 21 March 2012‎ imported>Tommy‎ m 18,570 bytes −1‎ →‎Isabelle Plug-in
• curprev 11:1211:12, 21 March 2012‎ imported>Tommy‎ m 18,571 bytes −2‎ →‎Isabelle Plug-in
• curprev 11:0911:09, 21 March 2012‎ imported>Tommy‎ m 18,573 bytes +89‎ →‎Isabelle Plug-in
• curprev 11:0711:07, 21 March 2012‎ imported>Tommy‎ m 18,484 bytes −9‎ →‎Available Documentation
• curprev 11:0611:06, 21 March 2012‎ imported>Tommy‎ m 18,493 bytes +508‎ →‎Available Documentation
• curprev 10:5410:54, 21 March 2012‎ imported>Tommy‎ m 17,985 bytes +1,531‎ →‎Isabelle Plug-in

20 March 2012

• curprev 17:2017:20, 20 March 2012‎ imported>Tommy‎ m 16,454 bytes −2‎ →‎Isabelle Plug-in
• curprev 17:2017:20, 20 March 2012‎ imported>Tommy‎ m 16,456 bytes +414‎ →‎Isabelle Plug-in
• curprev 17:1717:17, 20 March 2012‎ imported>Tommy‎ m 16,042 bytes 0‎ →‎Isabelle Plug-in
• curprev 17:1717:17, 20 March 2012‎ imported>Tommy‎ m 16,042 bytes −4‎ →‎Isabelle Plug-in
• curprev 17:1617:16, 20 March 2012‎ imported>Tommy‎ m 16,046 bytes +732‎ →‎Isabelle Plug-in
• curprev 17:1217:12, 20 March 2012‎ imported>Tommy‎ m 15,314 bytes −2‎ No edit summary
• curprev 17:1217:12, 20 March 2012‎ imported>Tommy‎ m 15,316 bytes +204‎ No edit summary
• curprev 17:0317:03, 20 March 2012‎ imported>Tommy‎ m 15,112 bytes −4‎ →‎Isabelle Plug-in
• curprev 17:0217:02, 20 March 2012‎ imported>Tommy‎ m 15,116 bytes −2‎ →‎Isabelle Plug-in
• curprev 17:0117:01, 20 March 2012‎ imported>Tommy‎ m 15,118 bytes +1,734‎ →‎Isabelle Plug-in
• curprev 16:3816:38, 20 March 2012‎ imported>Tommy‎ m 13,384 bytes +2‎ →‎Overview
• curprev 16:3816:38, 20 March 2012‎ imported>Tommy‎ m 13,382 bytes +27‎ →‎Overview
• curprev 16:3216:32, 20 March 2012‎ imported>Tommy‎ m 13,355 bytes +33‎ →‎Overview
• curprev 16:2516:25, 20 March 2012‎ imported>Tommy‎ m 13,322 bytes −39‎ →‎Overview
• curprev 16:2416:24, 20 March 2012‎ imported>Tommy‎ m 13,361 bytes +7‎ →‎Overview
• curprev 16:2316:23, 20 March 2012‎ imported>Tommy‎ m 13,354 bytes +298‎ →‎Overview

19 March 2012

• curprev 09:1209:12, 19 March 2012‎ imported>Daniel‎ 13,056 bytes −236‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 08:1608:16, 19 March 2012‎ imported>Daniel‎ 13,292 bytes +97‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 08:1308:13, 19 March 2012‎ imported>Daniel‎ 13,195 bytes −47‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 08:0708:07, 19 March 2012‎ imported>Leuschel‎ 13,242 bytes +345‎ →‎Status
• curprev 08:0608:06, 19 March 2012‎ imported>Leuschel‎ 12,897 bytes −1‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 08:0608:06, 19 March 2012‎ imported>Leuschel‎ 12,898 bytes +1,450‎ →‎Choices / Decisions
• curprev 08:0208:02, 19 March 2012‎ imported>Leuschel‎ 11,448 bytes −1‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 08:0108:01, 19 March 2012‎ imported>Leuschel‎ 11,449 bytes +1,215‎ →‎Incorporating SAT Solvers via Kodkod
• curprev 07:5907:59, 19 March 2012‎ imported>Leuschel‎ 10,234 bytes +187‎ →‎Available Documentation
• curprev 07:5607:56, 19 March 2012‎ imported>Leuschel‎ 10,047 bytes +755‎ →‎Incorporating SAT Solvers via Kodkod

29 February 2012

• curprev 14:2314:23, 29 February 2012‎ imported>Daniel‎ 9,292 bytes +56‎ →‎Motivations

15 February 2012

• curprev 17:4817:48, 15 February 2012‎ imported>Leuschel‎ 9,236 bytes −12‎ →‎Available Documentation
• curprev 17:4717:47, 15 February 2012‎ imported>Leuschel‎ 9,248 bytes +169‎ →‎Available Documentation

14 February 2012

• curprev 10:3710:37, 14 February 2012‎ imported>Leuschel‎ 9,079 bytes −44‎ →‎ProB Disprover
• curprev 10:3610:36, 14 February 2012‎ imported>Leuschel‎ 9,123 bytes −44‎ →‎ProB Disprover
• curprev 10:3610:36, 14 February 2012‎ imported>Leuschel‎ 9,167 bytes −44‎ →‎ProB Disprover
• curprev 10:3610:36, 14 February 2012‎ imported>Leuschel‎ 9,211 bytes +126‎ →‎Overview
• curprev 08:4408:44, 14 February 2012‎ imported>Leuschel‎ 9,085 bytes +829‎ →‎ProB Disprover
• curprev 08:4008:40, 14 February 2012‎ imported>Leuschel‎ 8,256 bytes +1,617‎ →‎ProB Disprover
• curprev 08:2408:24, 14 February 2012‎ imported>Leuschel‎ 6,639 bytes +40‎ →‎Available Documentation
• curprev 08:2308:23, 14 February 2012‎ imported>Leuschel‎ 6,599 bytes +727‎ →‎ProB Disprover

10 February 2012

• curprev 15:1315:13, 10 February 2012‎ imported>Leuschel‎ 5,872 bytes +242‎ →‎ProB Disprover

28 November 2011

• curprev 09:1909:19, 28 November 2011‎ imported>Tommy‎ m 5,630 bytes −588‎ →‎SMT Solver Integration
• curprev 09:1809:18, 28 November 2011‎ imported>Tommy‎ m 6,218 bytes +583‎ →‎SMT Solver Integration
• curprev 09:1709:17, 28 November 2011‎ imported>Tommy‎ m 5,635 bytes +950‎ No edit summary

24 November 2011

• curprev 14:5614:56, 24 November 2011‎ imported>Nicolas‎ m 4,685 bytes −3‎ →‎Advanced Preferences for Auto-tactics
• curprev 14:5514:55, 24 November 2011‎ imported>Nicolas‎ 4,688 bytes +89‎ →‎Advanced Preferences for Auto-tactics
• curprev 14:3814:38, 24 November 2011‎ imported>Nicolas‎ 4,599 bytes +488‎ →‎Advanced Preferences for Auto-tactics
• curprev 10:5110:51, 24 November 2011‎ imported>Nicolas‎ 4,111 bytes +191‎ →‎Advanced Preferences for Auto-tactics
• curprev 10:3910:39, 24 November 2011‎ imported>Nicolas‎ 3,920 bytes −39‎ →‎Advanced Preferences for Auto-tactics
• curprev 10:3610:36, 24 November 2011‎ imported>Nicolas‎ 3,959 bytes −44‎ →‎Advanced Preferences for Auto-tactics

23 November 2011

• curprev 17:4417:44, 23 November 2011‎ imported>Tommy‎ m 4,003 bytes +46‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:4217:42, 23 November 2011‎ imported>Tommy‎ m 3,957 bytes +467‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:3517:35, 23 November 2011‎ imported>Tommy‎ m 3,490 bytes +33‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:3417:34, 23 November 2011‎ imported>Tommy‎ m 3,457 bytes +426‎ →‎Advanced Preferences for Auto-tactics
• curprev 17:3017:30, 23 November 2011‎ imported>Tommy‎ m 3,031 bytes −193‎ →‎Overview
• curprev 17:2517:25, 23 November 2011‎ imported>Tommy‎ m 3,224 bytes −93‎ →‎New rewriting and inference rules
• curprev 17:2317:23, 23 November 2011‎ imported>Tommy‎ m 3,317 bytes +17‎ →‎SMT Solver Integration
• curprev 17:2217:22, 23 November 2011‎ imported>Tommy‎ m 3,300 bytes 0‎ →‎SMT Solver Integration
• curprev 17:2217:22, 23 November 2011‎ imported>Tommy‎ m 3,300 bytes +17‎ →‎SMT Solver Integration
• curprev 17:2217:22, 23 November 2011‎ imported>Tommy‎ m 3,283 bytes +17‎ →‎SMT Solver Integration
• curprev 17:2117:21, 23 November 2011‎ imported>Tommy‎ m 3,266 bytes +39‎ →‎Overview
• curprev 17:2117:21, 23 November 2011‎ imported>Tommy‎ m 3,227 bytes +84‎ →‎Overview
• curprev 15:4015:40, 23 November 2011‎ imported>Pascal‎ m 3,143 bytes −2‎ →‎Typos
• curprev 14:2914:29, 23 November 2011‎ imported>Tommy‎ m 3,145 bytes +4‎ →‎New rewriting and inference rules
• curprev 14:1814:18, 23 November 2011‎ imported>Tommy‎ m 3,141 bytes −4‎ →‎New rewriting and inference rules

18 November 2011

• curprev 18:1318:13, 18 November 2011‎ imported>Tommy‎ m 3,145 bytes +87‎ →‎New rewriting and inference rules
• curprev 18:1018:10, 18 November 2011‎ imported>Tommy‎ m 3,058 bytes +197‎ →‎New rewriting and inference rules
• curprev 18:0718:07, 18 November 2011‎ imported>Tommy‎ m 2,861 bytes +19‎ →‎New rewriting and inference rules
• curprev 18:0618:06, 18 November 2011‎ imported>Tommy‎ m 2,842 bytes −1‎ →‎New rewriting and inference rules
• curprev 18:0618:06, 18 November 2011‎ imported>Tommy‎ m 2,843 bytes +367‎ →‎New rewriting and inference rules
• curprev 17:4017:40, 18 November 2011‎ imported>Tommy‎ m 2,476 bytes +575‎ →‎Overview
• curprev 17:2517:25, 18 November 2011‎ imported>Tommy‎ m 1,901 bytes −208‎ →‎Overview
• curprev 17:2217:22, 18 November 2011‎ imported>Tommy‎ m 2,109 bytes +127‎ No edit summary

7 November 2011

• curprev 13:1413:14, 7 November 2011‎ imported>Tommy‎ m 1,982 bytes +1,982‎ New page: = Overview = Concerning Rodin's General Platform Maintenance the following contributions have been made: * {{TODO}} An overview of the contribution about the new rewriting and inference ru...