Diffusion afp-devel 13d7491c6ab9

adapted to antimono
13d7491c6ab9
Actions

Tags

None

Subscribers

None

Description

adapted to antimono

Details

Provenance

Authored on

Parents

rAFP12747ed77d71: merged

Branches

Unknown

Tags

Unknown

Event Timeline

desharna committed rAFP13d7491c6ab9: adapted to antimono.Sep 7 2022, 8:57 AM

Changes (4)

Path

Size

thys/

Buchi_Complementation/

Markov_Models/

Markov_Decision_Process.thy

Stable_Matching/

Types_To_Sets_Extension/

Examples/

SML_Relativization/

Simple_Orders/

SML_Simple_Orders.thy

rAFP13d7491c6ab9

thys/Buchi_Complementation/Ranking.thy

Loading...

thys/Markov_Models/Markov_Decision_Process.thy

Loading...

thys/Stable_Matching/Contracts.thy

Loading...

thys/Types_To_Sets_Extension/Examples/SML_Relativization/Simple_Orders/SML_Simple_Orders.thy

Loading...