Diffusion Isabelle 67e77f1e6d7b

added special syntax for FSet.Ball and FSet.Bex
67e77f1e6d7b
Actions

Tags

None

Subscribers

None

Description

added special syntax for FSet.Ball and FSet.Bex

Details

Provenance

Authored on

Parents

rISABELLE804a41d08b84: tuned proof

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rISABELLE67e77f1e6d7b: added special syntax for FSet.Ball and FSet.Bex.Mar 28 2024, 9:41 AM

desharna mentioned this in rAFP424dc98e93ad: adapted to Isabelle/67e77f1e6d7b.Apr 2 2024, 4:34 PM

Changes (1)

Path

Size

src/

HOL/

Library/

rISABELLE67e77f1e6d7b

src/HOL/Library/FSet.thy

Loading...