Mon, 08 Aug 2011 08:56:58 +0200 | nipkow | removed old expand_fun_eq | file | diff | annotate |
Mon, 02 May 2011 22:31:46 +0200 | wenzelm | eliminated old CVS Ids; | file | diff | annotate |
Sun, 22 Mar 2009 19:36:04 +0100 | nipkow | 1. New cancellation simprocs for common factors in inequations | file | diff | annotate |