Diffusion afp-devel fea99b2f42bf

Revision of locale structure
fea99b2f42bf
Actions

Tags

None

Subscribers

None

Description

Revision of locale structure

Details

Provenance

Authored on

Parents

rAFP5d66d61cbd52: Purely markup

Branches

Unknown

Tags

Unknown

Event Timeline

sterraf committed rAFPfea99b2f42bf: Revision of locale structure.Aug 16 2022, 6:35 PM

Changes (15)

Path

Size

thys/

Independence_CH/

Cardinal_Preservation.thy

Choice_Axiom.thy

Definitions_Main.thy

Demonstrations.thy

Forcing_Data.thy

Forcing_Main.thy

Infinity_Axiom.thy

Internal_ZFC_Axioms.thy

Kappa_Closed_Notions.thy

Proper_Extension.thy

Replacement_Instances.thy

Succession_Poset.thy

ZF_Trans_Interpretations.thy

rAFPfea99b2f42bf

thys/Independence_CH/CH.thy

Loading...

thys/Independence_CH/Cardinal_Preservation.thy

Loading...

thys/Independence_CH/Choice_Axiom.thy

Loading...

thys/Independence_CH/Definitions_Main.thy

Loading...

thys/Independence_CH/Demonstrations.thy

Loading...

thys/Independence_CH/Forcing_Data.thy

Loading...

thys/Independence_CH/Forcing_Main.thy

Loading...

thys/Independence_CH/Infinity_Axiom.thy

Loading...

thys/Independence_CH/Internal_ZFC_Axioms.thy

Loading...

thys/Independence_CH/Kappa_Closed_Notions.thy

Loading...

thys/Independence_CH/Not_CH.thy

Loading...

thys/Independence_CH/Proper_Extension.thy

Loading...

thys/Independence_CH/Replacement_Instances.thy

Loading...

thys/Independence_CH/Succession_Poset.thy

Loading...

thys/Independence_CH/ZF_Trans_Interpretations.thy

Loading...