src/HOL/Real/HahnBanach/ZornLemma.thy
Mon, 21 Feb 2000 14:10:21 +0100 wenzelm tuned footnote;
Wed, 05 Jan 2000 12:02:24 +0100 wenzelm tuned;
Fri, 29 Oct 1999 20:18:34 +0200 wenzelm final update by Gertrud Bauer;
Mon, 25 Oct 1999 19:24:43 +0200 wenzelm update by Gertrud Bauer;
Fri, 22 Oct 1999 20:14:31 +0200 wenzelm HahnBanach update by Gertrud Bauer;
less more (0) tip