Fri, 15 Sep 2000 15:30:50 +0200 | paulson | the final renaming: selectI -> someI | file | diff | annotate |
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 |
Thu, 13 Apr 2000 15:16:32 +0200 | paulson | tidied | file | diff | annotate |
Fri, 05 Nov 1999 11:14:26 +0100 | paulson | Algebra and Polynomial theories, by Clemens Ballarin | file | diff | annotate |