Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
Changeset 63920:003622e08379 by kuncar:
resolve the name clash of HOL/Library/FSet and HOL/Quotient_Examples/FSet
The file was addedsrc/HOL/Quotient_Examples/Quotient_FSet.thy
The file was modified NEWS (diff)
The file was modified src/HOL/ROOT (diff)
The file was removedsrc/HOL/Quotient_Examples/FSet.thy