HomeIsabelle/Phabricator
Diffusion afp-devel ebe485ce088a

New AFP entry: Equivalence_Relation_Enumeration
ebe485ce088a
Actions

Description

New AFP entry: Equivalence_Relation_Enumeration

Details

Provenance
nipkowAuthored on
Parents
rAFP0db767b6909e: new entry: LP_Duality
Branches
Unknown
Tags
Unknown

Changes (17)

PathSize
metadata/

rAFPebe485ce088a

View Options

metadata/metadata

Loading...
View Options

thys/Equivalence_Relation_Enumeration/Equivalence_Relation_Enumeration.thy

Loading...
View Options

thys/Equivalence_Relation_Enumeration/ROOT

Loading...
View Options

thys/Equivalence_Relation_Enumeration/document/root.bib

Loading...
View Options

thys/Equivalence_Relation_Enumeration/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...
View Options

web/entries/Card_Equiv_Relations.html

Loading...
View Options

web/entries/Equivalence_Relation_Enumeration.html

Loading...
View Options

web/index.html

Loading...
View Options

web/rss.xml

Loading...
View Options

web/statistics.html

Loading...
View Options

web/topics.html

Loading...