Skip to content
Failed

Changes

Summary

  1. Deleted some failing, unused material
Changeset 9100:90b4cc550bc3 by paulson _lp15@cam.ac.uk_:
Deleted some failing, unused material
The file was modified thys/Green/Integrals.thy (diff)