2004-03-29 kleing [Mon, 29 Mar 2004 08:59:23 +0200] rev 14491
put in sections, reorganized, removed intro to isabelle
doc/Contents

2004-03-29 kleing [Mon, 29 Mar 2004 08:54:26 +0200] rev 14490
allow sections in contents file
Admin/page/Contents Admin/page/bin/mkcontents

2004-03-26 webertj [Fri, 26 Mar 2004 19:58:43 +0100] rev 14489
satsolver=dpll
src/HOL/Main.thy src/HOL/Tools/sat_solver.ML src/HOL/ex/Refute_Examples.thy

2004-03-26 webertj [Fri, 26 Mar 2004 14:53:17 +0100] rev 14488
slightly different SAT solver interface
src/HOL/Tools/refute.ML

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