Wed, 16 Apr 1997 18:23:25 +0200 | wenzelm | renamed subclass to classrel; | changeset | files |
Wed, 16 Apr 1997 18:22:10 +0200 | wenzelm | Sorts.str_of_sort; | changeset | files |
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 |
Wed, 16 Apr 1997 18:16:02 +0200 | wenzelm | improved inc, dec; | changeset | files |
Wed, 16 Apr 1997 18:15:32 +0200 | wenzelm | Type inference (isolated from type.ML, completely reimplemented). | changeset | files |