Mon, 06 Aug 2001 12:41:21 +0200 | paulson | tidying and moving the theorem "choice" | file | diff | annotate |
Fri, 15 Sep 2000 15:30:50 +0200 | paulson | the final renaming: selectI -> someI | file | diff | annotate |
Tue, 05 Sep 2000 21:06:01 +0200 | wenzelm | improved meson setup; | file | diff | annotate |