Skip to content
Success

Changes

Summary

  1. fewer auxiliary sessions for Ordinary_Differential_Equations
Changeset 9271:cf739ca5383b by immler:
fewer auxiliary sessions for Ordinary_Differential_Equations
The file was modified metadata/metadata (diff)
The file was modified thys/Differential_Dynamic_Logic/ROOT (diff)
The file was modified thys/Ordinary_Differential_Equations/Numerics/Refine_Reachability_Analysis.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Numerics/Refine_Vector_List.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/ROOT (diff)
The file was modified thys/Ordinary_Differential_Equations/document/root.tex (diff)