Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

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)