Wed, 22 Aug 2007 21:09:21 +0200 | huffman | removed Word/Size.thy; | file | diff | annotate |
Wed, 22 Aug 2007 02:04:30 +0200 | huffman | move bool list stuff from WordDefinition and WordArith to new WordBoolList theory | file | diff | annotate |
Tue, 21 Aug 2007 16:52:47 +0200 | huffman | simplify proof of word_of_int | file | diff | annotate |
Tue, 21 Aug 2007 03:17:03 +0200 | huffman | move udvd, div and mod stuff from WordDefinition to WordArith | file | diff | annotate |
Tue, 21 Aug 2007 03:02:27 +0200 | huffman | move order-related stuff from WordDefinition to WordArith | file | diff | annotate |
Mon, 20 Aug 2007 23:35:51 +0200 | huffman | remove redundant lemma int_number_of | file | diff | annotate |
Mon, 20 Aug 2007 18:11:09 +0200 | huffman | headers for document generation | file | diff | annotate |
Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |