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 |
Tue, 21 Aug 2007 02:15:13 +0200 | huffman | move scast/ucast stuff to its own subsection | file | diff | annotate |
Tue, 21 Aug 2007 01:07:05 +0200 | huffman | move shifting-related constant definitions from WordDefinition to WordShift | file | diff | annotate |
Mon, 20 Aug 2007 22:48:24 +0200 | huffman | minimize imports | file | diff | annotate |
Mon, 20 Aug 2007 19:51:01 +0200 | huffman | use overloaded bitwise operators at type int | 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 |