| 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 |