2008-05-28 haftmann [Wed, 28 May 2008 12:06:49 +0200] rev 27000
new serializer interface
src/Tools/code/code_package.ML src/Tools/code/code_target.ML

2008-05-28 haftmann [Wed, 28 May 2008 11:05:47 +0200] rev 26999
added new code_datatype example
doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex doc-src/IsarAdvanced/Codegen/Thy/examples/nat_binary.ML doc-src/IsarAdvanced/Codegen/Thy/examples/set_list.ML

2008-05-26 haftmann [Mon, 26 May 2008 17:55:39 +0200] rev 26998
proper use of the Pretty module
src/Tools/code/code_target.ML

2008-05-26 haftmann [Mon, 26 May 2008 17:55:38 +0200] rev 26997
permissive wrt. instantiation of class operations
src/Tools/code/code_funcgr.ML

2008-05-26 haftmann [Mon, 26 May 2008 17:55:37 +0200] rev 26996
proper lemma [source] antiquotation
src/Pure/Thy/thy_output.ML

2008-05-26 haftmann [Mon, 26 May 2008 17:55:36 +0200] rev 26995
check for illegal merge of class parameters
src/Pure/Isar/class.ML

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