src/HOL/Real/HahnBanach/document/root.tex
Thu, 29 Aug 2002 16:08:32 +0200 wenzelm *** empty log message ***
Sat, 20 Oct 2001 20:20:21 +0200 wenzelm include document graph;
Sat, 16 Dec 2000 21:41:51 +0100 wenzelm tuned HOL/Real/HahnBanach;
Sat, 19 Aug 2000 12:44:39 +0200 wenzelm tuned;
Mon, 17 Jul 2000 13:59:10 +0200 bauerg 10pt
Sun, 26 Mar 2000 20:17:52 +0200 wenzelm tuned presentation;
Sat, 30 Oct 1999 20:32:04 +0200 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;
Fri, 08 Oct 1999 16:40:27 +0200 wenzelm update from Gertrud;
Tue, 05 Oct 1999 21:20:28 +0200 wenzelm added document;
less more (0) tip