wenzelm [Wed, 19 Mar 2014 22:10:33 +0100] rev 57562
more explicit Long_Name operations (NB: analyzing qualifiers is inherently fragile);
wenzelm [Wed, 19 Mar 2014 21:59:31 +0100] rev 57561
tuned proofs;
haftmann [Wed, 19 Mar 2014 18:47:22 +0100] rev 57560
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 57559
Some rationalisation of basic lemmas
paulson <lp15@cam.ac.uk> [Wed, 19 Mar 2014 14:55:47 +0000] rev 57558
Merge
paulson <lp15@cam.ac.uk> [Wed, 19 Mar 2014 14:54:45 +0000] rev 57557
New complex analysis material
hoelzl [Wed, 19 Mar 2014 15:35:07 +0100] rev 57556
NEWS
hoelzl [Wed, 19 Mar 2014 15:34:57 +0100] rev 57555
further renaming in Series
haftmann [Tue, 18 Mar 2014 22:11:46 +0100] rev 57554
consolidated theorem names containing INFI and SUPR: have INF and SUP instead uniformly
wenzelm [Tue, 18 Mar 2014 21:02:33 +0100] rev 57553
merged;