| Tue, 19 Jun 2007 18:00:49 +0200 | krauss | generalized proofs so that call graphs can have any node type. | changeset | files |
| Tue, 19 Jun 2007 00:02:16 +0200 | wenzelm | macbroy5: trying -j 2; | changeset | files |
| Mon, 18 Jun 2007 23:30:46 +0200 | wenzelm | tuned conjunction tactics: slightly smaller proof terms; | changeset | files |