| Thu, 18 Jul 2002 12:08:45 +0200 | wenzelm | ACe_axioms; | changeset | files |
| Thu, 18 Jul 2002 12:05:51 +0200 | wenzelm | added satisfy_hyps; | changeset | files |
| Thu, 18 Jul 2002 12:05:29 +0200 | wenzelm | quantify LC (conflict with const name of HOL); | changeset | files |