| Sun, 22 Jul 2007 13:53:47 +0200 | wenzelm | simplified ThyInfo.begin_theory; | changeset | files |
| Sun, 22 Jul 2007 13:53:46 +0200 | wenzelm | load present.ML earlier: no longer depend on thy_info.ML; | changeset | files |
| Sun, 22 Jul 2007 11:58:23 +0200 | wenzelm | chmod u+rw on all files; | changeset | files |
| Sat, 21 Jul 2007 23:25:00 +0200 | wenzelm | tactics: avoid dynamic reference to accidental theory context (via ML_Context.the_context etc.); | changeset | files |