blanchet [Tue, 15 Jun 2010 16:20:23 +0200] rev 37410
added missing Umlaut
blanchet [Tue, 15 Jun 2010 10:47:06 +0200] rev 37409
make example run a bit faster (might help atbroy102)
haftmann [Tue, 15 Jun 2010 07:42:48 +0200] rev 37408
merged
haftmann [Tue, 15 Jun 2010 07:41:37 +0200] rev 37407
tuned documents
haftmann [Mon, 14 Jun 2010 16:00:47 +0200] rev 37406
teaked naming of superclass projections
haftmann [Mon, 14 Jun 2010 16:00:46 +0200] rev 37405
added lemma funpow_mult
haftmann [Mon, 14 Jun 2010 15:27:11 +0200] rev 37404
extended bib
haftmann [Mon, 14 Jun 2010 15:27:09 +0200] rev 37403
updated generated code
haftmann [Mon, 14 Jun 2010 15:27:09 +0200] rev 37402
added reference
haftmann [Mon, 14 Jun 2010 15:27:08 +0200] rev 37401
subsection on locale interpretation