| 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 |
| Fri, 19 Oct 2001 22:00:08 +0200 | wenzelm | got rid of Provers/split_paired_all.ML; | changeset | files |
| Fri, 19 Oct 2001 21:59:33 +0200 | wenzelm | improved default dependencies; | changeset | files |
| Fri, 19 Oct 2001 12:17:04 +0200 | wenzelm | revert to proper version (!); | changeset | files |
| Thu, 18 Oct 2001 21:27:47 +0200 | wenzelm | GPLed; | changeset | files |