Diffusion afp-devel 98654eb7841b

adapted to Isabelle/c48fe2be847f
98654eb7841b
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/c48fe2be847f

Details

Provenance

Authored on

Parents

rAFP49df37cde100: fixed proofs and removed duplicates following Isabelle/e65a50f6c2de

Branches

Unknown

Tags

Unknown

Event Timeline

blanchette committed rAFP98654eb7841b: adapted to Isabelle/c48fe2be847f.Dec 20 2022, 6:22 PM

Changes (4)

Path

Size

thys/

Nested_Multisets_Ordinals/

Signed_Multiset.thy

Pi_Transcendental/

Pi_Transcendental_Polynomial_Library.thy

Power_Sum_Polynomials/

Power_Sum_Polynomials_Library.thy

Progress_Tracking/

rAFP98654eb7841b

thys/Nested_Multisets_Ordinals/Signed_Multiset.thy

Loading...

thys/Pi_Transcendental/Pi_Transcendental_Polynomial_Library.thy

Loading...

thys/Power_Sum_Polynomials/Power_Sum_Polynomials_Library.thy

Loading...

thys/Progress_Tracking/Auxiliary.thy

Loading...