| Fri, 10 Feb 2006 02:22:52 +0100 | wenzelm | added mixfix_conflict; | changeset | files |
| Fri, 10 Feb 2006 02:22:50 +0100 | wenzelm | added fixedN, constN; | changeset | files |
| Fri, 10 Feb 2006 02:22:48 +0100 | wenzelm | tuned comment; | changeset | files |
| Fri, 10 Feb 2006 02:22:46 +0100 | wenzelm | tuned comment; | changeset | files |
| Fri, 10 Feb 2006 02:22:43 +0100 | wenzelm | syntax: Context.generic; | changeset | files |
| Fri, 10 Feb 2006 02:22:41 +0100 | wenzelm | Context.generic is canonical state of parsers; | changeset | files |
| Fri, 10 Feb 2006 02:22:39 +0100 | wenzelm | Local syntax depending on theory syntax. | changeset | files |