2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:42 +0100] rev 21187
case_tr: do not intern already internal consts;
src/HOL/Tools/datatype_package.ML

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:41 +0100] rev 21186
updated;
doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:40 +0100] rev 21185
removed isactrlconst;
lib/texinputs/isabelle.sty

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:39 +0100] rev 21184
instantiate: avoid global references;
src/Pure/term_subst.ML

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:37 +0100] rev 21183
added const_syntax_name;
src/Pure/Isar/proof_context.ML src/Pure/sign.ML

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:35 +0100] rev 21182
removed obsolete first_duplicate;
src/Pure/library.ML src/Pure/thm.ML

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:34 +0100] rev 21181
added syntax_name;
src/Pure/consts.ML

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:33 +0100] rev 21180
fixed print_translation for ALL/EX and <, <=, etc.; tuned syntax names;
src/HOL/Orderings.thy

2006-11-05 wenzelm [Sun, 05 Nov 2006 21:44:32 +0100] rev 21179
Sign.const_syntax_name;
src/HOL/HOL.thy

2006-11-05 haftmann [Sun, 05 Nov 2006 09:36:25 +0100] rev 21178
added gfx
doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/examples/integers.ML doc-src/IsarAdvanced/Codegen/codegen_process.eps doc-src/IsarAdvanced/Codegen/codegen_process.pdf