Diffusion afp-devel 55f94db4dfd0

adjust Combinatorics_Words to isabelle@493b1ae188da
55f94db4dfd0
Actions

Tags

None

Subscribers

None

Description

adjust Combinatorics_Words to isabelle@493b1ae188da

Details

Provenance

Authored on

Parents

rAFP6605c2eb8bc8: merge from afp-2021

Branches

Unknown

Tags

Unknown

Event Timeline

kleing committed rAFP55f94db4dfd0: adjust Combinatorics_Words to isabelle@493b1ae188da.May 27 2021, 2:58 AM

Changes (4)

Path

Size

thys/

Combinatorics_Words/

Lyndon_Schutzenberger.thy

Periodicity_Lemma.thy

rAFP55f94db4dfd0

thys/Combinatorics_Words/CoWBasic.thy

Loading...

thys/Combinatorics_Words/Lyndon_Schutzenberger.thy

Loading...

thys/Combinatorics_Words/Periodicity_Lemma.thy

Loading...

thys/Combinatorics_Words/Submonoids.thy

Loading...