2006-07-12 haftmann [Wed, 12 Jul 2006 17:00:32 +0200] rev 20108
added chop_prefix
src/Pure/library.ML

2006-07-12 haftmann [Wed, 12 Jul 2006 17:00:31 +0200] rev 20107
class_of_param instead of class_of
src/Pure/axclass.ML

2006-07-12 haftmann [Wed, 12 Jul 2006 17:00:30 +0200] rev 20106
adaptions in class_package
src/HOL/ex/Classpackage.thy src/Pure/Tools/class_package.ML

2006-07-12 haftmann [Wed, 12 Jul 2006 17:00:22 +0200] rev 20105
adaptions in codegen
src/HOL/Datatype.thy src/HOL/Integ/IntDef.thy src/HOL/Integ/NatBin.thy src/HOL/Library/EfficientNat.thy src/HOL/List.thy src/HOL/Product_Type.thy src/HOL/Tools/datatype_codegen.ML src/HOL/Wellfounded_Recursion.thy src/Pure/Tools/ROOT.ML src/Pure/Tools/codegen_package.ML src/Pure/Tools/codegen_serializer.ML src/Pure/Tools/codegen_simtype.ML src/Pure/Tools/codegen_theorems.ML src/Pure/Tools/codegen_thingol.ML src/Pure/Tools/nbe_eval.ML

2006-07-12 wenzelm [Wed, 12 Jul 2006 00:34:54 +0200] rev 20104
variants: special treatment of empty name;
src/Pure/name.ML

2006-07-11 wenzelm [Tue, 11 Jul 2006 23:49:32 +0200] rev 20103
avoid reference to internal skolem;
src/HOL/Bali/AxCompl.thy

2006-07-11 wenzelm [Tue, 11 Jul 2006 23:00:39 +0200] rev 20102
separate names filed (covers fixes/defaults);
src/Pure/variable.ML

2006-07-11 wenzelm [Tue, 11 Jul 2006 23:00:39 +0200] rev 20101
adapted Name.defaults_of;
src/Pure/Isar/proof_context.ML

2006-07-11 wenzelm [Tue, 11 Jul 2006 23:00:37 +0200] rev 20100
removed obsolete xless;
tuned zero_var_indexes;
src/Pure/term.ML

2006-07-11 wenzelm [Tue, 11 Jul 2006 23:00:36 +0200] rev 20099
clean: no special treatment of empty name;
declare, invent: clean arguments;
src/Pure/name.ML