isabelle: File revisions

src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy

Mon, 07 Mar 2016 15:57:02 +0000	paulson	complex_differentiable -> field_differentiable, etc. (making these theorems also available for type real)	file \| diff \| annotate
Mon, 07 Mar 2016 14:34:45 +0000	paulson	new material to Blochj's theorem, as well as supporting lemmas	file \| diff \| annotate
Thu, 25 Feb 2016 13:58:48 +0000	paulson	Conformal_mappings: a big development in complex analysis (+ some lemmas)	file \| diff \| annotate
Wed, 24 Feb 2016 15:51:01 +0000	paulson	Substantial new material for multivariate analysis. Also removal of some duplicates.	file \| diff \| annotate
Fri, 22 Jan 2016 16:00:03 +0000	paulson	Reorganised a huge proof	file \| diff \| annotate
Mon, 11 Jan 2016 22:14:15 +0000	paulson	nonneg_Reals, nonpos_Reals, Cauchy integral formula, etc.	file \| diff \| annotate
Thu, 07 Jan 2016 17:40:55 +0000	paulson	revisions to limits and derivatives, plus new lemmas	file \| diff \| annotate
Wed, 30 Dec 2015 11:37:29 +0100	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate

isabelle