Skip to content
Jenkins
log in
Dashboard
Benedikt Seidl <benedikt.seidl@tum.de>
My Views
All
isabelle-repo
#35
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Failed
Changes
Summary
Merge
Substantial new material for multivariate analysis. Also removal of some duplicates.
Changeset
62398:a4b68bf18f8d
by
paulson _lp15@cam.ac.uk_
:
Merge
Changeset
62397:5ae24f33d343
by
paulson _lp15@cam.ac.uk_
:
Substantial new material for multivariate analysis. Also removal of some duplicates.
The file was modified
src/HOL/Deriv.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Cauchy_Integral_Thm.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Convex_Euclidean_Space.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Fashoda.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Finite_Cartesian_Product.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Gamma.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Linear_Algebra.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Path_Connected.thy
(diff)
The file was modified
src/HOL/Multivariate_Analysis/Topology_Euclidean_Space.thy
(diff)
The file was modified
src/HOL/Probability/Helly_Selection.thy
(diff)
The file was modified
src/HOL/Probability/Levy.thy
(diff)
The file was modified
src/HOL/Probability/Projective_Limit.thy
(diff)
The file was modified
src/HOL/Real.thy
(diff)
The file was modified
src/HOL/Real_Vector_Spaces.thy
(diff)
The file was modified
src/HOL/Topological_Spaces.thy
(diff)