Changes

Summary

adapt to renameing HOL-Multivariate_Analysis to HOL-Analysis (Isabelle 6ddb43c6b711)
adapt to merge of measure thoery into HOL-Multivariate_Analysis (Isabelle 44ce6b524ff3)

Changeset 6999:b7ad08c3c371 by hoelzl: adapt to renameing HOL-Multivariate_Analysis to HOL-Analysis (Isabelle 6ddb43c6b711)
The file was modified	`thys/Affine_Arithmetic/Affine_Form.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Counterclockwise.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Euclidean_Space_Explicit.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Executable_Euclidean_Space.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/ROOT` (diff)
The file was modified	`thys/Akra_Bazzi/Master_Theorem.thy` (diff)
The file was modified	`thys/Akra_Bazzi/ROOT` (diff)
The file was modified	`thys/Cartan_FP/Cartan.thy` (diff)
The file was modified	`thys/Cartan_FP/ROOT` (diff)
The file was modified	`thys/Catalan_Numbers/Catalan_Numbers.thy` (diff)
The file was modified	`thys/Catalan_Numbers/ROOT` (diff)
The file was modified	`thys/Cayley_Hamilton/ROOT` (diff)
The file was modified	`thys/Cayley_Hamilton/Square_Matrix.thy` (diff)
The file was modified	`thys/Coinductive/Examples/CCPO_Topology.thy` (diff)
The file was modified	`thys/Coinductive/ROOT` (diff)
The file was modified	`thys/Echelon_Form/ROOT` (diff)
The file was modified	`thys/Echelon_Form/Rings2.thy` (diff)
The file was modified	`thys/Ergodic_Theory/Fekete.thy` (diff)
The file was modified	`thys/Gauss_Jordan/ROOT` (diff)
The file was modified	`thys/Lower_Semicontinuous/Lower_Semicontinuous.thy` (diff)
The file was modified	`thys/Lower_Semicontinuous/README` (diff)
The file was modified	`thys/Lower_Semicontinuous/ROOT` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Lorenz/Initials.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Library/Bounded_Linear_Operator.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Library/MVT_Ex.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Library/Multivariate_Taylor.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/ROOT` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Refinement/Autoref_Misc.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Refinement/GenCF_No_Comp.thy` (diff)
The file was modified	`thys/Perron_Frobenius/Perron_Frobenius.thy` (diff)
The file was modified	`thys/Perron_Frobenius/ROOT` (diff)
The file was modified	`thys/Prime_Harmonic_Series/Prime_Harmonic.thy` (diff)
The file was modified	`thys/Prime_Harmonic_Series/ROOT` (diff)
The file was modified	`thys/Probabilistic_System_Zoo/ROOT` (diff)
The file was modified	`thys/Ptolemys_Theorem/Ptolemys_Theorem.thy` (diff)
The file was modified	`thys/Ptolemys_Theorem/ROOT` (diff)
The file was modified	`thys/QR_Decomposition/ROOT` (diff)
The file was modified	`thys/Rank_Nullity_Theorem/Generalizations.thy` (diff)
The file was modified	`thys/Rank_Nullity_Theorem/Mod_Type.thy` (diff)
The file was modified	`thys/Rank_Nullity_Theorem/ROOT` (diff)
The file was modified	`thys/Tarskis_Geometry/Metric.thy` (diff)
The file was modified	`thys/Tarskis_Geometry/Miscellany.thy` (diff)
The file was modified	`thys/Tarskis_Geometry/ROOT` (diff)
The file was modified	`thys/Triangle/Angles.thy` (diff)
The file was modified	`thys/Triangle/ROOT` (diff)
The file was modified	`thys/Triangle/Triangle.thy` (diff)
The file was modified	`thys/pGCL/Misc.thy` (diff)
The file was modified	`thys/pGCL/ROOT` (diff)
Changeset 6998:b372cd9fdeb9 by hoelzl: adapt to merge of measure thoery into HOL-Multivariate_Analysis (Isabelle 44ce6b524ff3)
The file was modified	`thys/Affine_Arithmetic/Counterclockwise.thy` (diff)
The file was modified	`thys/Akra_Bazzi/Master_Theorem.thy` (diff)
The file was modified	`thys/Catalan_Numbers/Catalan_Numbers.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/IVP/Flow.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Library/Multivariate_Taylor.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy` (diff)