| Wed, 18 Jun 2008 22:32:03 +0200 | wenzelm | simplified TypeInfer.infer_types; | changeset | files |
| Wed, 18 Jun 2008 22:32:02 +0200 | wenzelm | improved error output -- variant/mark bounds; | changeset | files |
| Wed, 18 Jun 2008 22:32:01 +0200 | wenzelm | load type_infer.ML after Syntax module; | changeset | files |