Adding Manual Rewrite Reasoners: Revision history

24 November 2010

• curprev 17:3117:31, 24 November 2010‎ imported>Nicolas‎ m 7,100 bytes +87‎ No edit summary

6 October 2009

• curprev 18:0118:01, 6 October 2009‎ imported>Nicolas‎ m 7,013 bytes +187‎ →‎Create the Reasoner: Added link to Versioned Reasoners

17 September 2008

• curprev 16:5916:59, 17 September 2008‎ imported>Mathieu‎ m 6,826 bytes +67‎ cat
• curprev 16:5616:56, 17 September 2008‎ imported>Mathieu‎ m 6,759 bytes +13‎ No edit summary

15 September 2008

• curprev 13:4913:49, 15 September 2008‎ imported>Son‎ 6,746 bytes −15‎ No edit summary
• curprev 12:1512:15, 15 September 2008‎ imported>Son‎ 6,761 bytes +496‎ →‎Test the Reasoner
• curprev 12:1212:12, 15 September 2008‎ imported>Son‎ 6,265 bytes 0‎ →‎More Complicated Tests
• curprev 12:1112:11, 15 September 2008‎ imported>Son‎ 6,265 bytes +240‎ →‎More Complicated Tests
• curprev 12:0812:08, 15 September 2008‎ imported>Son‎ 6,025 bytes +32‎ →‎Test the Reasoner
• curprev 12:0712:07, 15 September 2008‎ imported>Son‎ 5,993 bytes +14‎ →‎Test the Formula Rewriter
• curprev 12:0412:04, 15 September 2008‎ imported>Son‎ 5,979 bytes +7‎ →‎Test the Declaration
• curprev 12:0412:04, 15 September 2008‎ imported>Son‎ 5,972 bytes +2,755‎ No edit summary
• curprev 10:2110:21, 15 September 2008‎ imported>Son‎ 3,217 bytes +179‎ No edit summary
• curprev 10:1910:19, 15 September 2008‎ imported>Son‎ 3,038 bytes +175‎ No edit summary
• curprev 10:1710:17, 15 September 2008‎ imported>Son‎ 2,863 bytes +789‎ No edit summary

14 September 2008

• curprev 09:2009:20, 14 September 2008‎ imported>Son‎ 2,074 bytes +583‎ No edit summary
• curprev 09:1609:16, 14 September 2008‎ imported>Son‎ 1,491 bytes 0‎ No edit summary
• curprev 08:5008:50, 14 September 2008‎ imported>Son‎ 1,491 bytes +676‎ No edit summary

13 September 2008

• curprev 16:1116:11, 13 September 2008‎ imported>Son‎ 815 bytes +677‎ No edit summary
• curprev 16:0316:03, 13 September 2008‎ imported>Son‎ 138 bytes +138‎ New page: Manual rewrite Reasoners of this type apply a rewriting rule for a given formula (or sub-formula) in the goal or in one of the hypotheses.