Tue, 02 Apr 2002 13:47:01 +0200 | nipkow | Started to convert to locales | changeset | files |
Thu, 28 Mar 2002 16:28:12 +0100 | berghofe | mk_const_id now checks for clashes with reserved ML identifiers. | changeset | files |
Wed, 27 Mar 2002 20:45:03 +0100 | kleing | added lbv completeness | changeset | files |
Wed, 27 Mar 2002 20:44:53 +0100 | kleing | finished lbv completeness | changeset | files |
Tue, 26 Mar 2002 21:11:06 +0100 | kleing | merge mono | changeset | files |
Tue, 26 Mar 2002 21:10:33 +0100 | kleing | lub property of ++_f | changeset | files |
Tue, 26 Mar 2002 21:10:16 +0100 | kleing | +_f is associative and commutative | changeset | files |