2008-02-26 wenzelm [Tue, 26 Feb 2008 16:10:54 +0100] rev 26144
tuned document;
src/HOL/Library/Primes.thy

2008-02-26 bulwahn [Tue, 26 Feb 2008 11:18:43 +0100] rev 26143
Added useful general lemmas from the work with the HeapMonad
src/HOL/Library/Multiset.thy src/HOL/List.thy src/HOL/Nat.thy src/HOL/Product_Type.thy

2008-02-26 haftmann [Tue, 26 Feb 2008 07:59:59 +0100] rev 26142
some steps towards automated generators
src/HOL/ex/Random.thy

2008-02-26 haftmann [Tue, 26 Feb 2008 07:59:58 +0100] rev 26141
operation collapse
src/HOL/Library/State_Monad.thy

2008-02-26 haftmann [Tue, 26 Feb 2008 07:59:57 +0100] rev 26140
Zero/Suc recursion combinator for type index
src/HOL/Library/Code_Index.thy

2008-02-26 haftmann [Tue, 26 Feb 2008 07:59:56 +0100] rev 26139
added accidental omissions
NEWS

2008-02-25 wenzelm [Mon, 25 Feb 2008 19:48:06 +0100] rev 26138
thm_deps: sort result;
src/Pure/Thy/thm_deps.ML

2008-02-25 wenzelm [Mon, 25 Feb 2008 19:38:48 +0100] rev 26137
tuned msg;
src/Pure/Isar/session.ML

2008-02-25 wenzelm [Mon, 25 Feb 2008 17:57:44 +0100] rev 26136
fixed ChangeLog.gz path;
src/Pure/Isar/session.ML

2008-02-25 wenzelm [Mon, 25 Feb 2008 17:49:43 +0100] rev 26135
fixed document;
src/HOL/Complex/Fundamental_Theorem_Algebra.thy