Fri, 07 Jan 1994 10:59:51 +0100 | lcp | ZF/perm/image_comp: new | changeset | files |
Wed, 05 Jan 1994 19:47:14 +0100 | nipkow | got rid of METAHYPS due to the change of the basic simplification routines | changeset | files |
Wed, 05 Jan 1994 19:43:46 +0100 | nipkow | adapted a proof to the new solver (see change of FOL/simpdata.ML) | changeset | files |
Wed, 05 Jan 1994 19:41:37 +0100 | nipkow | updated solver of FOL_ss. see change of HOL/simpdata.ML | changeset | files |
Wed, 05 Jan 1994 19:33:56 +0100 | nipkow | added new parameter to the simplification tactics which indicates if | changeset | files |
Wed, 05 Jan 1994 19:29:51 +0100 | nipkow | added lexical class of type variables | changeset | files |
Wed, 05 Jan 1994 19:27:19 +0100 | nipkow | shortened msg | changeset | files |