| Mon, 11 Jul 2005 19:59:11 +0200 | nipkow | small text mod | changeset | files |
| Mon, 11 Jul 2005 16:42:42 +0200 | quigley | Fixed some problems with the signal handler. | changeset | files |
| Mon, 11 Jul 2005 14:52:55 +0200 | obua | Improved implementation of Defs.is_overloaded. | changeset | files |
| 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 |
| Fri, 08 Jul 2005 11:39:08 +0200 | nipkow | moved gcd to new GCD.thy | changeset | files |