1998-02-12 wenzelm [Thu, 12 Feb 1998 17:53:05 +0100] rev 4628
*** empty log message ***
src/HOL/List.ML src/HOL/Power.thy

1998-02-12 wenzelm [Thu, 12 Feb 1998 17:43:53 +0100] rev 4627
Sign.merge vs. Sign.nontriv_merge;
src/Pure/sign.ML src/Pure/theory.ML

1998-02-12 wenzelm [Thu, 12 Feb 1998 16:54:01 +0100] rev 4626
tuned comments;
src/Pure/term.ML

1998-02-12 wenzelm [Thu, 12 Feb 1998 16:43:05 +0100] rev 4625
oops;
src/Provers/classical.ML

1998-02-12 wenzelm [Thu, 12 Feb 1998 16:38:08 +0100] rev 4624
tuned print_cs;
src/Provers/classical.ML

1998-02-12 wenzelm [Thu, 12 Feb 1998 15:43:50 +0100] rev 4623
updated;
src/Provers/README

1998-02-12 wenzelm [Thu, 12 Feb 1998 15:00:04 +0100] rev 4622
tuned;
src/HOL/README.html

1998-02-12 wenzelm [Thu, 12 Feb 1998 14:53:00 +0100] rev 4621
added explicit signature;
improved comments;
src/Pure/library.ML

1998-02-12 wenzelm [Thu, 12 Feb 1998 14:52:17 +0100] rev 4620
improved comments;
src/Pure/README

1998-02-12 wenzelm [Thu, 12 Feb 1998 12:37:53 +0100] rev 4619
fixed add_trrules: intern root;
src/Pure/sign.ML