Diffusion afp-devel 273de6cb6c51

clarified session directories and theory imports;
273de6cb6c51
Actions

Tags

None

Subscribers

None

Description

clarified session directories and theory imports;

Details

Provenance

Authored on

Parents

rAFP0d068cd791af: clarified session directories and theory imports;

Branches

Unknown

Tags

Unknown

Event Timeline

Changes (6)

Path

Size

thys/

CAVA_Automata/

Collections/

Promela/

PromelaDatastructures.thy

Refine_Imperative_HOL/

IICF/

Impl/

IICF_MS_Array_List.thy

Separation_Logic_Imperative_HOL/

rAFP273de6cb6c51

thys/CAVA_Automata/ROOT

Loading...

thys/Collections/ROOT

Loading...

thys/Promela/PromelaDatastructures.thy

Loading...

thys/Refine_Imperative_HOL/IICF/Impl/IICF_MS_Array_List.thy

Loading...

thys/Refine_Imperative_HOL/Sepref.thy

Loading...

thys/Separation_Logic_Imperative_HOL/ROOT

Loading...