Diffusion afp-devel 26c379b50c80

consolidated names and operations
26c379b50c80
Actions

Tags

None

Subscribers

None

Description

consolidated names and operations

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP8b9d76167043: removal of a synonym

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFP26c379b50c80: consolidated names and operations.Oct 12 2020, 9:25 AM

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

rAFP26c379b50c80

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