| 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 |
| Fri, 30 Mar 2012 12:02:23 +0200 | huffman | restate various simp rules for word operations using pred_numeral | file | diff | annotate |
| Tue, 27 Mar 2012 21:58:41 +0200 | huffman | remove unused premises | file | diff | annotate |
| Tue, 27 Mar 2012 21:48:26 +0200 | huffman | mark some duplicate lemmas for deletion | file | diff | annotate |