| Thu, 11 Oct 2007 19:10:17 +0200 | wenzelm | moved Drule.unvarify to Thm.unvarify (cf. more_thm.ML); | changeset | files |
| Thu, 11 Oct 2007 18:58:34 +0200 | wenzelm | usedir: added HOL_USEDIR_OPTIONS; | changeset | files |
| Thu, 11 Oct 2007 16:51:39 +0200 | paulson | reconstruction bug fix | changeset | files |
| Thu, 11 Oct 2007 16:38:57 +0200 | wenzelm | tuned; | changeset | files |
| Thu, 11 Oct 2007 16:38:42 +0200 | wenzelm | replaced Sign.add_consts_i by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 16:05:56 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | changeset | files |