Wed, 19 Jul 2000 12:28:32 +0200 | paulson | renamed // to / (which is what we want anyway) to avoid clash with the new | file | diff | annotate |
Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |