| Wed, 19 Jan 1994 14:45:07 +0100 | wenzelm | commented out sig constraint of functor (for debugging purposes); | changeset | files |
| Wed, 19 Jan 1994 14:28:35 +0100 | wenzelm | changed SYNTAX_FILES; | changeset | files |
| Wed, 19 Jan 1994 14:27:46 +0100 | wenzelm | contains remaining parts of xgram.ML and extension.ML; | changeset | files |