| Wed, 05 Dec 2001 03:07:44 +0100 | wenzelm | tuned declarations; | file | diff | annotate |
| Mon, 26 Nov 2001 18:33:57 +0100 | wenzelm | tuned; | file | diff | annotate |
| Sat, 03 Nov 2001 01:33:54 +0100 | wenzelm | tuned; | file | diff | annotate |
| Wed, 29 Aug 2001 21:17:24 +0200 | wenzelm | avoid ML bindings; | file | diff | annotate |
| Wed, 25 Jul 2001 17:58:26 +0200 | paulson | Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice | file | diff | annotate |
| Wed, 25 Jul 2001 13:13:01 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |