2006-07-14 wenzelm [Fri, 14 Jul 2006 14:19:48 +0200] rev 20128
keep/transaction: unified execution model (with debugging etc.);
tuned;
src/Pure/Isar/toplevel.ML

2006-07-14 webertj [Fri, 14 Jul 2006 13:51:30 +0200] rev 20127
trivial whitespace changes
src/HOL/Nominal/INSTALL

2006-07-14 wenzelm [Fri, 14 Jul 2006 12:18:33 +0200] rev 20126
simp method: depth_limit;
doc-src/IsarRef/generic.tex

2006-07-13 paulson [Thu, 13 Jul 2006 17:39:56 +0200] rev 20125
"conjecture" must be lower case
src/HOL/Tools/res_hol_clause.ML

2006-07-13 wenzelm [Thu, 13 Jul 2006 13:42:05 +0200] rev 20124
tuned insert_list;
src/Pure/General/table.ML

2006-07-13 wenzelm [Thu, 13 Jul 2006 13:42:02 +0200] rev 20123
Name.context already declares empty names;
tune ins_sorts -- sort assigments should never change later;
src/Pure/variable.ML

2006-07-13 wenzelm [Thu, 13 Jul 2006 13:42:00 +0200] rev 20122
strip_abs_eta: proper use of Name.context;
src/Pure/term.ML

2006-07-13 wenzelm [Thu, 13 Jul 2006 13:41:57 +0200] rev 20121
do not export make_context;
initial context: declare empty names;
variants: no special treatment of empty names;
src/Pure/name.ML

2006-07-13 wenzelm [Thu, 13 Jul 2006 13:41:53 +0200] rev 20120
removed colon from sym category;
doc-src/IsarRef/syntax.tex

2006-07-13 paulson [Thu, 13 Jul 2006 12:31:00 +0200] rev 20119
fix to refl_clause_aux: added occurs check
src/HOL/Tools/meson.ML