| Thu, 07 Dec 2006 17:58:45 +0100 | wenzelm | added expand_term; | changeset | files |
| Thu, 07 Dec 2006 17:58:44 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 07 Dec 2006 17:58:42 +0100 | wenzelm | Common term syntax declarations. | changeset | files |
| Thu, 07 Dec 2006 17:58:41 +0100 | wenzelm | added Isar/term_syntax.ML; | changeset | files |
| Thu, 07 Dec 2006 17:58:39 +0100 | wenzelm | TermSyntax.notation/abbrevs; | changeset | files |
| Thu, 07 Dec 2006 16:47:36 +0100 | paulson | Removal of theorem tagging, which the ATP linkup no longer requires. | changeset | files |
| Thu, 07 Dec 2006 16:46:14 +0100 | paulson | Removal of theorem tagging, which the ATP linkup no longer requires, | changeset | files |