| Mon, 05 Oct 2009 17:28:59 +0100 | paulson | merged | changeset | files |
| Mon, 05 Oct 2009 17:27:46 +0100 | paulson | New lemmas connected with the reals and infinite series | changeset | files |
| Mon, 05 Oct 2009 16:41:06 +0100 | paulson | New facts about domain and range in | changeset | files |
| Mon, 05 Oct 2009 16:55:56 +0200 | haftmann | merged | changeset | files |
| Mon, 05 Oct 2009 15:05:10 +0200 | haftmann | experimental de-facto abolishment of distinctness limit | changeset | files |
| Mon, 05 Oct 2009 15:04:45 +0200 | haftmann | tuned handling of type variable names further | changeset | files |
| Mon, 05 Oct 2009 08:36:33 +0200 | haftmann | variables in type schemes must be renamed simultaneously with variables in equations | changeset | files |