| Sat, 20 Oct 2001 20:15:44 +0200 | wenzelm | dvips -q; | changeset | files |
| Sat, 20 Oct 2001 20:15:27 +0200 | wenzelm | removed -v option (handled by isabelle process); | changeset | files |
| 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 |