Summary
- NEWS
- renamed notin_fset to not_fmember
- added author
- merged
- adapted Transfer_Debug from fmember to fempty
- renamed variables
- merged
- fixed lemma name
- redefined FSet.fmember as an abbreviation based on Set.member
- replaced some lemmas' implicit formulas by explicit ones to avoid silent changes
The file was modified | NEWS (diff) |
The file was modified | src/HOL/Library/FSet.thy (diff) |
The file was modified | src/HOL/Library/FSet.thy (diff) |
The file was modified | src/HOL/ex/Transfer_Debug.thy (diff) |
The file was modified | src/HOL/Library/FSet.thy (diff) |
The file was modified | src/HOL/Library/FSet.thy (diff) |
The file was modified | src/HOL/Library/FSet.thy (diff) |
The file was modified | src/HOL/Probability/Fin_Map.thy (diff) |
The file was modified | src/HOL/Library/FSet.thy (diff) |