Mon, 10 Dec 2001 20:59:43 +0100 | wenzelm | bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam"; | file | diff | annotate |
Mon, 23 Jul 2001 17:37:29 +0200 | paulson | The final version of Florian Kammueller's proofs | file | diff | annotate |