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 |
Mon, 06 Dec 1993 10:55:48 +0100 | lcp | ZF/ord/Ord_Un,Ord_Int,Un_upper1_le,Un_upper2_le: new | changeset | files |
Mon, 06 Dec 1993 09:35:35 +0100 | nipkow | Typos and style | changeset | files |