Diffusion Isabelle cff477b6d015

Refinement of partitions
cff477b6d015
Actions

Tags

None

Subscribers

None

Description

Refinement of partitions

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rISABELLEe2e2bc1f9570: avoid persistence of static context: instantiation arguments should provide…

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rISABELLEcff477b6d015: Refinement of partitions.Oct 25 2021, 2:56 PM

Changes (1)

Path

Size

src/

HOL/

Library/

Disjoint_Sets.thy

rISABELLEcff477b6d015

src/HOL/Library/Disjoint_Sets.thy

Loading...