Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. fixed some uses of MVT, etc.
Changeset 9253:c0882468fab2 by paulson _lp15@cam.ac.uk_:
fixed some uses of MVT, etc.
The file was modified thys/Ordinary_Differential_Equations/IVP/Poincare_Map.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Library/MVT_Ex.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff)