2005-07-19 wenzelm [Tue, 19 Jul 2005 20:46:59 +0200] rev 16892
more contribs;
CONTRIBUTORS

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:54:32 +0200] rev 16891
tuned;
NEWS

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:28:37 +0200] rev 16890
isatool fixheaders;
src/HOL/Matrix/cplex/Cplex.thy src/HOL/Matrix/cplex/FloatSparseMatrix.thy src/HOL/Real/Float.thy

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:28:27 +0200] rev 16889
with_path;
src/HOL/Matrix/ROOT.ML

2005-07-19 avigad [Tue, 19 Jul 2005 17:24:09 +0200] rev 16888
added list of theorem changes to NEWS
added real_of_int_abs to RealDef.thy
NEWS src/HOL/Real/RealDef.thy

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:21:59 +0200] rev 16887
added defined;
src/Pure/General/table.ML

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:21:58 +0200] rev 16886
simplified union;
src/Pure/General/ord_list.ML

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:21:57 +0200] rev 16885
tuned match, unify;
src/Pure/type.ML

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:21:56 +0200] rev 16884
tuned instantiate (avoid subst_atomic, subst_atomic_types);
Logic.incr_tvar;
src/Pure/thm.ML

2005-07-19 wenzelm [Tue, 19 Jul 2005 17:21:55 +0200] rev 16883
tuned defs interface;
src/Pure/theory.ML