Update of Combinatorics_Words, Combinatorics_Words_Graph_Lemma…
8c957adc65f3
Actions

Description

Update of Combinatorics_Words, Combinatorics_Words_Graph_Lemma, Combinatorics_Words_Lyndon, Two_Generated_Word_Monoids_Intersection, Binary_Code_Imprimitive to to version v1.10.

Update of Combinatorics_Words, Combinatorics_Words_Graph_Lemma…8c957adc65f3Actions

Description

Details

Event Timeline

Changes (31)

rAFP8c957adc65f3

metadata/entries/Binary_Code_Imprimitive.toml

metadata/entries/Combinatorics_Words.toml

metadata/entries/Combinatorics_Words_Graph_Lemma.toml

metadata/entries/Combinatorics_Words_Lyndon.toml

metadata/entries/Two_Generated_Word_Monoids_Intersection.toml

thys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy

thys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy

thys/Binary_Code_Imprimitive/Binary_Square_Interpretation.thy

thys/Binary_Code_Imprimitive/ROOT

thys/Combinatorics_Words/Arithmetical_Hints.thy

thys/Combinatorics_Words/Binary_Code_Morphisms.thy

thys/Combinatorics_Words/Border_Array.thy

thys/Combinatorics_Words/CoWAll.thy

thys/Combinatorics_Words/CoWBasic.thy

thys/Combinatorics_Words/Equations_Basic.thy

thys/Combinatorics_Words/Lyndon_Schutzenberger.thy

thys/Combinatorics_Words/Morphisms.thy

thys/Combinatorics_Words/Periodicity_Lemma.thy

thys/Combinatorics_Words/ROOT

thys/Combinatorics_Words/Reverse_Symmetry.thy

thys/Combinatorics_Words/Submonoids.thy

thys/Combinatorics_Words/document/root.bib

thys/Combinatorics_Words_Graph_Lemma/Glued_Codes.thy

thys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy

thys/Combinatorics_Words_Graph_Lemma/document/root.bib

thys/Combinatorics_Words_Lyndon/Lyndon.thy

thys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy

thys/Two_Generated_Word_Monoids_Intersection/Two_Generated_Word_Monoids_Intersection.thy

Update of Combinatorics_Words, Combinatorics_Words_Graph_Lemma…
8c957adc65f3
Actions