| Wed, 27 Aug 2008 11:48:54 +0200 | wenzelm | type Properties.T; | changeset | files |
| Wed, 27 Aug 2008 11:24:35 +0200 | haftmann | proper error message | changeset | files |
| Wed, 27 Aug 2008 11:24:34 +0200 | haftmann | proper handling of type variabl names | changeset | files |
| Wed, 27 Aug 2008 11:24:32 +0200 | haftmann | completing arities after subclass instance | changeset | files |
| Wed, 27 Aug 2008 11:24:31 +0200 | haftmann | untabification | changeset | files |
| Wed, 27 Aug 2008 11:24:29 +0200 | haftmann | tuned code generator setup | changeset | files |
| Wed, 27 Aug 2008 04:47:30 +0200 | urbanc | added equivariance lemmas for ex1 and the | changeset | files |
| Wed, 27 Aug 2008 01:27:33 +0200 | huffman | add lemmas about Rats similar to those about Reals | changeset | files |