src/HOL/Library/Bit.thy
Thu, 19 Feb 2009 12:03:31 -0800 huffman add formalization of a type of integers mod 2 to Library
less more (0) tip