Status

Changes

Console Output

View Build Information

Polling Log

Timings

Environment Variables

Mercurial Build Data

Embeddable Build Status

Previous Build

Next Build

Changes

Summary

Restored correct spacing for set comprehensions

Changeset 67307:54e2111d6f0e by paulson _lp15@cam.ac.uk_: Restored correct spacing for set comprehensions
The file was modified	`src/HOL/Set.thy` (diff)