Fri, 10 Dec 1993 10:39:12 +0100 | lcp | ZF/equalities/SUM_eq_UN: new | changeset | files |
Fri, 10 Dec 1993 10:36:39 +0100 | lcp | Pure/tactic/compose_inst_tac: when catching exception THM, prints the | changeset | files |
Thu, 09 Dec 1993 11:39:33 +0100 | nipkow | deleted harmful basify, which pulled rewrite rules down to base type. | changeset | files |
Mon, 06 Dec 1993 17:05:10 +0100 | nipkow | added rep_tsig | changeset | files |
Mon, 06 Dec 1993 13:35:38 +0100 | nipkow | last minute changes, eg literal tokens -> delimiters and valued tokens -> | changeset | files |
Mon, 06 Dec 1993 10:57:22 +0100 | lcp | ZF/univ/in_Vfrom_limit: new | changeset | files |