Skip to content
Success

Changes

Summary

  1. further fix for ad0cefe1e9a9
Changeset 8233:55067292d562 by paulson _lp15@cam.ac.uk_:
further fix for ad0cefe1e9a9
The file was modified thys/Euler_MacLaurin/Euler_MacLaurin.thy (diff)