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 |