| Fri, 06 Jan 2006 18:18:12 +0100 | wenzelm | obsolete, reuse mk_rews of local simpset; | changeset | files |
| Fri, 06 Jan 2006 15:18:22 +0100 | wenzelm | Toplevel.theory_to_proof; | changeset | files |
| Fri, 06 Jan 2006 15:18:21 +0100 | wenzelm | transactions now always see quasi-functional intermediate checkpoint; | changeset | files |
| Fri, 06 Jan 2006 15:18:20 +0100 | wenzelm | tuned EqSubst setup; | changeset | files |
| 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 |