Tue, 22 May 2007 05:07:48 +0200 | huffman | remove obsolete CSeries.thy | changeset | files |
Tue, 22 May 2007 00:38:51 +0200 | huffman | generalized ring_eq_cancel simprocs to class idom; removed redundant field_eq_cancel simprocs | changeset | files |
Mon, 21 May 2007 19:43:33 +0200 | huffman | new field_combine_numerals simproc, which uses fractions as coefficients | changeset | files |