| Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | file | diff | annotate |
| Wed, 25 Jul 2001 13:13:01 +0200 | paulson | partial restructuring to reduce dependence on Axiom of Choice | file | diff | annotate |
| Mon, 23 Jul 2001 17:47:49 +0200 | paulson | Final version of Florian Kammueller's examples | file | diff | annotate |