Diffusion afp-devel 89ed1831f6cd

New (ZF!) entry Delta_System_Lemma
89ed1831f6cd
Actions

Tags

None

Subscribers

None

Description

New (ZF!) entry Delta_System_Lemma

Details

Provenance

paulson <lp15@cam.ac.uk>

Authored on

Parents

rAFPa80f4e41ac2b: sitegen and metadata

Branches

Unknown

Tags

Unknown

Event Timeline

paulson <lp15@cam.ac.uk> committed rAFP89ed1831f6cd: New (ZF!) entry Delta_System_Lemma.Dec 28 2020, 11:36 AM

Changes (16)

Path

Size

Delta_System_Lemma

Cardinal_Library.thy

Cohen_Posets.thy

Delta_System.thy

header-delta-system.tex

rAFP89ed1831f6cd

thys/Delta_System_Lemma/Cardinal_Library.thy

Loading...

thys/Delta_System_Lemma/Cofinality.thy

Loading...

thys/Delta_System_Lemma/Cohen_Posets.thy

Loading...

thys/Delta_System_Lemma/Delta_System.thy

Loading...

thys/Delta_System_Lemma/Konig.thy

Loading...

thys/Delta_System_Lemma/ROOT

Loading...

thys/Delta_System_Lemma/ZF_Library.thy

Loading...

thys/Delta_System_Lemma/document/header-delta-system.tex

Loading...

thys/Delta_System_Lemma/document/multidef.sty

Loading...

thys/Delta_System_Lemma/document/root.bib

Loading...

thys/Delta_System_Lemma/document/root.bst

Loading...

thys/Delta_System_Lemma/document/root.tex

Loading...

thys/ROOTS

Loading...