Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. updated to 'define';
  3. tuned proofs;
Changeset 6827:23285fee7975 by wenzelm:
merged
Changeset 6826:349fbb230819 by wenzelm:
updated to 'define';
The file was modified thys/Ordinary_Differential_Equations/IVP/Flow.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/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/One_Step_Method.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)
Changeset 6825:95fe79fe5d6b by wenzelm:
tuned proofs;
The file was modified thys/Ordinary_Differential_Equations/IVP/Flow.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/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/One_Step_Method.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Numerics/Runge_Kutta.thy (diff)