Diffusion Isabelle 7735645667f0

redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.
7735645667f0
Actions

Tags

None

Subscribers

None

Description

redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set.Bex

Details

Provenance

Authored on

Parents

rISABELLEa6989a7d192a: NEWS

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE7735645667f0: redefined FSet.fBall and FSet.fBex as abbreviations based on Set.Ball and Set..May 26 2023, 3:44 PM

desharna mentioned this in rAFPceef6cd8f2e9: tuned proofs to reduce verification time following Isabelle/7735645667f0.Mar 25 2024, 6:12 PM

Changes (2)

Path

Size

src/

HOL/

Library/

rISABELLE7735645667f0

src/HOL/Library/FSet.thy

Loading...

src/HOL/Library/Finite_Map.thy

Loading...