| Fri, 10 Feb 2006 02:22:29 +0100 | wenzelm | removed set quick_and_dirty and ThmDeps.enable -- no effect here; | changeset | files |
| 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 |