Skip to content
Success

Changes

Summary

  1. more fixes for 16a8991ab398
Changeset 7879:fa64d88c7f06 by paulson _lp15@cam.ac.uk_:
more fixes for 16a8991ab398
The file was modified thys/Catalan_Numbers/Catalan_Numbers.thy (diff)
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/ODE_Auxiliarities.thy (diff)