| 2001-10-20 | wenzelm | dvips -q; | changeset | files |
| 2001-10-20 | wenzelm | removed -v option (handled by isabelle process); | changeset | files |
| 2001-10-20 | wenzelm | -o pdf: produce *both* eps and pdf; | changeset | files |
| 2001-10-20 | wenzelm | * greatly simplified document preparation setup, including more | changeset | files |
| 2001-10-19 | wenzelm | got rid of ML proof scripts; | changeset | files |
| 2001-10-19 | wenzelm | induct_method.ML -- proof by cases and induction on sets and types (Isar); | changeset | files |
| 2001-10-19 | wenzelm | latex output: bold lambda; | changeset | files |
| 2001-10-19 | wenzelm | got rid of ML proof scripts for Product_Type; | changeset | files |
| Loading... | |||