Diffusion Isabelle b87b14e885af

moved lemma fromm AFP
b87b14e885af
Actions

Tags

None

Subscribers

None

Description

moved lemma fromm AFP

Details

Provenance

Authored on

Parents

rISABELLE33177228aa69: tuned names

Branches

Unknown

Tags

Unknown

Event Timeline

nipkow committed rISABELLEb87b14e885af: moved lemma fromm AFP.Jul 15 2022, 9:18 AM

Changes (2)

Path

Size

src/

HOL/

Set_Interval.thy

rISABELLEb87b14e885af

src/HOL/Finite_Set.thy

Loading...

src/HOL/Set_Interval.thy

Loading...