Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. diagnostic output, tweaked numerical values for Lorenz_C1
Changeset 8343:b184d787e95f by immler:
diagnostic output, tweaked numerical values for Lorenz_C1
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_C1.thy (diff)