| Tue, 06 Jan 2004 10:40:15 +0100 | paulson | Ring_and_Field now requires axiom add_left_imp_eq for semirings. | changeset | files |
| Tue, 06 Jan 2004 10:38:14 +0100 | paulson | correction to cterm_instantiate by Christoph Leuth | changeset | files |
| Mon, 05 Jan 2004 23:10:32 +0100 | nipkow | *** empty log message *** | changeset | files |