isabelle: File revisions

src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy

Sat, 02 Jul 2016 20:22:25 +0200	haftmann	simplified definitions of combinatorial functions	file \| diff \| annotate
Wed, 15 Jun 2016 22:19:03 +0200	hoelzl	move open_Collect_eq/less to HOL	file \| diff \| annotate
Fri, 13 May 2016 20:24:10 +0200	wenzelm	eliminated use of empty "assms";	file \| diff \| annotate
Wed, 09 Mar 2016 17:16:08 +0000	paulson	Wenda Li's new material: residue theorem, argument_principle, Rouche_theorem	file \| diff \| annotate
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

isabelle