src/HOL/Library/Bit.thy
Wed, 20 May 2009 15:35:12 +0200 haftmann eliminated case input syntax on bits
Thu, 26 Feb 2009 08:44:44 -0800 huffman remove unnecessary simp rules
Thu, 19 Feb 2009 12:26:32 -0800 huffman add rule for minus 1 at type bit
Thu, 19 Feb 2009 12:03:31 -0800 huffman add formalization of a type of integers mod 2 to Library
less more (0) tip