Sat, 15 Apr 2000 15:00:57 +0200 | wenzelm | plain ASCII; | changeset | files |
Fri, 14 Apr 2000 17:30:22 +0200 | wenzelm | intrn_arity: reject type abbreviations; | changeset | files |
Fri, 14 Apr 2000 17:29:57 +0200 | wenzelm | added is_type_abbr; | changeset | files |