HomeIsabelle/Phabricator
Diffusion afp-devel c4f6f33e7466

Correcting thm antiquotations. Turning code comments into text
c4f6f33e7466
Actions

Description

Correcting thm antiquotations. Turning code comments into text

Details

Provenance
sterrafAuthored on
Parents
rAFP7dacd5f58334: Update metadata and root.tex to mention the addition of ZFC_SetCat in early…
Branches
Unknown
Tags
Unknown

Changes (15)

PathSize
thys/
Delta_System_Lemma/
Independence_CH/
Transitive_Models/

rAFPc4f6f33e7466

View Options

thys/Delta_System_Lemma/Cardinal_Library.thy

Loading...
View Options

thys/Delta_System_Lemma/Cofinality.thy

Loading...
View Options

thys/Delta_System_Lemma/ZF_Library.thy

Loading...
View Options

thys/Independence_CH/Cardinal_Preservation.thy

Loading...
View Options

thys/Independence_CH/Demonstrations.thy

Loading...
View Options

thys/Independence_CH/Fm_Definitions.thy

Loading...
View Options

thys/Transitive_Models/Aleph_Relative.thy

Loading...
View Options

thys/Transitive_Models/CardinalArith_Relative.thy

Loading...
View Options

thys/Transitive_Models/Cardinal_AC_Relative.thy

Loading...
View Options

thys/Transitive_Models/Cardinal_Relative.thy

Loading...
View Options

thys/Transitive_Models/Discipline_Base.thy

Loading...
View Options

thys/Transitive_Models/Discipline_Function.thy

Loading...
View Options

thys/Transitive_Models/Lambda_Replacement.thy

Loading...
View Options

thys/Transitive_Models/Recursion_Thms.thy

Loading...
View Options

thys/Transitive_Models/ZF_Library_Relative.thy

Loading...