| 2004-03-05 | paulson | 2004-03-05 | patch to NumberTheory problems caused by Parity | file | diff | annotate |
| 2004-01-09 | paulson | 2004-01-09 | Defining the type class "ringpower" and deleting superseded theorems for types nat, int, real, hypreal | file | diff | annotate |
| 2003-03-20 | paulson | 2003-03-20 | Gauss's law of quadratic reciprocity by Avigad, Gray and Kramer | file | diff | annotate |