Changes

Summary

isabelle update_cartouches -c -t Affine_Arithmetic Ordinary_Differential_Equations

Changeset 6510:39e0e5ede6be by immler: isabelle update_cartouches -c -t Affine_Arithmetic Ordinary_Differential_Equations
The file was modified	`thys/Affine_Arithmetic/Affine_Approximation.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Affine_Code.thy` (diff)
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/Counterclockwise_2D_Arbitrary.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Counterclockwise_2D_Strict.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Counterclockwise_Vector.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Euclidean_Space_Explicit.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Ex_Affine_Approximation.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Ex_Ineqs.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Ex_Inter.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Executable_Euclidean_Space.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Float_Real.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Intersection.thy` (diff)
The file was modified	`thys/Affine_Arithmetic/Polygon.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy` (diff)