HomeIsabelle/Phabricator
Diffusion afp-devel 13c41cab9c59

updated entries: Combinatorics_Words, Combinatorics_Words_Lyndon, and…
13c41cab9c59
Actions

Description

updated entries: Combinatorics_Words, Combinatorics_Words_Lyndon, and Combinatorics_Words_Graph_Lemma

Details

Provenance
Štěpán Starosta <stepan.starosta@fit.cvut.cz>Authored on
Parents
rAFPf50360e11df7: avoid fact name clash
Branches
Unknown
Tags
Unknown

Changes (23)

PathSize
metadata/
entries/
Combinatorics_Words_Lyndon/

rAFP13c41cab9c59

View Options

metadata/entries/Combinatorics_Words.toml

Loading...
View Options

metadata/entries/Combinatorics_Words_Graph_Lemma.toml

Loading...
View Options

metadata/entries/Combinatorics_Words_Lyndon.toml

Loading...
View Options

thys/Combinatorics_Words/Arithmetical_Hints.thy

Loading...
View Options

thys/Combinatorics_Words/Binary_Code_Morphisms.thy

Loading...
View Options

thys/Combinatorics_Words/Border_Array.thy

Loading...
View Options

thys/Combinatorics_Words/CoWAll.thy

Loading...
View Options

thys/Combinatorics_Words/CoWBasic.thy

Loading...
View Options

thys/Combinatorics_Words/Equations_Basic.thy

Loading...
View Options

thys/Combinatorics_Words/Lyndon_Schutzenberger.thy

Loading...
View Options

thys/Combinatorics_Words/Morphisms.thy

Loading...
View Options

thys/Combinatorics_Words/Periodicity_Lemma.thy

Loading...
View Options

thys/Combinatorics_Words/ROOT

Loading...
View Options

thys/Combinatorics_Words/Reverse_Symmetry.thy

Loading...
View Options

thys/Combinatorics_Words/Submonoids.thy

Loading...
View Options

thys/Combinatorics_Words_Graph_Lemma/Glued_Codes.thy

Loading...
View Options

thys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy

Loading...
View Options

thys/Combinatorics_Words_Graph_Lemma/ROOT

Loading...
View Options

thys/Combinatorics_Words_Lyndon/Lyndon.thy

Loading...
View Options

thys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy

Loading...