isabelle: Changelog

wenzelm [Wed, 19 Mar 2014 22:10:33 +0100] rev 56220

more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile);

wenzelm [Wed, 19 Mar 2014 21:59:31 +0100] rev 56219

tuned proofs;

haftmann [Wed, 19 Mar 2014 18:47:22 +0100] rev 56218

elongated INFI and SUPR, to reduced risk of confusing theorems names in the future while still being consistent with INTER and UNION

paulson <lp15@cam.ac.uk> [Wed, 19 Mar 2014 17:06:02 +0000] rev 56217

Some rationalisation of basic lemmas

paulson <lp15@cam.ac.uk> [Wed, 19 Mar 2014 14:55:47 +0000] rev 56216

Merge

paulson <lp15@cam.ac.uk> [Wed, 19 Mar 2014 14:54:45 +0000] rev 56215

New complex analysis material

hoelzl [Wed, 19 Mar 2014 15:35:07 +0100] rev 56214

NEWS

hoelzl [Wed, 19 Mar 2014 15:34:57 +0100] rev 56213

further renaming in Series

haftmann [Tue, 18 Mar 2014 22:11:46 +0100] rev 56212

consolidated theorem names containing INFI and SUPR: have INF and SUP instead uniformly

wenzelm [Tue, 18 Mar 2014 21:02:33 +0100] rev 56211

merged;

isabelle