Diffusion afp-devel 17f4fbb45f9c

updated to Isabelle/5ea588440b06
17f4fbb45f9c
Actions

Tags

None

Subscribers

None

Description

updated to Isabelle/5ea588440b06

Details

Provenance

Authored on

Parents

rAFP0f9739670445: adapted to scala-3.1.2;

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP17f4fbb45f9c: updated to Isabelle/5ea588440b06.Jun 27 2022, 10:28 AM

Changes (5)

Path

Size

thys/

Markov_Models/

Classifying_Markov_Chain_States.thy

Ordinal_Partitions/

Library_Additions.thy

Refine_Monadic/

Generic/

RefineG_Recursion.thy

RefineG_While.thy

Refine_Misc.thy

rAFP17f4fbb45f9c

thys/Markov_Models/Classifying_Markov_Chain_States.thy

Loading...

thys/Ordinal_Partitions/Library_Additions.thy

Loading...

thys/Refine_Monadic/Generic/RefineG_Recursion.thy

Loading...

thys/Refine_Monadic/Generic/RefineG_While.thy

Loading...

thys/Refine_Monadic/Refine_Misc.thy

Loading...