Diffusion afp-devel a067d7a7ff67

clarified signature (see Isabelle/2b41b710f6ef);
a067d7a7ff67
Actions

Tags

None

Subscribers

None

Description

clarified signature (see Isabelle/2b41b710f6ef);

Details

Provenance

Authored on

Parents

rAFPd31906039242: reduced redundancy by sharing theories with MFOTL_Monitor;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rAFPa067d7a7ff67: clarified signature (see Isabelle/2b41b710f6ef);.Aug 14 2020, 3:02 PM

Changes (8)

Path

Size

thys/

CakeML_Codegen/

Preproc/

eval_instances.ML

Collections/

ICF/

tools/

Constructor_Funs/

constructor_funs.ML

Dict_Construction/

dict_construction.ML

Lazy_Case/

Refine_Imperative_HOL/

Sepref_Intf_Util.thy

rAFPa067d7a7ff67

thys/CakeML_Codegen/Preproc/embed.ML

Loading...

thys/CakeML_Codegen/Preproc/eval_instances.ML

Loading...

thys/Collections/ICF/tools/ICF_Tools.thy

Loading...

thys/Constructor_Funs/constructor_funs.ML

Loading...

thys/Dict_Construction/class_graph.ML

Loading...

thys/Dict_Construction/dict_construction.ML

Loading...

thys/Lazy_Case/lazy_case.ML

Loading...

thys/Refine_Imperative_HOL/Sepref_Intf_Util.thy

Loading...