2002-01-14 wenzelm [Mon, 14 Jan 2002 17:29:25 +0100] rev 12749
updated;
doc-src/TutorialI/Documents/document/Documents.tex

2002-01-14 wenzelm [Mon, 14 Jan 2002 17:29:12 +0100] rev 12748
tuned;
doc-src/TutorialI/Documents/Documents.thy

2002-01-14 wenzelm [Mon, 14 Jan 2002 17:23:40 +0100] rev 12747
updated;
doc-src/TutorialI/Documents/document/Documents.tex

2002-01-14 wenzelm [Mon, 14 Jan 2002 17:23:35 +0100] rev 12746
tuned;
doc-src/TutorialI/Documents/Documents.thy

2002-01-14 wenzelm [Mon, 14 Jan 2002 16:09:29 +0100] rev 12745
updated;
doc-src/TutorialI/Documents/document/Documents.tex

2002-01-14 wenzelm [Mon, 14 Jan 2002 16:09:25 +0100] rev 12744
tuned;
doc-src/TutorialI/Documents/Documents.thy

2002-01-14 wenzelm [Mon, 14 Jan 2002 14:39:22 +0100] rev 12743
tuned;
doc-src/TutorialI/Documents/Documents.thy doc-src/TutorialI/Documents/document/Documents.tex doc-src/TutorialI/Documents/documents.tex

2002-01-14 oheimb [Mon, 14 Jan 2002 00:16:43 +0100] rev 12742
cosmetics
src/HOL/NanoJava/Equivalence.thy src/HOL/NanoJava/Example.thy

2002-01-13 wenzelm [Sun, 13 Jan 2002 21:14:51 +0100] rev 12741
\<twosuperior> syntax moved to HOL/Numerals;
src/HOL/Real/ex/Sqrt.thy

2002-01-13 wenzelm [Sun, 13 Jan 2002 21:14:31 +0100] rev 12740
tuned;
src/HOL/Real/Complex_Numbers.thy