Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. optional file name
Changeset 8340:c3ba0fde5bdf by immler:
merged
Changeset 8339:eb57c0bdcfa9 by immler:
optional file name
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_Approximation.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_C0.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_C1.thy (diff)