2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:08 +0200] rev 20201
added find_free (from term.ML);
src/Pure/Isar/obtain.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:07 +0200] rev 20200
added is/to_ascii_lower/upper;
tuned alphanum -- needs more work;
src/Pure/General/symbol.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:06 +0200] rev 20199
is_funtype: do not export internal operation;
added add_varnames (cf. add_vars etc.);
removed obsolete (add_)term_varnames;
removed find_free (moved to Isar/obtain.ML);
moved variant_abs to structure Syntax -- this is a syntax operation after all;
src/Pure/term.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:05 +0200] rev 20198
tuned;
src/Pure/name.ML src/Pure/variable.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:04 +0200] rev 20197
use Term.add_vars instead of obsolete term_varnames;
src/HOL/Tools/ATP/reduce_axiomsN.ML src/Pure/meta_simplifier.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:02 +0200] rev 20196
renamed add_term_varnames to Term.add_varnames (cf. Term.add_vars etc.);
src/HOL/Library/EfficientNat.thy src/Pure/Isar/locale.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:01 +0200] rev 20195
tuned ML code;
src/HOL/Bali/AxExample.thy

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:18:00 +0200] rev 20194
renamed Term.variant_abs to Syntax.variant_abs;
src/FOLP/simp.ML src/HOL/Integ/cooper_dec.ML src/HOL/Integ/presburger.ML src/HOL/Integ/qelim.ML src/HOL/Modelcheck/mucke_oracle.ML src/HOL/Real/ferrante_rackoff_proof.ML src/HOL/Tools/Presburger/cooper_dec.ML src/HOL/Tools/Presburger/presburger.ML src/HOL/Tools/Presburger/qelim.ML src/HOLCF/IOA/meta_theory/ioa_package.ML src/Pure/Tools/codegen_package.ML src/Pure/tctical.ML

2006-07-25 wenzelm [Tue, 25 Jul 2006 21:17:58 +0200] rev 20193
Drule.merge_rules;
src/CCL/Wfd.thy src/ZF/Tools/typechk.ML

2006-07-25 haftmann [Tue, 25 Jul 2006 16:51:26 +0200] rev 20192
renamed Name.give_names to Name.names and moved Name.alphanum to Symbol.alphanum
src/HOL/Tools/datatype_codegen.ML src/Pure/General/symbol.ML src/Pure/Tools/class_package.ML src/Pure/Tools/codegen_package.ML src/Pure/Tools/codegen_serializer.ML src/Pure/Tools/codegen_theorems.ML src/Pure/Tools/codegen_thingol.ML src/Pure/name.ML