| Thu, 03 Mar 2005 12:43:01 +0100 | skalberg | Move towards standard functions. | file | diff | annotate |
| Fri, 28 Dec 2001 10:10:55 +0100 | paulson | fixed variable-clash bug in make_elim | file | diff | annotate |
| Wed, 28 Jun 2000 10:56:01 +0200 | paulson | implements a classical version of make_elim | file | diff | annotate |