Tue, 20 Nov 2001 20:57:07 +0100 | wenzelm | moved prefixes1, suffixes1 to library.ML; | changeset | files |
Tue, 20 Nov 2001 20:56:42 +0100 | wenzelm | trfuns *after* binder syntax; | changeset | files |
Tue, 20 Nov 2001 20:56:13 +0100 | wenzelm | added prefixes1, suffixes1; | changeset | files |