isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy

2016-05-24	paulson	Merge	file \| diff \| annotate
2016-05-10	paulson	Theory of polyhedra: faces, extreme points, polytopes, and the Krein–Milman	file \| diff \| annotate
2016-02-25	paulson	Conformal_mappings: a big development in complex analysis (+ some lemmas)	file \| diff \| annotate
2016-01-04	eberlm	Added lots of material on infinite sums, convergence radii, harmonic numbers, Gamma function	file \| diff \| annotate
2015-10-26	paulson	new lemmas about topology, etc., for Cauchy integral formula	file \| diff \| annotate
2015-09-24	immler	exchange uniform limit and integral	file \| diff \| annotate
2015-08-20	paulson	The Stone-Weierstrass theorem	file \| diff \| annotate
2015-07-28	immler	added theory Uniform_Limit	file \| diff \| annotate
2015-01-28	hoelzl	moved bcontfun from AFP/Ordinary_Differential_Equations	file \| diff \| annotate
2014-04-02	hoelzl	reorder Complex_Analysis_Basics; rename DD to deriv	file \| diff \| annotate
2014-03-18	immler	removed dependencies on theory Ordered_Euclidean_Space	file \| diff \| annotate
2012-12-14	hoelzl	Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors	file \| diff \| annotate
2011-08-16	huffman	Multivariate_Analysis includes Determinants.thy, but doesn't import it by default	file \| diff \| annotate
2011-08-16	huffman	get Multivariate_Analysis/Determinants.thy compiled and working again	file \| diff \| annotate
2011-03-14	hoelzl	split Extended_Reals into parts for Library and Multivariate_Analysis	file \| diff \| annotate
2011-01-18	hoelzl	Gauge measure removed	file \| diff \| annotate
2010-08-23	hoelzl	Rewrite the Probability theory.	file \| diff \| annotate
2010-06-21	hoelzl	Introduce a type class for euclidean spaces, port most lemmas from real^'n to this type class.	file \| diff \| annotate
2010-04-26	huffman	move proof of Fashoda meet theorem into separate file	file \| diff \| annotate
2010-02-22	hoelzl	Replaced Integration by Multivariate-Analysis/Real_Integration	file \| diff \| annotate
2010-02-17	hoelzl	Renamed Multivariate-Analysis/Integration to Multivariate-Analysis/Integration_MV to avoid name clash with Integration.	file \| diff \| annotate
2010-02-17	himmelma	Added integration to Multivariate-Analysis (upto FTC)	file \| diff \| annotate
2009-11-17	hoelzl	Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light)	file \| diff \| annotate
2009-10-27	wenzelm	tuned initial session setup;	file \| diff \| annotate
2009-10-23	himmelma	distinguished session for multivariate analysis	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom