Diffusion afp-devel 3d11d724cbb4

more specific export_files: omit recent additions ("document", "PIDE", etc.);
3d11d724cbb4
Actions

Tags

None

Subscribers

None

Description

more specific export_files: omit recent additions ("document", "PIDE", etc.);

Details

Provenance

Authored on

Parents

rAFPe2811dc54d05: grouped lemmas

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP3d11d724cbb4: more specific export_files: omit recent additions ("document", "PIDE", etc.);.Jun 5 2021, 11:32 PM

Changes (6)

Path

Size

thys/

Buchi_Complementation/

Diophantine_Eqns_Lin_Hom/

LTL/

LTL_Master_Theorem/

LTL_Normal_Form/

PAC_Checker/

rAFP3d11d724cbb4

thys/Buchi_Complementation/ROOT

Loading...

thys/Diophantine_Eqns_Lin_Hom/ROOT

Loading...

thys/LTL/ROOT

Loading...

thys/LTL_Master_Theorem/ROOT

Loading...

thys/LTL_Normal_Form/ROOT

Loading...

thys/PAC_Checker/ROOT

Loading...