Fri, 08 Jul 2005 11:57:15 +0200 | berghofe | Some changes to allow mutually recursive, overloaded functions with same name. | changeset | files |
Fri, 08 Jul 2005 11:39:59 +0200 | nipkow | added Davenport reference | changeset | files |
Fri, 08 Jul 2005 11:39:44 +0200 | nipkow | moved Davenport citation to Main, removed author list | changeset | files |