Diffusion afp-devel 7924e625acd8

tuned signature, following Isabelle/d030b988d470;
7924e625acd8
Actions

Tags

None

Subscribers

None

Description

tuned signature, following Isabelle/d030b988d470;

Details

Provenance

Authored on

Parents

rAFPbd6c4c7c76ec: generalized gt_rat_sign_change to square-free polynomials

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP7924e625acd8: tuned signature, following Isabelle/d030b988d470;.Aug 12 2021, 2:57 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

rAFP7924e625acd8

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...