Diffusion afp-devel fedf84a4c625

adapted to Isabelle/440546ea20e6;
fedf84a4c625
Actions

Tags

None

Subscribers

None

Description

adapted to Isabelle/440546ea20e6;

Details

Provenance

Authored on

Parents

rAFP4b87cdc4baaf: follow_on changes from Complex_Geometry

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPfedf84a4c625: adapted to Isabelle/440546ea20e6;.Feb 20 2021, 11:26 PM

Changes (4)

Path

Size

thys/

CakeML/

Tools/

cakeml_compiler.ML

Isabelle_Meta_Model/

toy_example/

embedding/

Generator_dynamic_sequential.thy

Network_Security_Policy_Verification/

Lib/

ML_GraphViz.thy

Randomised_Social_Choice/

Automation/

QSOpt_Exact.thy

rAFPfedf84a4c625

thys/CakeML/Tools/cakeml_compiler.ML

Loading...

thys/Isabelle_Meta_Model/toy_example/embedding/Generator_dynamic_sequential.thy

Loading...

thys/Network_Security_Policy_Verification/Lib/ML_GraphViz.thy

Loading...

thys/Randomised_Social_Choice/Automation/QSOpt_Exact.thy

Loading...