Summary
- resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
The file was added | src/HOL/Quotient_Examples/Quotient_FSet.thy |
The file was modified | NEWS (diff) |
The file was modified | src/HOL/ROOT (diff) |
The file was removed | src/HOL/Quotient_Examples/FSet.thy |