2005-09-20 paulson [Tue, 20 Sep 2005 13:17:55 +0200] rev 17502
further tidying; killing of old Watcher loops
src/HOL/Tools/ATP/watcher.ML src/HOL/Tools/res_atp.ML

2005-09-20 nipkow [Tue, 20 Sep 2005 13:17:55 +0200] rev 17501
added a number of lemmas
src/HOL/List.thy

2005-09-20 paulson [Tue, 20 Sep 2005 13:17:32 +0200] rev 17500
uniform handling of interrupts
src/Pure/Isar/toplevel.ML

2005-09-20 chaieb [Tue, 20 Sep 2005 10:36:33 +0200] rev 17499
algebra method added.
src/HOL/Tools/comm_ring.ML

2005-09-20 haftmann [Tue, 20 Sep 2005 08:24:18 +0200] rev 17498
improved eq_fst and eq_snd, removed some deprecated stuff
src/Pure/library.ML

2005-09-20 haftmann [Tue, 20 Sep 2005 08:23:59 +0200] rev 17497
added make and find
src/Pure/General/alist.ML

2005-09-20 haftmann [Tue, 20 Sep 2005 08:21:49 +0200] rev 17496
slight adaptions to library changes
src/CTT/CTT.ML src/CTT/rew.ML src/FOL/intprover.ML src/FOLP/classical.ML src/FOLP/intprover.ML src/HOL/Tools/recdef_package.ML src/Provers/Arith/fast_lin_arith.ML src/Pure/Isar/attrib.ML src/Pure/Isar/context_rules.ML src/Pure/Isar/locale.ML src/Pure/Isar/method.ML src/Pure/Isar/proof_context.ML src/Pure/Isar/term_style.ML src/Pure/Syntax/syntax.ML src/Pure/Thy/present.ML src/Pure/Thy/thy_parse.ML src/Pure/axclass.ML src/Pure/meta_simplifier.ML src/Pure/pure_thy.ML src/Pure/sign.ML src/Pure/tactic.ML src/Pure/theory.ML src/Pure/type.ML src/Pure/type_infer.ML

2005-09-20 haftmann [Tue, 20 Sep 2005 08:20:22 +0200] rev 17495
infix operator precedence
NEWS

2005-09-20 webertj [Tue, 20 Sep 2005 00:16:29 +0200] rev 17494
using curried Inttab.update_new function now
src/HOL/Tools/sat_solver.ML

2005-09-19 webertj [Mon, 19 Sep 2005 23:45:59 +0200] rev 17493
SAT solver interface modified to support proofs of unsatisfiability
src/HOL/Tools/refute.ML src/HOL/Tools/sat_solver.ML