2005-09-20 wenzelm [Tue, 20 Sep 2005 21:48:37 +0200] rev 17532
more contributions;
CONTRIBUTORS

2005-09-20 wenzelm [Tue, 20 Sep 2005 21:39:00 +0200] rev 17531
tuned headers;
lib/texinputs/isabelle.sty lib/texinputs/isabellesym.sty lib/texinputs/pdfsetup.sty

2005-09-20 wenzelm [Tue, 20 Sep 2005 21:34:20 +0200] rev 17530
tuned header;
lib/texinputs/draft.tex

2005-09-20 wenzelm [Tue, 20 Sep 2005 21:09:41 +0200] rev 17529
use "ML-Systems/smlnj-basis-compat.ML" *after* Interrupt;
src/Pure/ML-Systems/smlnj.ML

2005-09-20 wenzelm [Tue, 20 Sep 2005 20:16:55 +0200] rev 17528
fixed proof script of lemma Cond_sound (Why did it stop working anyway?);
src/HOL/HoareParallel/RG_Hoare.thy

2005-09-20 webertj [Tue, 20 Sep 2005 19:38:35 +0200] rev 17527
bugfix in "zchaff_with_proofs"
src/HOL/Tools/sat_solver.ML

2005-09-20 paulson [Tue, 20 Sep 2005 18:47:42 +0200] rev 17526
fixed recursive-looking declaration
src/Pure/General/pretty.ML

2005-09-20 paulson [Tue, 20 Sep 2005 18:43:39 +0200] rev 17525
tidying, and support for axclass/classrel clauses
src/HOL/Tools/ATP/AtpCommunication.ML src/HOL/Tools/ATP/res_clasimpset.ML src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/res_atp.ML src/HOL/Tools/res_clause.ML src/HOL/Tools/res_lib.ML src/HOL/Tools/res_types_sorts.ML

2005-09-20 paulson [Tue, 20 Sep 2005 18:42:56 +0200] rev 17524
fixed syntax for sml/nj
src/Provers/Arith/fast_lin_arith.ML

2005-09-20 webertj [Tue, 20 Sep 2005 17:01:43 +0200] rev 17523
undone the previous change: show_hyps not supported anymore
src/Pure/proof_general.ML