Diffusion afp-devel a055a33fcb58

next step to phase out ancient numerals
a055a33fcb58
Actions

Tags

None

Subscribers

None

Description

next step to phase out ancient numerals

Details

Provenance

florian.haftmann

Authored on

Parents

rAFP8ff1ebba38da: more small simplifications

Branches

Unknown

Tags

Unknown

Event Timeline

florian.haftmann committed rAFPa055a33fcb58: next step to phase out ancient numerals.May 12 2021, 7:05 PM

Changes (2)

Path

Size

thys/

Planarity_Certificates/

Planarity/

Executable_Permutations.thy

Word_Lib/

Word_Lib_Sumo.thy

rAFPa055a33fcb58

thys/Planarity_Certificates/Planarity/Executable_Permutations.thy

Loading...

thys/Word_Lib/Word_Lib_Sumo.thy

Loading...