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