| Thu, 17 Jul 2008 15:33:01 +0200 | wenzelm | less verbosity; | changeset | files |
| Thu, 17 Jul 2008 15:26:04 +0200 | wenzelm | Administrative build -- finish Isabelle source distribution. | changeset | files |
| Thu, 17 Jul 2008 15:21:52 +0200 | krauss | simplified proofs | changeset | files |