| Fri, 01 Oct 1999 20:41:58 +0200 | wenzelm | fixed no_qed; | changeset | files |
| Fri, 01 Oct 1999 20:40:03 +0200 | wenzelm | added Isar/obtain.ML; | changeset | files |
| Fri, 01 Oct 1999 20:39:40 +0200 | wenzelm | improved 'fix' / Skolem interfaces; | changeset | files |
| Fri, 01 Oct 1999 20:38:50 +0200 | wenzelm | added 'obtain' command; | changeset | files |
| Fri, 01 Oct 1999 20:38:16 +0200 | wenzelm | tuned comment; | changeset | files |
| Fri, 01 Oct 1999 20:38:00 +0200 | wenzelm | added prf_asm_goal; | changeset | files |
| Fri, 01 Oct 1999 20:37:38 +0200 | wenzelm | added atomic_thesis; | changeset | files |
| Fri, 01 Oct 1999 20:36:53 +0200 | wenzelm | The 'obtain' language element -- achieves (eliminated) existential | changeset | files |
| Fri, 01 Oct 1999 18:36:12 +0200 | wenzelm | added undef_global_attribute, undef_local_attribute; | changeset | files |
| Fri, 01 Oct 1999 10:23:13 +0200 | berghofe | - Fixed bug in mk_split_pack which caused application of expansion theorem | changeset | files |
| Thu, 30 Sep 1999 23:37:22 +0200 | wenzelm | fixed 'is' match; | changeset | files |
| Thu, 30 Sep 1999 23:33:41 +0200 | wenzelm | added cert_skolem; | changeset | files |
| Thu, 30 Sep 1999 23:31:55 +0200 | wenzelm | export find_free; | changeset | files |
| 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 |