1999-01-12 wenzelm [Tue, 12 Jan 1999 17:19:13 +0100] rev 6107
tuned msg;
src/Pure/Isar/outer_syntax.ML

1999-01-12 wenzelm [Tue, 12 Jan 1999 17:17:07 +0100] rev 6106
SYNC;
doc-src/Tutorial/tutorial.ind

1999-01-12 wenzelm [Tue, 12 Jan 1999 17:01:28 +0100] rev 6105
fixed again;
lib/scripts/patch-scripts.bash

1999-01-12 wenzelm [Tue, 12 Jan 1999 16:44:31 +0100] rev 6104
improved asm_finish;
src/Pure/Isar/method.ML

1999-01-12 wenzelm [Tue, 12 Jan 1999 16:42:21 +0100] rev 6103
get_tthms witness theorems;
src/HOL/Tools/datatype_package.ML src/HOL/thy_syntax.ML

1999-01-12 nipkow [Tue, 12 Jan 1999 16:00:31 +0100] rev 6102
Split argument structure.
src/Provers/Arith/fast_lin_arith.ML

1999-01-12 nipkow [Tue, 12 Jan 1999 15:59:35 +0100] rev 6101
Restructured Arithmatic
src/HOL/Arith.ML src/HOL/Integ/Bin.ML

1999-01-12 nipkow [Tue, 12 Jan 1999 15:49:13 +0100] rev 6100
*** empty log message ***
doc-src/Tutorial/Recdef/ROOT.ML doc-src/Tutorial/Recdef/Sep1.thy doc-src/Tutorial/Recdef/Sep2.thy doc-src/Tutorial/Recdef/ack doc-src/Tutorial/Recdef/constsgcd doc-src/Tutorial/Recdef/end doc-src/Tutorial/Recdef/exprolog doc-src/Tutorial/Recdef/fib doc-src/Tutorial/Recdef/gcd doc-src/Tutorial/Recdef/last doc-src/Tutorial/Recdef/sep doc-src/Tutorial/Recdef/sep1 doc-src/Tutorial/Recdef/sep1prolog doc-src/Tutorial/Recdef/sep2 doc-src/Tutorial/Recdef/sep2prolog

1999-01-12 nipkow [Tue, 12 Jan 1999 15:48:59 +0100] rev 6099
verbatim
doc-src/Tutorial/IsaMakefile doc-src/Tutorial/fp.tex doc-src/Tutorial/tutorial.ind doc-src/Tutorial/tutorial.tex

1999-01-12 wenzelm [Tue, 12 Jan 1999 15:40:53 +0100] rev 6098
SYNC;
doc-src/Logics/logics.ind