Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. fixed theory
  2. fixed proof
Changeset 8865:26f074817c9a by immler:
fixed theory
The file was modified thys/Taylor_Models/Float_Topology.thy (diff)
Changeset 8864:bec6f3405921 by immler:
fixed proof
The file was modified thys/Ordinary_Differential_Equations/Ex/Lorenz/Lorenz_Approximation.thy (diff)