Summary
- more antiquotations;
- moved a theorem to a sensible place
The file was modified | src/HOL/Tools/record.ML (diff) |
The file was modified | src/HOL/Analysis/Measure_Space.thy (diff) |
The file was modified | src/HOL/Library/Disjoint_Sets.thy (diff) |
The file was modified | src/HOL/Tools/record.ML (diff) |
The file was modified | src/HOL/Analysis/Measure_Space.thy (diff) |
The file was modified | src/HOL/Library/Disjoint_Sets.thy (diff) |