Fri, 10 Nov 2000 19:15:38 +0100 | wenzelm | tuned; | file | diff | annotate |
Tue, 17 Oct 2000 10:20:43 +0200 | paulson | tidying and renaming of contrapos rules | file | diff | annotate |
Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |