| 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 |
| Wed, 16 Apr 1997 18:14:43 +0200 | wenzelm | Type classes and sorts (isolated from type.ML). | changeset | files |
| Wed, 16 Apr 1997 18:13:12 +0200 | wenzelm | improved; | changeset | files |
| Tue, 15 Apr 1997 10:23:38 +0200 | paulson | Partially converted to call blast_tac | changeset | files |
| Tue, 15 Apr 1997 10:23:17 +0200 | paulson | Addition of blast_tac benchmark | changeset | files |