Diffusion afp-devel d717807c8843

prefer single name
d717807c8843
Actions

Tags

None

Subscribers

None

Description

prefer single name

Details

Provenance

florian.haftmann

Authored on

Parents

rAFPd5522275e109: build bit operations on word on library theory on bit operations

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPd717807c8843: prefer single name.Jun 19 2020, 11:46 AM

Changes (4)

Path

Size

thys/

Dependent_SIFUM_Refinement/

Examples/

Flyspeck-Tame/

FaceDivisionProps.thy

Generalized_Counting_Sort/

Conservation.thy

Universal_Turing_Machine/

rAFPd717807c8843

thys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2.thy

Loading...

thys/Flyspeck-Tame/FaceDivisionProps.thy

Loading...

thys/Generalized_Counting_Sort/Conservation.thy

Loading...

thys/Universal_Turing_Machine/UTM.thy

Loading...