Thu, 13 Jul 2000 23:19:08 +0200 | wenzelm | fix(_i): admit internal variables; | changeset | files |
Thu, 13 Jul 2000 23:18:36 +0200 | wenzelm | use ProofContext.bind_skolem; | changeset | files |
Thu, 13 Jul 2000 23:17:44 +0200 | wenzelm | defs: (overloaded) option; | changeset | files |