| Mon, 09 Jan 2006 00:05:10 +0100 | urbanc | commented the transitivity and narrowing proof | changeset | files |
| Sat, 07 Jan 2006 23:28:01 +0100 | wenzelm | Theory specifications --- with type-inference, but no internal polymorphism. | changeset | files |
| Sat, 07 Jan 2006 23:28:00 +0100 | wenzelm | added infer_type, declared_type; | changeset | files |