2004-03-26 webertj [Fri, 26 Mar 2004 12:21:50 +0100] rev 14487
Installed solvers now determined at call time (as opposed to compile time)
src/HOL/Tools/sat_solver.ML

2004-03-26 kleing [Fri, 26 Mar 2004 05:32:00 +0100] rev 14486
symbols in idents
doc-src/TutorialI/Documents/Documents.thy doc-src/TutorialI/Documents/document/Documents.tex

2004-03-25 paulson [Thu, 25 Mar 2004 10:32:21 +0100] rev 14485
new material from Avigad
src/HOL/Finite_Set.ML src/HOL/Finite_Set.thy src/HOL/Infinite_Set.thy src/HOL/Integ/IntDef.thy src/HOL/Integ/Presburger.thy src/HOL/NumberTheory/Euler.thy src/HOL/NumberTheory/Finite2.thy src/HOL/Presburger.thy src/HOL/SetInterval.ML src/HOL/SetInterval.thy

2004-03-25 paulson [Thu, 25 Mar 2004 10:31:25 +0100] rev 14484
new treatment of equivalence classes
src/HOL/Real/RealDef.thy src/HOL/Real/real_arith.ML

2004-03-25 kleing [Thu, 25 Mar 2004 06:44:39 +0100] rev 14483
documented new identifier syntax
doc-src/IsarRef/syntax.tex doc-src/Ref/defining.tex

2004-03-25 kleing [Thu, 25 Mar 2004 05:37:32 +0100] rev 14482
moved MiniML and AVL to archive of formal proofs
src/HOL/IsaMakefile src/HOL/MiniML/Generalize.thy src/HOL/MiniML/Instance.thy src/HOL/MiniML/Maybe.thy src/HOL/MiniML/MiniML.thy src/HOL/MiniML/README.html src/HOL/MiniML/ROOT.ML src/HOL/MiniML/Type.thy src/HOL/MiniML/W.thy src/HOL/ex/AVL.thy src/HOL/ex/ROOT.ML

2004-03-24 paulson [Wed, 24 Mar 2004 10:55:38 +0100] rev 14481
auto update
doc-src/TutorialI/Sets/sets.tex

2004-03-24 paulson [Wed, 24 Mar 2004 10:55:20 +0100] rev 14480
clarified
NEWS

2004-03-24 paulson [Wed, 24 Mar 2004 10:50:29 +0100] rev 14479
streamlined treatment of quotients for the integers
src/HOL/Integ/Bin.thy src/HOL/Integ/IntArith.thy src/HOL/Integ/IntDef.thy src/HOL/Integ/IntDiv.thy src/HOL/Integ/IntDiv_setup.ML src/HOL/Integ/cooper_proof.ML src/HOL/Set.thy src/HOL/Tools/Presburger/cooper_proof.ML

2004-03-19 nipkow [Fri, 19 Mar 2004 11:06:53 +0100] rev 14478
added a few 0 and Suc lemmas
src/HOL/SetInterval.thy