Sat, 20 Aug 2011 15:19:35 -0700 | huffman | replace lemma realpow_two_diff with new lemma square_diff_square_factored | changeset | files |
Sat, 20 Aug 2011 15:54:26 -0700 | huffman | remove redundant lemma real_0_le_divide_iff in favor or zero_le_divide_iff | changeset | files |
Sat, 20 Aug 2011 13:07:00 -0700 | huffman | move lemma add_eq_0_iff to Groups.thy | changeset | files |