Diffusion afp-devel b982365e129e

new entry: ZFC_in_HOL by Paulson
b982365e129e
Actions

Tags

None

Subscribers

None

Description

new entry: ZFC_in_HOL by Paulson

Details

Provenance

Rene Thiemann <rene.thiemann@uibk.ac.at>

Authored on

Parents

rAFP9039e7a9d985: regenerate website

Branches

Unknown

Tags

Unknown

Event Timeline

Rene Thiemann <rene.thiemann@uibk.ac.at> committed rAFPb982365e129e: new entry: ZFC_in_HOL by Paulson.Nov 4 2019, 10:25 AM

Changes (12)

Path

Size

ZFC_Cardinals.thy

ZFC_Library.thy

ZFC_Typeclasses.thy

rAFPb982365e129e

thys/ROOTS

Loading...

thys/ZFC_in_HOL/Kirby.thy

Loading...

thys/ZFC_in_HOL/ROOT

Loading...

thys/ZFC_in_HOL/ZFC_Cardinals.thy

Loading...

thys/ZFC_in_HOL/ZFC_Library.thy

Loading...

thys/ZFC_in_HOL/ZFC_Typeclasses.thy

Loading...

thys/ZFC_in_HOL/ZFC_in_HOL.thy

Loading...

thys/ZFC_in_HOL/document/root.bib

Loading...

thys/ZFC_in_HOL/document/root.tex

Loading...