src/HOL/Hilbert_Choice.thy
Wed, 29 Aug 2001 21:17:24 +0200 wenzelm avoid ML bindings;
Wed, 25 Jul 2001 17:58:26 +0200 paulson Hilbert restructuring: Wellfounded_Relations no longer needs Hilbert_Choice
Wed, 25 Jul 2001 13:13:01 +0200 paulson partial restructuring to reduce dependence on Axiom of Choice
less more (0) tip