Thu, 30 Sep 1999 23:31:13 +0200 | wenzelm | removed ProofContext.declare_thm; | changeset | files |
Thu, 30 Sep 1999 21:23:08 +0200 | wenzelm | local_def_i: typ option; | changeset | files |
Thu, 30 Sep 1999 21:22:26 +0200 | wenzelm | fix_i, local_def_i: typ option; | changeset | files |