Diffusion Isabelle 776f6b85243f

renamed notin_fset to not_fmember
776f6b85243f
Actions

Tags

None

Subscribers

None

Description

renamed notin_fset to not_fmember

Details

Provenance

Authored on

Parents

rISABELLE5c6db3d1b602: added author

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE776f6b85243f: renamed notin_fset to not_fmember.Fri, May 26, 10:34 AM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE776f6b85243f

src/HOL/Library/FSet.thy

Loading...