Wed, 08 Jun 2011 12:30:56 +0100 | Christian Urban | merged | changeset | files |
Wed, 08 Jun 2011 12:30:46 +0100 | Christian Urban | merged | changeset | files |
Wed, 08 Jun 2011 08:44:01 +0100 | Christian Urban | using the option "default" the function package allows one to give an explicit default value | changeset | files |
Wed, 08 Jun 2011 17:52:06 +0900 | Cezary Kaliszyk | Simpler proof of TypeSchemes/substs | changeset | files |