2004-07-28 paulson [Wed, 28 Jul 2004 16:25:40 +0200] rev 15081
abs notation
src/HOL/Hyperreal/MacLaurin.thy src/HOL/Hyperreal/Transcendental.thy

2004-07-28 paulson [Wed, 28 Jul 2004 16:25:28 +0200] rev 15080
fixed precedences
src/HOL/Hyperreal/Lim.thy

2004-07-28 paulson [Wed, 28 Jul 2004 10:49:29 +0200] rev 15079
conversion of Hyperreal/MacLaurin_lemmas to Isar script
src/HOL/HOL.thy src/HOL/Hyperreal/Integration.ML src/HOL/Hyperreal/Lim.thy src/HOL/Hyperreal/MacLaurin.thy src/HOL/Hyperreal/MacLaurin_lemmas.ML src/HOL/Hyperreal/Transcendental.thy src/HOL/IsaMakefile

2004-07-27 ballarin [Tue, 27 Jul 2004 15:39:59 +0200] rev 15078
*** empty log message ***
src/Provers/trancl.ML

2004-07-26 paulson [Mon, 26 Jul 2004 17:34:52 +0200] rev 15077
converting Hyperreal/Transcendental to Isar script
src/HOL/Hyperreal/HTranscendental.thy src/HOL/Hyperreal/Lim.thy src/HOL/Hyperreal/MacLaurin_lemmas.ML src/HOL/Hyperreal/Transcendental.ML src/HOL/Hyperreal/Transcendental.thy src/HOL/IsaMakefile src/HOL/Real/RealDef.thy src/HOL/Ring_and_Field.thy

2004-07-26 ballarin [Mon, 26 Jul 2004 15:48:50 +0200] rev 15076
New prover for transitive and reflexive-transitive closure of relations.
- Code in Provers/trancl.ML
- HOL: Simplifier set up to use it as solver
NEWS src/HOL/Algebra/Group.thy src/HOL/Algebra/UnivPoly.thy src/HOL/IsaMakefile src/HOL/MicroJava/Comp/CorrComp.thy src/HOL/MicroJava/J/WellForm.thy src/HOL/Transitive_Closure.thy src/HOL/UNITY/Simple/Reach.thy src/Provers/trancl.ML

2004-07-22 webertj [Thu, 22 Jul 2004 19:33:12 +0200] rev 15075
minor formatting fixes
src/HOL/ex/PresburgerEx.thy

2004-07-22 nipkow [Thu, 22 Jul 2004 17:37:31 +0200] rev 15074
Modified \<Sum> syntax a little.
src/HOL/Finite_Set.thy src/HOL/UNITY/Comp/Alloc.thy src/HOL/UNITY/Comp/AllocBase.thy src/HOL/UNITY/Comp/AllocImpl.thy

2004-07-22 nipkow [Thu, 22 Jul 2004 12:55:36 +0200] rev 15073
*** empty log message ***
NEWS

2004-07-22 paulson [Thu, 22 Jul 2004 10:33:26 +0200] rev 15072
new material courtesy of Norbert Voelker
src/HOL/Library/Multiset.thy src/HOL/Library/Permutation.thy src/HOL/List.thy