2000-10-06 wenzelm [Fri, 06 Oct 2000 17:35:58 +0200] rev 10168 Isabelle99-1
final tuning;
ANNOUNCE

2000-10-06 wenzelm [Fri, 06 Oct 2000 17:22:15 +0200] rev 10167
tuned;
ANNOUNCE

2000-10-06 wenzelm [Fri, 06 Oct 2000 17:21:46 +0200] rev 10166
tuned;
ANNOUNCE

2000-10-06 wenzelm [Fri, 06 Oct 2000 17:18:35 +0200] rev 10165
tuned;
ANNOUNCE

2000-10-06 wenzelm [Fri, 06 Oct 2000 16:18:30 +0200] rev 10164
* HOL/IMPP: extension of IMP with local variables and mutually
recursive procedures, by David von Oheimb;
NEWS

2000-10-06 wenzelm [Fri, 06 Oct 2000 16:14:03 +0200] rev 10163
updated, improved;
src/HOL/README.html

2000-10-06 wenzelm [Fri, 06 Oct 2000 16:11:53 +0200] rev 10162
tuned;
ANNOUNCE Admin/page/dist-content/docs.content Admin/page/dist-content/packages.content Admin/page/main-content/index.content

2000-10-06 wenzelm [Fri, 06 Oct 2000 15:15:19 +0200] rev 10161
draft for 99-1;
ANNOUNCE

2000-10-06 wenzelm [Fri, 06 Oct 2000 14:19:48 +0200] rev 10160
tuned;
doc-src/IsarRef/conversion.tex doc-src/IsarRef/generic.tex doc-src/IsarRef/intro.tex doc-src/IsarRef/isar-ref.tex doc-src/IsarRef/pure.tex doc-src/IsarRef/syntax.tex doc-src/manual.bib

2000-10-06 nipkow [Fri, 06 Oct 2000 12:31:53 +0200] rev 10159
*** empty log message ***
doc-src/TutorialI/CTL/CTL.thy doc-src/TutorialI/CTL/PDL.thy doc-src/TutorialI/CTL/document/CTL.tex doc-src/TutorialI/CTL/document/PDL.tex