2005-09-14 wenzelm [Wed, 14 Sep 2005 23:55:49 +0200] rev 17399
@{term [source] ...} in subsections probably more robust;
src/HOL/Map.thy

2005-09-14 wenzelm [Wed, 14 Sep 2005 23:31:09 +0200] rev 17398
tuned;
NEWS

2005-09-14 wenzelm [Wed, 14 Sep 2005 23:15:00 +0200] rev 17397
hide: added option '(open)';
NEWS doc-src/IsarRef/pure.tex src/Pure/Isar/isar_syn.ML

2005-09-14 wenzelm [Wed, 14 Sep 2005 23:14:59 +0200] rev 17396
imports Commutative_Ring instead of Main, since the latter hides our names;
src/HOL/ex/Commutative_Ring_Complete.thy

2005-09-14 wenzelm [Wed, 14 Sep 2005 23:14:58 +0200] rev 17395
hide the rather generic names used in theory Commutative_Ring;
src/HOL/Main.thy

2005-09-14 wenzelm [Wed, 14 Sep 2005 23:14:57 +0200] rev 17394
renamed Guard/NS_Public, Guard/OtwayRees, Guard/Yahalom.thy to avoid clash with plain Auth versions;
src/HOL/Auth/Guard/Guard_NS_Public.thy src/HOL/Auth/Guard/Guard_OtwayRees.thy src/HOL/Auth/Guard/Guard_Yahalom.thy src/HOL/Auth/Guard/NS_Public.thy src/HOL/Auth/Guard/OtwayRees.thy src/HOL/Auth/Guard/Yahalom.thy src/HOL/Auth/ROOT.ML src/HOL/IsaMakefile

2005-09-14 schirmer [Wed, 14 Sep 2005 23:06:02 +0200] rev 17393
... prem19
NEWS

2005-09-14 schirmer [Wed, 14 Sep 2005 23:04:59 +0200] rev 17392
added prem10 - prem19
src/Pure/Isar/term_style.ML

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