Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Merged
  2. Performance improvement for examples of Ordinary_Differential_Equations
Changeset 7595:72b4c4c86abd by eberlm _eberlm@in.tum.de_:
Merged
Changeset 7594:9a24321856e6 by eberlm _eberlm@in.tum.de_:
Performance improvement for examples of Ordinary_Differential_Equations
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Initials.thy (diff)