Tue, 03 May 2005 02:45:55 +0200 | dixon | lucas - improved interface to isand.ML and cleaned up clean-unification code, and added some better comments. | changeset | files |
Tue, 03 May 2005 02:44:10 +0200 | dixon | lucas - added dest_TVar and dest_TFree. | changeset | files |
Mon, 02 May 2005 21:07:21 +0200 | schirmer | Removed nodup_vars avoiding hack | changeset | files |