| Thu, 26 Sep 2002 10:51:29 +0200 | paulson | Converted Fun to Isar style. | file | diff | annotate |
| Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | file | diff | annotate |
| Wed, 05 Dec 2001 03:07:44 +0100 | wenzelm | tuned declarations; | file | diff | annotate |
| Mon, 06 Aug 2001 12:41:21 +0200 | paulson | tidying and moving the theorem "choice" | 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:44:32 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |