Fri, 07 Jul 2000 21:51:52 +0200 | wenzelm | inter_sort: keep normal! | changeset | files |
Fri, 07 Jul 2000 18:29:34 +0200 | nipkow | Tightened up check of types in constant defs. | changeset | files |
Fri, 07 Jul 2000 18:27:47 +0200 | nipkow | added type classes to constant's type | changeset | files |