Diffusion Isabelle 00ffae972fc0

Added / moved some simple set-theoretic lemmas
00ffae972fc0
Actions

Tags

None

Subscribers

None

Description

Added / moved some simple set-theoretic lemmas

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLE42fb56041c11: merged

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLE00ffae972fc0: Added / moved some simple set-theoretic lemmas.Oct 26 2021, 12:15 PM

Changes (3)

Path

Size

src/

HOL/

Equiv_Relations.thy

Library/

Disjoint_Sets.thy

rISABELLE00ffae972fc0

src/HOL/Equiv_Relations.thy

Loading...

src/HOL/Library/Disjoint_Sets.thy

Loading...

src/HOL/Set.thy

Loading...