| Wed, 16 Jun 2004 14:56:58 +0200 | paulson | new fib example | changeset | files |
| Wed, 16 Jun 2004 14:56:39 +0200 | paulson | removal of x-symbol syntax <Sigma> for dependent products | changeset | files |
| Tue, 15 Jun 2004 13:24:19 +0200 | wenzelm | ISABELLE_TMP | changeset | files |
| Tue, 15 Jun 2004 13:24:02 +0200 | wenzelm | path instead of string; | changeset | files |