| Sat, 20 Oct 2001 20:14:56 +0200 | wenzelm | -o pdf: produce *both* eps and pdf; | changeset | files |
| Sat, 20 Oct 2001 20:14:16 +0200 | wenzelm | * greatly simplified document preparation setup, including more | changeset | files |
| Fri, 19 Oct 2001 22:03:25 +0200 | wenzelm | got rid of ML proof scripts; | changeset | files |
| Fri, 19 Oct 2001 22:02:25 +0200 | wenzelm | induct_method.ML -- proof by cases and induction on sets and types (Isar); | changeset | files |
| Fri, 19 Oct 2001 22:02:02 +0200 | wenzelm | latex output: bold lambda; | changeset | files |
| Fri, 19 Oct 2001 22:01:25 +0200 | wenzelm | got rid of ML proof scripts for Product_Type; | changeset | files |