2007-06-01 haftmann [Fri, 01 Jun 2007 10:44:28 +0200] rev 23182
dropped superfluous name bindings
src/HOL/Orderings.thy

2007-06-01 haftmann [Fri, 01 Jun 2007 10:44:26 +0200] rev 23181
localized
src/HOL/OrderedGroup.thy

2007-06-01 haftmann [Fri, 01 Jun 2007 10:44:24 +0200] rev 23180
fixed typo
NEWS

2007-05-31 wenzelm [Thu, 31 May 2007 23:47:38 +0200] rev 23179
insert: canonical argument order;
src/Pure/General/heap.ML

2007-05-31 wenzelm [Thu, 31 May 2007 23:47:36 +0200] rev 23178
simplified/unified list fold;
src/Provers/classical.ML src/Pure/General/seq.ML src/Pure/Isar/context_rules.ML src/Pure/Isar/locale.ML src/Pure/Isar/method.ML src/Pure/Proof/extraction.ML src/Pure/Proof/proof_rewrite_rules.ML src/Pure/Proof/reconstruct.ML src/Pure/ProofGeneral/proof_general_pgip.ML src/Pure/Tools/nbe_eval.ML src/Pure/codegen.ML src/Pure/drule.ML src/Pure/meta_simplifier.ML src/Pure/net.ML src/Pure/proofterm.ML src/Pure/search.ML src/Pure/tactic.ML src/Pure/tctical.ML src/Pure/term.ML src/Pure/thm.ML src/Pure/type.ML src/Pure/unify.ML

2007-05-31 huffman [Thu, 31 May 2007 23:02:16 +0200] rev 23177
replace (- 1) with -1
src/HOL/Hyperreal/HTranscendental.thy src/HOL/Hyperreal/MacLaurin.thy src/HOL/Hyperreal/Transcendental.thy

2007-05-31 huffman [Thu, 31 May 2007 22:23:50 +0200] rev 23176
simplify some proofs
src/HOL/Hyperreal/Transcendental.thy

2007-05-31 wenzelm [Thu, 31 May 2007 21:09:14 +0200] rev 23175
tuned headers -- adapted to usual conventions;
src/Tools/IsaPlanner/isand.ML src/Tools/IsaPlanner/rw_inst.ML src/Tools/IsaPlanner/rw_tools.ML src/Tools/IsaPlanner/zipper.ML

2007-05-31 wenzelm [Thu, 31 May 2007 20:55:33 +0200] rev 23174
moved Compute_Oracle from Pure/Tools to Tools;
src/HOL/Matrix/cplex/MatrixLP.thy src/Pure/IsaMakefile 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/Tools/compute.ML src/Tools/Compute_Oracle/am_compiler.ML src/Tools/Compute_Oracle/am_interpreter.ML src/Tools/Compute_Oracle/am_util.ML src/Tools/Compute_Oracle/compute.ML

2007-05-31 wenzelm [Thu, 31 May 2007 20:55:32 +0200] rev 23173
proper theory setup for compute oracle (based on CPure);
simplified oracle setup;
src/Tools/Compute_Oracle/Compute_Oracle.thy