Diffusion afp-devel 4e16e45730a4

fixes for cardinality lemmas
4e16e45730a4
Actions

Tags

None

Subscribers

None

Description

fixes for cardinality lemmas

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFP80d141ead0ab: Graphic rendering of Relational_Method PDF files refined.

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP4e16e45730a4: fixes for cardinality lemmas.Sep 4 2021, 12:23 PM

Changes (5)

Path

Size

thys/

Generalized_Counting_Sort/

Matroids/

Ordinal_Partitions/

Library_Additions.thy

Regular-Sets/

pEquivalence_Checking.thy

SenSocialChoice/

rAFP4e16e45730a4

thys/Generalized_Counting_Sort/Stability.thy

Loading...

thys/Matroids/Matroid.thy

Loading...

thys/Ordinal_Partitions/Library_Additions.thy

Loading...

thys/Regular-Sets/pEquivalence_Checking.thy

Loading...

thys/SenSocialChoice/Arrow.thy

Loading...