Mon, 09 Aug 2010 09:57:38 +0200 | blanchet | fix embarrassing bug in elim rule handling, introduced during the port to FOF | changeset | files |
Fri, 06 Aug 2010 21:10:29 +0200 | blanchet | minor doc changes | changeset | files |
Wed, 11 Aug 2010 12:40:08 +0200 | wenzelm | modernized some specifications; | changeset | files |