Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. merged
  2. fixed proofs
Changeset 9180:9699d4c8365c by immler:
merged
Changeset 9179:b1c6652bbdff by immler:
fixed proofs
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_Approximation.thy (diff)