src/HOL/Hilbert_Choice_lemmas.ML
Mon, 10 Dec 2001 20:59:43 +0100 wenzelm bounded abstraction now uses syntax "%" / "\<lambda>" instead of "lam";
Wed, 05 Dec 2001 03:07:44 +0100 wenzelm tuned declarations;
Mon, 06 Aug 2001 12:41:21 +0200 paulson tidying and moving the theorem "choice"
Wed, 25 Jul 2001 17:58:26 +0200 paulson Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice
Wed, 25 Jul 2001 13:44:32 +0200 paulson partial restructuring to reduce dependence on Axiom of Choice
less more (0) tip