| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| Mon, 03 Apr 2017 23:12:16 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Sun, 02 Nov 2014 16:54:06 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Sun, 21 Sep 2014 16:56:11 +0200 | haftmann | explicit separation of signed and unsigned numerals using existing lexical categories num and xnum | file | diff | annotate |
| Tue, 17 Apr 2012 16:21:47 +1000 | Thomas Sewell | New tactic "word_bitwise" expands word equalities/inequalities into logic. | file | diff | annotate |
| Tue, 10 Jan 2012 15:43:16 +0100 | huffman | add simp rules for set_bit and msb applied to 0 and 1 | file | diff | annotate |
| Tue, 10 Jan 2012 14:48:42 +0100 | huffman | add simp rule test_bit_1 | file | diff | annotate |