Changes

Summary

metadata and sitegen
added flow and variational equation

Changeset 6509:925e5c55902d by immler: metadata and sitegen
The file was modified	`metadata/metadata` (diff)
The file was modified	`web/entries/Ordinary_Differential_Equations.shtml` (diff)
Changeset 6508:46e3a1a45a84 by immler: added flow and variational equation
The file was added	`thys/Ordinary_Differential_Equations/Ex/Example_Variational_Equation.thy`
The file was added	`thys/Ordinary_Differential_Equations/IVP/Flow.thy`
The file was added	`thys/Ordinary_Differential_Equations/Library/Bounded_Linear_Operator.thy`
The file was added	`thys/Ordinary_Differential_Equations/Library/Linear_ODE.thy`
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Example1.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Example3.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Example_Exp.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Example_Oil.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Example_van_der_Pol.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Ex/Examples.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/IVP/Initial_Value_Problem.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/IVP/Picard_Lindeloef_Qualitative.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/Euler_Affine.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Euler_Affine_Code.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/One_Step_Method.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Optimize_Float.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Optimize_Integer.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/Numerics/Print.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/Ordinary_Differential_Equations.thy` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/ROOT` (diff)
The file was removed	`thys/Ordinary_Differential_Equations/Library/Higher_Derivative.thy`