Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Fix for repository version 48cfbccaf3f4 (changed intro/dest status)
Changeset 8078:d7365bac7932 by paulson _lp15@cam.ac.uk_:
Fix for repository version 48cfbccaf3f4 (changed intro/dest status)
The file was modified thys/Ordinary_Differential_Equations/IVP/Flow.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Library/Multivariate_Taylor.thy (diff)