2005-09-14 schirmer [Wed, 14 Sep 2005 23:03:52 +0200] rev 17391
removed syntax fun_map_comp;
introduced map_comp;
src/HOL/Map.thy

2005-09-14 chaieb [Wed, 14 Sep 2005 23:00:03 +0200] rev 17390
Unfortunately patched to use IntInf.int instead of just int (SML compatibility)
src/HOL/Integ/reflected_presburger.ML src/HOL/Tools/Presburger/reflected_presburger.ML

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:18:55 +0200] rev 17389
Method comm_ring for proving equalities in commutative rings.
NEWS

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:08:08 +0200] rev 17388
tuned headers etc.;
src/HOL/Commutative_Ring.thy src/HOL/ex/Adder.thy src/HOL/ex/CTL.thy src/HOL/ex/Commutative_RingEx.thy src/HOL/ex/Commutative_Ring_Complete.thy src/HOL/ex/InductiveInvariant.thy src/HOL/ex/InductiveInvariant_examples.thy src/HOL/ex/Intuitionistic.thy src/HOL/ex/Lagrange.thy src/HOL/ex/Locales.thy src/HOL/ex/MonoidGroup.thy src/HOL/ex/PresburgerEx.thy src/HOL/ex/Puzzle.thy src/HOL/ex/Quickcheck_Examples.thy src/HOL/ex/Reflected_Presburger.thy src/HOL/ex/SVC_Oracle.thy src/HOL/ex/StringEx.thy src/HOL/ex/Tuple.thy src/HOL/ex/svc_test.thy

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:04:38 +0200] rev 17387
fixed some ML names;
src/HOL/Tools/comm_ring.ML

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:04:37 +0200] rev 17386
imports Commutative_Ring;
src/HOL/Main.thy

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:04:36 +0200] rev 17385
HOL: method comm_ring;
Proof General: Unicode (UTF-8) support;
NEWS

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:04:35 +0200] rev 17384
tuned;
src/HOL/IsaMakefile src/Pure/Isar/calculation.ML src/Pure/Isar/locale.ML src/Pure/Isar/proof_context.ML

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:04:34 +0200] rev 17383
no longer prefer xemacs, which fails more often than GNU emacs;
etc/settings

2005-09-14 wenzelm [Wed, 14 Sep 2005 22:04:33 +0200] rev 17382
Bernhard Haeupler: comm_ring;
CONTRIBUTORS