Diffusion afp-devel be5e2dcd71e3

adapted to Isabelle/f0db1e4c89bc;
be5e2dcd71e3
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/f0db1e4c89bc;

Details

Provenance

Authored on

Parents

rAFPec187af6fd41: more accurate process_result;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPbe5e2dcd71e3: adapted to Isabelle/f0db1e4c89bc;.Feb 22 2021, 3:01 PM

Changes (3)

Path

Size

thys/

CakeML/

Tools/

cakeml_compiler.ML

Isabelle_Meta_Model/

toy_example/

embedding/

Generator_dynamic_sequential.thy

Randomised_Social_Choice/

Automation/

QSOpt_Exact.thy

rAFPbe5e2dcd71e3

thys/CakeML/Tools/cakeml_compiler.ML

Loading...

thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic_sequential.thy

Loading...

thys/Randomised_Social_Choice/Automation/QSOpt_Exact.thy

Loading...