Wed, 16 Apr 1997 18:21:00 +0200 | wenzelm | Sorts.str_of_arity; | changeset | files |
Wed, 16 Apr 1997 18:17:38 +0200 | wenzelm | added sorts.ML, type_infer.ML; | changeset | files |
Wed, 16 Apr 1997 18:16:45 +0200 | wenzelm | tuned type of eq_ix, mem_ix; | changeset | files |