isabelle: File revisions

src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

Wed, 28 Jan 2015 11:17:21 +0100	hoelzl	moved bcontfun from AFP/Ordinary_Differential_Equations	file \| diff \| annotate
Wed, 02 Apr 2014 18:35:02 +0200	hoelzl	reorder Complex_Analysis_Basics; rename DD to deriv	file \| diff \| annotate
Tue, 18 Mar 2014 10:12:58 +0100	immler	removed dependencies on theory Ordered_Euclidean_Space	file \| diff \| annotate
Fri, 14 Dec 2012 15:46:01 +0100	hoelzl	Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors	file \| diff \| annotate
Tue, 16 Aug 2011 13:07:52 -0700	huffman	Multivariate_Analysis includes Determinants.thy, but doesn't import it by default	file \| diff \| annotate
Tue, 16 Aug 2011 07:56:17 -0700	huffman	get Multivariate_Analysis/Determinants.thy compiled and working again	file \| diff \| annotate
Mon, 14 Mar 2011 14:37:47 +0100	hoelzl	split Extended_Reals into parts for Library and Multivariate_Analysis	file \| diff \| annotate
Tue, 18 Jan 2011 21:37:23 +0100	hoelzl	Gauge measure removed	file \| diff \| annotate

isabelle