2007-12-11 haftmann [Tue, 11 Dec 2007 10:23:09 +0100] rev 25602
moved lemma odd_pos to theory Parity
src/HOL/Hyperreal/NthRoot.thy

2007-12-11 haftmann [Tue, 11 Dec 2007 10:23:08 +0100] rev 25601
joined StarClasses theory with StarDef
src/HOL/Hyperreal/HyperNat.thy src/HOL/Hyperreal/StarClasses.thy src/HOL/Hyperreal/StarDef.thy

2007-12-11 haftmann [Tue, 11 Dec 2007 10:23:05 +0100] rev 25600
joined EvenOdd theory with Parity
src/HOL/Hyperreal/EvenOdd.thy src/HOL/Hyperreal/Transcendental.thy src/HOL/IsaMakefile src/HOL/Library/Parity.thy

2007-12-11 haftmann [Tue, 11 Dec 2007 10:23:03 +0100] rev 25599
tuned
NEWS src/HOL/Complex/Complex.thy

2007-12-10 haftmann [Mon, 10 Dec 2007 11:24:17 +0100] rev 25598
added simple primitive note
src/Pure/pure_thy.ML

2007-12-10 haftmann [Mon, 10 Dec 2007 11:24:15 +0100] rev 25597
moved instance parameter management from class.ML to axclass.ML
src/HOL/Tools/datatype_codegen.ML src/Pure/Isar/class.ML src/Pure/Isar/code.ML src/Pure/Isar/code_unit.ML src/Pure/Isar/theory_target.ML src/Pure/axclass.ML src/Tools/code/code_funcgr.ML src/Tools/code/code_name.ML src/Tools/code/code_package.ML src/Tools/code/code_thingol.ML

2007-12-10 haftmann [Mon, 10 Dec 2007 11:24:14 +0100] rev 25596
tuned header
src/HOL/NumberTheory/IntPrimes.thy src/HOL/Real/HahnBanach/Bounds.thy

2007-12-10 haftmann [Mon, 10 Dec 2007 11:24:12 +0100] rev 25595
switched import from Main to List
src/HOL/Library/Coinductive_List.thy src/HOL/Library/Commutative_Ring.thy src/HOL/Library/Eval_Witness.thy src/HOL/Library/Executable_Set.thy src/HOL/Library/LaTeXsugar.thy src/HOL/Library/List_Prefix.thy src/HOL/Library/List_lexord.thy src/HOL/Library/Multiset.thy src/HOL/Library/Nested_Environment.thy src/HOL/Library/State_Monad.thy src/HOL/Library/Word.thy

2007-12-10 haftmann [Mon, 10 Dec 2007 11:24:09 +0100] rev 25594
switched import from Main to PreList
src/HOL/Library/Binomial.thy src/HOL/Library/Boolean_Algebra.thy src/HOL/Library/Continuity.thy src/HOL/Library/Eval.thy src/HOL/Library/GCD.thy src/HOL/Library/Infinite_Set.thy src/HOL/Library/NatPair.thy src/HOL/Library/Nat_Infinity.thy src/HOL/Library/Parity.thy src/HOL/Library/Product_ord.thy src/HOL/Library/Quotient.thy src/HOL/Library/Ramsey.thy src/HOL/Library/SetsAndFunctions.thy src/HOL/Library/Zorn.thy

2007-12-10 haftmann [Mon, 10 Dec 2007 11:24:08 +0100] rev 25593
explicit import of theory ATP_Linkup
src/HOL/Library/Primes.thy