Thu, 23 Aug 2007 18:52:44 +0200 | huffman | import BinInduct; | changeset | files |
Thu, 23 Aug 2007 18:47:08 +0200 | huffman | declare bin_rest_BIT_bin_last [simp] | changeset | files |
Thu, 23 Aug 2007 16:47:16 +0200 | huffman | Word/BinInduct.thy | changeset | files |