src/HOL/Hilbert_Choice.thy
Thu, 17 Jul 2003 15:23:20 +0200 skalberg Added package for definition by specification.
Sun, 22 Dec 2002 15:02:40 +0100 nipkow removed some problems with print translations
Sun, 22 Dec 2002 10:43:43 +0100 nipkow added print translations tha avoid eta contraction for important binders.
Thu, 26 Sep 2002 10:51:29 +0200 paulson Converted Fun to Isar style.
Wed, 05 Dec 2001 03:07:44 +0100 wenzelm tuned declarations;
Mon, 26 Nov 2001 18:33:57 +0100 wenzelm tuned;
Sat, 03 Nov 2001 01:33:54 +0100 wenzelm tuned;
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