2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:24 +0200] rev 16842
tuned;
src/HOLCF/adm_tac.ML src/HOLCF/cont_consts.ML src/HOLCF/domain/axioms.ML src/HOLCF/domain/library.ML src/HOLCF/domain/syntax.ML src/HOLCF/domain/theorems.ML src/Pure/Isar/obtain.ML src/Pure/Isar/skip_proof.ML src/Pure/ROOT.ML src/Pure/Tools/ROOT.ML src/Pure/Tools/am_compiler.ML src/Pure/Tools/am_interpreter.ML src/Pure/Tools/am_util.ML src/Pure/library.ML src/Pure/meta_simplifier.ML src/Pure/net.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:23 +0200] rev 16841
use all files in HOLCF.thy;
src/HOLCF/HOLCF.ML src/HOLCF/HOLCF.thy src/HOLCF/ROOT.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:22 +0200] rev 16840
replaced Utils.itlist by fold_rev;
src/HOL/Tools/ATP/recon_parse.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:21 +0200] rev 16839
proper structure;
src/HOL/Tools/ATP/VampireCommunication.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:20 +0200] rev 16838
use existing Inttab;
src/HOL/Matrix/cplex/CplexMatrixConverter.ML src/Pure/defs.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:19 +0200] rev 16837
improved oracle setup;
replace itlist by fold_rev;
replace end_itlist by Utils.end_itlist;
src/HOL/Integ/cooper_dec.ML src/HOL/Tools/Presburger/cooper_dec.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:18 +0200] rev 16836
improved oracle setup;
src/HOL/Integ/Presburger.thy src/HOL/Integ/presburger.ML src/HOL/Presburger.thy src/HOL/Tools/Presburger/presburger.ML src/HOL/ex/SVC_Oracle.ML src/HOL/ex/SVC_Oracle.thy src/HOL/ex/svc_funcs.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:17 +0200] rev 16835
removed not_const -- use Not instead;
add mk_not;
src/HOL/hologic.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:16 +0200] rev 16834
HOL.Not;
tuned;
src/HOL/arith_data.ML

2005-07-14 wenzelm [Thu, 14 Jul 2005 19:28:15 +0200] rev 16833
HOL.Not;
src/HOL/antisym_setup.ML