Diffusion afp-devel a265f0b030f3

clarified signature, according to Isabelle/612b7e0d6721;
a265f0b030f3
Actions

Tags

None

Subscribers

None

Description

clarified signature, according to Isabelle/612b7e0d6721;

Details

Provenance

Authored on

Parents

rAFP0608aee85535: tuned signature, according to Isabelle/839a6e284545;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPa265f0b030f3: clarified signature, according to Isabelle/612b7e0d6721;.Sep 9 2021, 12:43 PM

Changes (8)

Path

Size

thys/

Applicative_Lifting/

Collections/

ICF/

tools/

Locale_Code.thy

Forcing/

Synthetic_Definition.thy

IMP2/

lib/

subgoal_focus_some.ML

Nominal2/

nominal_inductive.ML

Refine_Imperative_HOL/

Sepref_Rules.thy

Refine_Monadic/

Refine_Automation.thy

rAFPa265f0b030f3

thys/Applicative_Lifting/applicative.ML

Loading...

thys/Collections/ICF/tools/Locale_Code.thy

Loading...

thys/Forcing/Synthetic_Definition.thy

Loading...

thys/Forcing/utils.ML

Loading...

thys/IMP2/lib/subgoal_focus_some.ML

Loading...

thys/Nominal2/nominal_inductive.ML

Loading...

thys/Refine_Imperative_HOL/Sepref_Rules.thy

Loading...

thys/Refine_Monadic/Refine_Automation.thy

Loading...