HomeIsabelle/Phabricator
Diffusion afp-devel 962b39db2ea2

New entry Sauer_Shelah_Lemma
962b39db2ea2
Actions

Description

New entry Sauer_Shelah_Lemma

Details

Provenance
paulson <lp15@cam.ac.uk>Authored on
Parents
rAFP744bc08e5559: sitegen for the aforementioned changes
Branches
Unknown
Tags
Unknown

Changes (11)

PathSize

rAFP962b39db2ea2

View Options

thys/ROOTS

Loading...
View Options

thys/Sauer_Shelah_Lemma/Binomial_Lemmas.thy

Loading...
View Options

thys/Sauer_Shelah_Lemma/Card_Lemmas.thy

Loading...
View Options

thys/Sauer_Shelah_Lemma/ROOT

Loading...
View Options

thys/Sauer_Shelah_Lemma/Sauer_Shelah_Lemma.thy

Loading...
View Options

thys/Sauer_Shelah_Lemma/Shattering.thy

Loading...
View Options

thys/Sauer_Shelah_Lemma/document/root.bib

Loading...
View Options

thys/Sauer_Shelah_Lemma/document/root.tex

Loading...