| 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 |
| Mon, 21 May 2007 19:14:12 +0200 | narboux | search bottom up to get the inner fresh fun | changeset | files |
| Mon, 21 May 2007 19:13:38 +0200 | narboux | add a bottom up search function | changeset | files |
| Mon, 21 May 2007 19:11:42 +0200 | haftmann | tuned | changeset | files |
| Mon, 21 May 2007 19:11:41 +0200 | haftmann | evaluation for integers | changeset | files |
| Mon, 21 May 2007 19:11:40 +0200 | haftmann | added lemma divAlg_div_mof | changeset | files |