Wed, 15 Jun 2005 14:59:25 +0200 | haftmann | (undone experimental changes) | changeset | files |
Wed, 15 Jun 2005 14:56:26 +0200 | haftmann | subclassing done | changeset | files |
Wed, 15 Jun 2005 13:46:00 +0200 | chaieb | int -> IntInf.int | changeset | files |