HomeIsabelle/Phabricator
Diffusion afp-devel 367cebefeee8

New entry: Ordinal_Partitions
367cebefeee8
Actions

Description

New entry: Ordinal_Partitions

Details

Provenance
pruvistoAuthored on
Parents
rAFP6e56f286a19f: sitegen for Amicable_Numbers
Branches
Unknown
Tags
Unknown

Changes (11)

PathSize

rAFP367cebefeee8

View Options

thys/Ordinal_Partitions/Erdos_Milner.thy

Loading...
View Options

thys/Ordinal_Partitions/Library_Additions.thy

Loading...
View Options

thys/Ordinal_Partitions/Omega_Omega.thy

Loading...
View Options

thys/Ordinal_Partitions/Partitions.thy

Loading...
View Options

thys/Ordinal_Partitions/ROOT

Loading...
View Options

thys/Ordinal_Partitions/document/root.bib

Loading...
View Options

thys/Ordinal_Partitions/document/root.tex

Loading...
View Options

thys/ROOTS

Loading...