Diffusion afp-devel 9a1fa4cf1287

tuned signature, according to Isabelle/9d9e7ed01dbb;
9a1fa4cf1287
Actions

Tags

None

Subscribers

None

Description

tuned signature, according to Isabelle/9d9e7ed01dbb;

Details

Provenance

Authored on

Parents

rAFP723c9dd87715: clarified signature, according to Isabelle/9d9e7ed01dbb;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFP9a1fa4cf1287: tuned signature, according to Isabelle/9d9e7ed01dbb;.Sep 6 2021, 11:39 PM

Changes (2)

Path

Size

thys/

Refine_Imperative_HOL/

Sepref_Rules.thy

Sepref_Translate.thy

rAFP9a1fa4cf1287

thys/Refine_Imperative_HOL/Sepref_Rules.thy

Loading...

thys/Refine_Imperative_HOL/Sepref_Translate.thy

Loading...