Tue, 17 Aug 1999 22:24:15 +0200 | wenzelm | eliminated HOL_quantifiers (replaced by "HOL" print mode); | changeset | files |
Tue, 17 Aug 1999 22:22:36 +0200 | wenzelm | may_load_file; | changeset | files |
Tue, 17 Aug 1999 22:19:48 +0200 | wenzelm | ThyInfo.may_load_file; | changeset | files |