2006-07-18 wenzelm [Tue, 18 Jul 2006 20:01:44 +0200] rev 20148
added declare_term_names;
tuned;
src/Pure/term.ML

2006-07-18 wenzelm [Tue, 18 Jul 2006 20:01:42 +0200] rev 20147
fold_proof_terms: canonical arguments;
removed obsolete add_prf_names, add_prf_tfree_names, add_prf_tvar_ixns;
src/Pure/proofterm.ML

2006-07-18 wenzelm [Tue, 18 Jul 2006 20:01:41 +0200] rev 20146
Term.declare_term_names;
src/Pure/Syntax/syn_trans.ML src/Pure/meta_simplifier.ML

2006-07-18 berghofe [Tue, 18 Jul 2006 17:10:22 +0200] rev 20145
Started implementing uniqueness proof for recursion
combinator (still unfinished).
src/HOL/Nominal/nominal_package.ML

2006-07-18 webertj [Tue, 18 Jul 2006 16:15:47 +0200] rev 20144
typo (theorerms) fixed
doc-src/TutorialI/Misc/document/simp.tex

2006-07-18 webertj [Tue, 18 Jul 2006 14:53:27 +0200] rev 20143
typo (theorerms) fixed
doc-src/TutorialI/Misc/simp.thy

2006-07-18 haftmann [Tue, 18 Jul 2006 13:27:59 +0200] rev 20142
AList.join now with 'DUP' exception
src/Pure/General/alist.ML

2006-07-18 haftmann [Tue, 18 Jul 2006 08:48:11 +0200] rev 20141
added Table.map_default
src/Pure/General/table.ML

2006-07-18 wenzelm [Tue, 18 Jul 2006 02:22:38 +0200] rev 20140
removed obsolete ML files;
src/CCL/CCL.ML src/CCL/CCL.thy src/CCL/Fix.ML src/CCL/Fix.thy src/CCL/Gfp.ML src/CCL/Gfp.thy src/CCL/Hered.ML src/CCL/Hered.thy src/CCL/IsaMakefile src/CCL/Lfp.ML src/CCL/Lfp.thy src/CCL/ROOT.ML src/CCL/Set.ML src/CCL/Set.thy src/CCL/Term.ML src/CCL/Term.thy src/CCL/Trancl.ML src/CCL/Trancl.thy src/CCL/Type.ML src/CCL/Type.thy src/CCL/Wfd.thy src/CCL/coinduction.ML src/CCL/equalities.ML src/CCL/eval.ML src/CCL/ex/Flag.ML src/CCL/ex/Flag.thy src/CCL/ex/List.ML src/CCL/ex/List.thy src/CCL/ex/Nat.ML src/CCL/ex/Nat.thy src/CCL/ex/Stream.ML src/CCL/ex/Stream.thy src/CCL/genrec.ML src/CCL/mono.ML src/CCL/subset.ML src/CCL/typecheck.ML src/CCL/wfd.ML

2006-07-17 wenzelm [Mon, 17 Jul 2006 18:42:38 +0200] rev 20139
replaced butlast by Library.split_last;
src/HOL/Tools/ATP/recon_transfer_proof.ML