| Tue, 16 Oct 2007 16:18:36 +0200 | paulson | added the "max_sledgehammers" option | changeset | files |
| Tue, 16 Oct 2007 14:11:35 +0200 | krauss | Fixed variable naming in mutual induction rules | changeset | files |
| Tue, 16 Oct 2007 14:11:06 +0200 | krauss | "sequential" is no longer a keyword. It is still used as before, but as a normal | changeset | files |