| Tue, 01 Jun 2010 16:17:46 +0200 | blanchet | fix code that used to raise an exception if bound variables were given a finite function type, because the old vs. new bound variable types were confused | changeset | files |
| Tue, 01 Jun 2010 15:53:15 +0200 | blanchet | improved precision of "set" based on an example from Lukas | changeset | files |
| Tue, 01 Jun 2010 15:43:20 +0200 | blanchet | remove debug output | changeset | files |