Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)
Summary
- updated to fdb6c5034c24
The file was modified | thys/Green/Green.thy |
The file was modified | thys/Probabilistic_Noninterference/Language_Semantics.thy |
The file was modified | thys/Smooth_Manifolds/Analysis_More.thy |
Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)
Summary
- merged
- tuned
- moved duplicate lemmas up the hierarchy
The file was modified | src/HOL/Analysis/Cartesian_Space.thy |
The file was modified | src/HOL/Analysis/Convex.thy |
The file was modified | src/HOL/Analysis/Determinants.thy |
The file was modified | src/HOL/Analysis/Finite_Cartesian_Product.thy |
The file was modified | src/HOL/Analysis/Linear_Algebra.thy |
The file was modified | src/HOL/Analysis/Elementary_Topology.thy |
The file was modified | src/HOL/Analysis/Linear_Algebra.thy |
The file was modified | src/HOL/Real.thy |