| Mon, 20 Aug 2007 23:41:35 +0200 | wenzelm | tuned CRITICAL sections; | changeset | files |
| Mon, 20 Aug 2007 23:35:51 +0200 | huffman | remove redundant lemma int_number_of | changeset | files |
| Mon, 20 Aug 2007 23:00:17 +0200 | huffman | AC rules for bitwise logical operators no longer declared simp | changeset | files |
| Mon, 20 Aug 2007 22:57:50 +0200 | huffman | move bit simps from BinOperations to BitSyntax | changeset | files |