| Tue, 13 Jan 2009 17:34:12 +0100 | wenzelm | replaced sys_error by plain error; | changeset | files |
| Tue, 13 Jan 2009 14:31:02 +0100 | wenzelm | merged | changeset | files |
| Mon, 12 Jan 2009 23:36:30 -0800 | huffman | change dvd_minus_iff, minus_dvd_iff from [iff] to [simp] (due to problems with Library/Primes.thy) | changeset | files |
| Mon, 12 Jan 2009 22:41:08 -0800 | huffman | convert Fundamental_Theorem_Algebra.thy to use new Polynomial library | changeset | files |