Fri, 20 Aug 2010 17:48:30 +0200 | haftmann | split and enriched theory SetsAndFunctions | changeset | files |
Fri, 20 Aug 2010 17:46:56 +0200 | haftmann | more concise characterization of of_nat operation and class semiring_char_0 | changeset | files |
Fri, 20 Aug 2010 17:46:55 +0200 | haftmann | inj_comp and inj_fun | changeset | files |