| Thu, 11 Oct 2007 16:05:23 +0200 | wenzelm | replaced Sign.add_consts_authentic by Sign.declare_const; | changeset | files |
| Thu, 11 Oct 2007 15:59:31 +0200 | paulson | rationalized redundant code | changeset | files |
| Thu, 11 Oct 2007 15:57:29 +0200 | wenzelm | usage: HOL_USEDIR_OPTIONS; | changeset | files |
| Thu, 11 Oct 2007 10:23:09 +0200 | paulson | failure messages | changeset | files |
| Thu, 11 Oct 2007 00:33:43 +0200 | wenzelm | 'notation': allow structmixfix; | changeset | files |
| Thu, 11 Oct 2007 00:28:32 +0200 | wenzelm | update_modesyntax: may delete 'structure' notation as well; | changeset | files |
| Thu, 11 Oct 2007 00:28:30 +0200 | wenzelm | 'notation': allow 'structure' as well; | changeset | files |