Diffusion afp-devel a969a9029a5c

clarified options, following f2094906e491;
a969a9029a5c
Actions

Tags

None

Subscribers

None

Description

clarified options, following f2094906e491;

Details

Provenance

Authored on

Parents

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

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPa969a9029a5c: clarified options, following f2094906e491;.Sep 27 2022, 1:36 PM

Changes (1)

Path

Size

thys/

Sturm_Sequences/

rAFPa969a9029a5c

thys/Sturm_Sequences/ROOT

Loading...