| Tue, 15 Jun 2010 08:32:32 +0200 | haftmann | formal introduction of case cong | changeset | files |
| Tue, 15 Jun 2010 16:42:09 +0200 | blanchet | found missing beta-eta-contraction | changeset | files |
| Tue, 15 Jun 2010 16:20:23 +0200 | blanchet | added missing Umlaut | changeset | files |
| Tue, 15 Jun 2010 10:47:06 +0200 | blanchet | make example run a bit faster (might help atbroy102) | changeset | files |
| Tue, 15 Jun 2010 07:42:48 +0200 | haftmann | merged | changeset | files |
| Tue, 15 Jun 2010 07:41:37 +0200 | haftmann | tuned documents | changeset | files |
| Mon, 14 Jun 2010 16:00:47 +0200 | haftmann | teaked naming of superclass projections | changeset | files |
| Mon, 14 Jun 2010 16:00:46 +0200 | haftmann | added lemma funpow_mult | changeset | files |
| Mon, 14 Jun 2010 15:27:11 +0200 | haftmann | extended bib | changeset | files |
| Mon, 14 Jun 2010 15:27:09 +0200 | haftmann | updated generated code | changeset | files |
| Mon, 14 Jun 2010 15:27:09 +0200 | haftmann | added reference | changeset | files |
| Mon, 14 Jun 2010 15:27:08 +0200 | haftmann | subsection on locale interpretation | changeset | files |
| Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | explicitly name and note equations for class eq | changeset | files |
| Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | use various predefined Haskell operations when generating code | changeset | files |
| Mon, 14 Jun 2010 12:01:30 +0200 | haftmann | NEWS | changeset | files |