| Thu, 24 Feb 2000 16:00:28 +0100 | wenzelm | rN = "record"; | changeset | files |
| Thu, 24 Feb 2000 16:00:09 +0100 | wenzelm | all_cases / all_inducts; | changeset | files |
| Thu, 24 Feb 2000 15:59:44 +0100 | wenzelm | workaround res_inst_tac/lift_inst_rule bug by explicit type contraint; | changeset | files |
| Thu, 24 Feb 2000 15:58:10 +0100 | wenzelm | capply, cabs: Sign.nodup_vars; | changeset | files |
| Thu, 24 Feb 2000 15:57:36 +0100 | wenzelm | nodup_vars: fixed omission of 2 minor cases; account for Frees as well; | changeset | files |
| Thu, 24 Feb 2000 15:34:49 +0100 | wenzelm | tuned generated TeX code; | changeset | files |
| Thu, 24 Feb 2000 08:56:36 +0100 | nipkow | renamed a lemma | changeset | files |
| Thu, 24 Feb 2000 08:55:37 +0100 | nipkow | Added and renamed a lemma. | changeset | files |