| Fri, 04 Mar 1994 12:14:21 +0100 | wenzelm | fixed misfeature in Sign.extend: types of consts were read wrt. the new syntax; | changeset | files |
| Thu, 03 Mar 1994 17:43:14 +0100 | lcp | changed "x" to "uu" for implicit name of the | changeset | files |
| Tue, 01 Mar 1994 17:21:47 +0100 | nipkow | update towards LNCS | changeset | files |
| Tue, 01 Mar 1994 16:00:53 +0100 | nipkow | deleted a comment | changeset | files |
| Sat, 26 Feb 1994 16:27:45 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 21 Feb 1994 14:50:48 +0100 | wenzelm | improved explode_tr; | changeset | files |
| Wed, 16 Feb 1994 15:17:15 +0100 | nipkow | minor update because HOL-lemma changed | changeset | files |
| Wed, 16 Feb 1994 13:56:20 +0100 | lcp | tactic/make_elim_preserve: recoded to avoid using lift_inst_rule. Instead | changeset | files |