Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned latex;
  2. spelling;
Changeset 6822:1439a005c3c6 by wenzelm:
tuned latex;
The file was modified thys/Ordinary_Differential_Equations/Ex/Example1.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/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/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/Runge_Kutta.thy (diff)
Changeset 6821:40c8ff0af336 by wenzelm:
spelling;
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)