| Revision as of 22:06, 18 December 2009 editSpringnuts (talk | contribs)Extended confirmed users, Pending changes reviewers, Rollbackers9,806 edits Having merged into E equational theorem prover, set up as redirect iaw AfD← Previous edit | Revision as of 14:27, 26 June 2010 edit undoEvgeny Kapun (talk | contribs)101 edits Update redirectNext edit → | ||
| Line 1: | Line 1: | ||
| #REDIRECT ] | #REDIRECT ] | ||
Revision as of 14:27, 26 June 2010
Redirect to: