2008-01-10 huffman [Thu, 10 Jan 2008 05:15:43 +0100] rev 25879
new compactness lemmas
src/HOLCF/Cprod.thy src/HOLCF/Up.thy

2008-01-10 huffman [Thu, 10 Jan 2008 05:11:09 +0100] rev 25878
new lemmas max_in_chainI, max_in_chainD
src/HOLCF/Porder.thy

2008-01-09 haftmann [Wed, 09 Jan 2008 20:25:18 +0100] rev 25877
overloading target
doc-src/IsarRef/generic.tex

2008-01-09 nipkow [Wed, 09 Jan 2008 19:24:15 +0100] rev 25876
tuned
src/HOL/ex/NBE.thy

2008-01-09 nipkow [Wed, 09 Jan 2008 19:23:50 +0100] rev 25875
added simp attributes/ proofs fixed
src/HOL/Hyperreal/Ln.thy src/HOL/Hyperreal/NthRoot.thy src/HOL/Hyperreal/Transcendental.thy src/HOL/Library/Parity.thy src/HOL/Real/RealPow.thy src/HOL/Word/Num_Lemmas.thy

2008-01-09 nipkow [Wed, 09 Jan 2008 19:23:36 +0100] rev 25874
added simp attributes
src/HOL/Power.thy

2008-01-09 nipkow [Wed, 09 Jan 2008 10:56:35 +0100] rev 25873
Finally: no more unproven.
src/HOL/ex/NBE.thy

2008-01-09 haftmann [Wed, 09 Jan 2008 08:57:12 +0100] rev 25872
tuned
doc-src/IsarRef/generic.tex doc-src/IsarRef/logics.tex

2008-01-09 haftmann [Wed, 09 Jan 2008 08:33:01 +0100] rev 25871
some more primrec
doc-src/IsarAdvanced/Classes/Thy/Classes.thy doc-src/IsarAdvanced/Classes/Thy/document/Classes.tex doc-src/IsarAdvanced/Classes/classes.tex

2008-01-09 haftmann [Wed, 09 Jan 2008 08:32:09 +0100] rev 25870
tuned
doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy doc-src/IsarAdvanced/Codegen/Thy/document/Codegen.tex doc-src/IsarAdvanced/Codegen/codegen.tex