| Tue, 10 Jan 2012 18:12:55 +0100 | berghofe | pred_subset_eq and SUP_UN_eq2 are now standard pred_set_conv rules | changeset | files |
| Tue, 10 Jan 2012 18:12:03 +0100 | berghofe | pred_subset/equals_eq are now standard pred_set_conv rules | changeset | files |
| Tue, 10 Jan 2012 18:09:09 +0100 | berghofe | Declared pred_equals/subset_eq, sup_Un_eq and SUP_UN_eq(2) as pred_set_conv rules | changeset | files |
| Tue, 10 Jan 2012 17:14:25 +0100 | huffman | merged | changeset | files |
| Tue, 10 Jan 2012 15:43:16 +0100 | huffman | add simp rules for set_bit and msb applied to 0 and 1 | changeset | files |
| Tue, 10 Jan 2012 14:48:42 +0100 | huffman | add simp rule test_bit_1 | changeset | files |
| Tue, 10 Jan 2012 15:48:10 +0100 | bulwahn | proper hiding of facts and constants in AList_Impl and AList theory | changeset | files |
| Tue, 10 Jan 2012 10:48:39 +0100 | bulwahn | NEWS | changeset | files |