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 |
Wed, 23 Feb 2000 10:45:08 +0100 | paulson | not working yet. partial conversion to use "rename" instead of "extend" | changeset | files |