Wed, 23 May 2007 02:33:42 +0200 | huffman | remove redundant simproc; remove legacy ML bindings | changeset | files |
Wed, 23 May 2007 01:46:15 +0200 | huffman | remove redundant simproc | changeset | files |
Tue, 22 May 2007 21:32:04 +0200 | huffman | new simp rule Infinitesimal_of_hypreal_iff | changeset | files |