| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | relaxed preconditions | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | type class for generic division algorithm on numerals | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | added lemma | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | added lemma | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | generalized sort constraint of lemmas | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | explicit conversion from and to bool, and into algebraic structures with 0 and 1 | changeset | files |
| Sun, 18 Aug 2013 15:29:50 +0200 | haftmann | some vague grouping of related theorems, with slight tuning of headings and sorting out of dubious lemmas into separate theory | changeset | files |
| Sun, 18 Aug 2013 13:58:33 +0200 | wenzelm | more markup; | changeset | files |