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 |