| Fri, 06 Jan 2006 15:18:19 +0100 | wenzelm | Pure/Isar: Toplevel.theory_to_proof admits transactions that modify the theory; | changeset | files |
| Thu, 05 Jan 2006 22:30:00 +0100 | wenzelm | hide type datatype node; | changeset | files |
| Thu, 05 Jan 2006 22:29:59 +0100 | wenzelm | tuned print_theorems_theory; | changeset | files |
| Thu, 05 Jan 2006 22:29:58 +0100 | wenzelm | Toplevel.proof_position_of; | changeset | files |
| Thu, 05 Jan 2006 22:29:57 +0100 | wenzelm | store_thm: transfer to current context, i.e. the target theory; | changeset | files |
| Thu, 05 Jan 2006 22:29:55 +0100 | wenzelm | replaced swap by contrapos_np; | changeset | files |
| Thu, 05 Jan 2006 22:29:53 +0100 | wenzelm | added setminus; | changeset | files |