src/HOL/Real/HahnBanach/ZornLemma.thy
Sun, 04 Jun 2000 19:39:29 +0200 wenzelm removed explicit terminator (";");
Tue, 22 Feb 2000 21:49:34 +0100 wenzelm "cases" method;
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