Diffusion afp-devel 0f4372eb2943

update to isabelle@fd8e1bbc0686
0f4372eb2943
Actions

Tags

None

Subscribers

None

Description

update to isabelle@fd8e1bbc0686

Details

Provenance

Authored on

Parents

rAFPf36747144cca: merge from afp-2022

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP0f4372eb2943: update to isabelle@fd8e1bbc0686.Aug 16 2023, 11:42 AM

Changes (6)

Path

Size

thys/

Polygonal_Number_Theorem/

Polygonal_Number_Theorem_Cauchy.thy

Polygonal_Number_Theorem_Legendre.thy

Quantales_Converse/

Modal_Quantale.thy

Quantale_Converse.thy

rAFP0f4372eb2943

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Cauchy.thy

Loading...

thys/Polygonal_Number_Theorem/Polygonal_Number_Theorem_Legendre.thy

Loading...

thys/Polygonal_Number_Theorem/ROOT

Loading...

thys/Quantales_Converse/Modal_Quantale.thy

Loading...

thys/Quantales_Converse/Quantale_Converse.thy

Loading...

thys/Quantales_Converse/ROOT

Loading...