1997-07-09 wenzelm [Wed, 09 Jul 1997 16:54:17 +0200] rev 3510
improved type checking errors;
src/Pure/type_infer.ML

1997-07-09 wenzelm [Wed, 09 Jul 1997 16:53:53 +0200] rev 3509
removed init_pps;
src/Pure/install_pp.ML

1997-07-09 wenzelm [Wed, 09 Jul 1997 16:52:51 +0200] rev 3508
removed init_database;
src/Pure/ROOT.ML

1997-07-09 nipkow [Wed, 09 Jul 1997 12:57:04 +0200] rev 3507
Improved length = size translation.
src/HOL/List.thy

1997-07-07 paulson [Mon, 07 Jul 1997 10:49:14 +0200] rev 3506
New proofs involving CERTIFICATE VERIFY
src/HOL/Auth/TLS.ML src/HOL/Auth/TLS.thy

1997-07-07 wenzelm [Mon, 07 Jul 1997 09:09:21 +0200] rev 3505
eliminated chmod -w;
src/CCL/IsaMakefile src/CTT/IsaMakefile src/Cube/IsaMakefile src/FOL/IsaMakefile src/FOLP/IsaMakefile src/HOL/IsaMakefile src/HOLCF/IsaMakefile src/LCF/IsaMakefile src/Pure/mk src/Sequents/IsaMakefile src/ZF/IsaMakefile

1997-07-07 wenzelm [Mon, 07 Jul 1997 09:07:08 +0200] rev 3504
-w option;
lib/Tools/usedir

1997-07-07 wenzelm [Mon, 07 Jul 1997 09:06:26 +0200] rev 3503
NOWRITE;
lib/scripts/run-polyml lib/scripts/run-smlnj lib/scripts/run-smlnj-0.93

1997-07-07 wenzelm [Mon, 07 Jul 1997 09:05:16 +0200] rev 3502
added -w option;
bin/isabelle

1997-07-04 paulson [Fri, 04 Jul 1997 17:36:41 +0200] rev 3501
Changed some variables of type msg to lower case (e.g. from NB to nb
src/HOL/Auth/Yahalom.ML src/HOL/Auth/Yahalom2.ML