isabelle: Changelog

wenzelm [Mon, 02 Mar 2009 20:31:27 +0100] rev 30205

adapted to lates experimental version; PolyML.Compiler.CPPrintInAlphabeticalOrder false (redundant?);

wenzelm [Mon, 02 Mar 2009 20:29:43 +0100] rev 30204

removed Ids;

haftmann [Mon, 02 Mar 2009 18:50:41 +0100] rev 30203

merged

haftmann [Mon, 02 Mar 2009 16:58:39 +0100] rev 30202

reduced confusion code_funcgr vs. code_wellsorted

haftmann [Mon, 02 Mar 2009 16:58:39 +0100] rev 30201

better markup

nipkow [Mon, 02 Mar 2009 17:26:23 +0100] rev 30200

name fix

nipkow [Mon, 02 Mar 2009 16:54:13 +0100] rev 30199

merged

nipkow [Mon, 02 Mar 2009 16:53:55 +0100] rev 30198

name changes

chaieb [Mon, 02 Mar 2009 12:34:03 +0000] rev 30197

Automated merge with ssh://chaieb@atbroy100.informatik.tu-muenchen.de//home/isabelle-repository/repos/isabelle

chaieb [Mon, 02 Mar 2009 12:33:12 +0000] rev 30196

Moved a few theorems about monotonic sequences from Fundamental_Theorem_Algebra to SEQ.thy

isabelle