Diffusion Isabelle 6fe9cdf547c4

renamed variables
6fe9cdf547c4
Actions

Tags

None

Subscribers

None

Description

renamed variables

Details

Provenance

Authored on

Parents

rISABELLEab8310c0e6d9: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE6fe9cdf547c4: renamed variables.May 26 2023, 9:48 AM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE6fe9cdf547c4

src/HOL/Library/FSet.thy

Loading...