Diffusion afp-devel 7149dd204040

clarified signature;
7149dd204040
Actions

Tags

None

Subscribers

None

Description

clarified signature;

Details

Provenance

Authored on

Parents

rAFP87cfcf4d1dec: update cartouches

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (9)

Path

Size

thys/

Applicative_Lifting/

Auto2_HOL/

HOL/

matcher_test.ML

rewrite_test.ML

Auto2_Imperative_HOL/

Imperative/

list_matcher_test.ML

sep_steps_test.ML

Automatic_Refinement/

Tool/

Autoref_Fix_Rel.thy

IMP2/

automation/

IMP2_Var_Abs.thy

Nominal2/

nominal_dt_quot.ML

Refine_Imperative_HOL/

Sepref_Intf_Util.thy

rAFP7149dd204040

thys/Applicative_Lifting/applicative.ML

Loading...

thys/Auto2_HOL/HOL/matcher_test.ML

Loading...

thys/Auto2_HOL/HOL/rewrite_test.ML

Loading...

thys/Auto2_Imperative_HOL/Imperative/list_matcher_test.ML

Loading...

thys/Auto2_Imperative_HOL/Imperative/sep_steps_test.ML

Loading...

thys/Automatic_Refinement/Tool/Autoref_Fix_Rel.thy

Loading...

thys/IMP2/automation/IMP2_Var_Abs.thy

Loading...

thys/Nominal2/nominal_dt_quot.ML

Loading...

thys/Refine_Imperative_HOL/Sepref_Intf_Util.thy

Loading...