Fri, 02 Jan 1998 17:16:39 +0100 | paulson | Blast_tac now squashes flex-flex pairs immediately | changeset | files |
Fri, 02 Jan 1998 17:15:52 +0100 | paulson | New theorem image_subsetI | changeset | files |
Fri, 02 Jan 1998 17:15:19 +0100 | paulson | Making proofs faster, especially using keysFor_parts_insert | changeset | files |