2008-05-26 haftmann [Mon, 26 May 2008 17:55:35 +0200] rev 26994
proper NoSubsort CLASS_ERROR
src/Pure/sorts.ML

2008-05-26 haftmann [Mon, 26 May 2008 17:55:34 +0200] rev 26993
tuned theorem order
src/HOL/Library/Product_ord.thy

2008-05-24 wenzelm [Sat, 24 May 2008 23:52:35 +0200] rev 26992
inst_subst_tac: match types -- no longer assume that subst rule has exactly one type argument;
misc tuning -- more cterm operations, more qualified names;
src/Provers/hypsubst.ML

2008-05-24 wenzelm [Sat, 24 May 2008 22:19:35 +0200] rev 26991
updated generated file;
doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex

2008-05-24 wenzelm [Sat, 24 May 2008 22:04:57 +0200] rev 26990
added local_theory command wrappers;
src/Pure/Isar/outer_syntax.ML

2008-05-24 wenzelm [Sat, 24 May 2008 22:04:55 +0200] rev 26989
uniform treatment of target, not as config;
src/HOL/Tools/function_package/fundef_common.ML src/HOL/Tools/function_package/fundef_datatype.ML src/HOL/Tools/function_package/fundef_package.ML

2008-05-24 wenzelm [Sat, 24 May 2008 22:04:52 +0200] rev 26988
more uniform treatment of OuterSyntax.local_theory commands;
src/HOL/Tools/inductive_package.ML src/HOL/Tools/inductive_set_package.ML src/HOL/Tools/recdef_package.ML src/Pure/Isar/isar_syn.ML

2008-05-24 wenzelm [Sat, 24 May 2008 22:04:48 +0200] rev 26987
updated generated file;
doc-src/IsarRef/Thy/document/HOL_Specific.tex doc-src/IsarRef/Thy/document/intro.tex

2008-05-24 wenzelm [Sat, 24 May 2008 22:04:46 +0200] rev 26986
invisible comment;
doc-src/IsarRef/Thy/intro.thy

2008-05-24 wenzelm [Sat, 24 May 2008 22:04:44 +0200] rev 26985
function: uniform treatment of target, not as config;
doc-src/IsarRef/Thy/HOL_Specific.thy