Thu, 04 Feb 1999 18:13:10 +0100 | wenzelm | check_elem: allow ~, except for '~' and '~~'; | changeset | files |
Thu, 04 Feb 1999 18:12:26 +0100 | wenzelm | removed use.ML; | changeset | files |
Thu, 04 Feb 1999 18:12:09 +0100 | wenzelm | removed General/use.ML; | changeset | files |