| Wed, 25 Dec 2013 17:39:06 +0100 | haftmann | prefer more canonical names for lemmas on min/max | file | diff | annotate |
| Mon, 23 Dec 2013 14:24:21 +0100 | haftmann | syntactically tuned | file | diff | annotate |
| Mon, 23 Dec 2013 14:24:20 +0100 | haftmann | prefer plain bool over dedicated type for binary digits | file | diff | annotate |
| Tue, 19 Nov 2013 10:05:53 +0100 | haftmann | eliminiated neg_numeral in favour of - (numeral _) | file | diff | annotate |
| Fri, 01 Nov 2013 18:51:14 +0100 | haftmann | more simplification rules on unary and binary minus | file | diff | annotate |
| Fri, 06 Sep 2013 20:59:36 +0200 | haftmann | slight cleanup of lemma locations; tuned proof | file | diff | annotate |
| 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 | file | diff | annotate |