| Fri, 10 Feb 2006 02:22:24 +0100 | wenzelm | abbrevs: store in reverted orientation; | changeset | files |
| Fri, 10 Feb 2006 02:22:23 +0100 | wenzelm | use proof_general.ML: setmp quick_and_dirty captures default value; | changeset | files |
| Fri, 10 Feb 2006 02:22:21 +0100 | wenzelm | added Isar/local_syntax.ML; | changeset | files |
| Fri, 10 Feb 2006 02:22:19 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 10 Feb 2006 02:22:16 +0100 | wenzelm | Args/Attrib syntax: Context.generic; | changeset | files |
| Fri, 10 Feb 2006 02:22:13 +0100 | wenzelm | simplified polyml example; | changeset | files |
| Thu, 09 Feb 2006 12:20:31 +0100 | paulson | tidying | changeset | files |
| Thu, 09 Feb 2006 12:20:02 +0100 | paulson | blacklist tweaks | changeset | files |