Diffusion afp-devel 80e872e0fe3a

Comments on theories brought from ZF-Constructible. Shortening fm names
80e872e0fe3a
Actions

Tags

None

Subscribers

None

Description

Comments on theories brought from ZF-Constructible. Shortening fm names

Details

Provenance

Authored on

Parents

rAFP5e7974c944c6: adjusted to distribution

Branches

Unknown

Tags

Unknown

Event Timeline

sterraf committed rAFP80e872e0fe3a: Comments on theories brought from ZF-Constructible. Shortening fm names.Sep 26 2022, 9:34 PM

Changes (3)

Path

Size

thys/

Independence_CH/

Replacement_Instances.thy

ZF_Trans_Interpretations.thy

Transitive_Models/

document/

rAFP80e872e0fe3a

thys/Independence_CH/Replacement_Instances.thy

Loading...

thys/Independence_CH/ZF_Trans_Interpretations.thy

Loading...

thys/Transitive_Models/document/root.tex

Loading...