src/HOL/Word/Examples/WordExamples.thy
Tue, 17 Apr 2012 16:21:47 +1000 Thomas Sewell New tactic "word_bitwise" expands word equalities/inequalities into logic.
Tue, 10 Jan 2012 15:43:16 +0100 huffman add simp rules for set_bit and msb applied to 0 and 1
Tue, 10 Jan 2012 14:48:42 +0100 huffman add simp rule test_bit_1
Fri, 30 Dec 2011 16:08:35 +0100 huffman add simp rules for bitwise word operations with 1
Wed, 28 Dec 2011 13:20:46 +0100 huffman add several new tests, most of which don't work yet
Wed, 07 Sep 2011 00:08:09 +0200 wenzelm tuned proofs;
Sat, 23 Apr 2011 13:00:19 +0200 wenzelm modernized specifications;
less more (0) -10 -7 tip