Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. fixed explicit theory references
Changeset 9188:be3d77922ad1 by paulson:
merged
Changeset 9187:41a432a1e989 by paulson _lp15@cam.ac.uk_:
fixed explicit theory references
The file was modified thys/Green/Derivs.thy (diff)
The file was modified thys/Green/Integrals.thy (diff)