Skip to content
Jenkins
log in
Dashboard
wenzelm
My Views
afp-repo
#287
Changes
Status
Changes
Console Output
View Build Information
Polling Log
Environment Variables
Mercurial Build Data
Embeddable Build Status
Previous Build
Next Build
Success
Changes
Summary
merged
updated to 'define';
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)