Merge Combinatorics Words changes
Showing
- thys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy 100 additions, 79 deletionsthys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy
- thys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy 4 additions, 2 deletionsthys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy
- thys/Binary_Code_Imprimitive/Binary_Square_Interpretation.thy 351 additions, 102 deletions.../Binary_Code_Imprimitive/Binary_Square_Interpretation.thy
- thys/Combinatorics_Words/Arithmetical_Hints.thy 17 additions, 3 deletionsthys/Combinatorics_Words/Arithmetical_Hints.thy
- thys/Combinatorics_Words/Binary_Code_Morphisms.thy 89 additions, 71 deletionsthys/Combinatorics_Words/Binary_Code_Morphisms.thy
- thys/Combinatorics_Words/Border_Array.thy 11 additions, 6 deletionsthys/Combinatorics_Words/Border_Array.thy
- thys/Combinatorics_Words/CoWBasic.thy 1567 additions, 815 deletionsthys/Combinatorics_Words/CoWBasic.thy
- thys/Combinatorics_Words/Equations_Basic.thy 294 additions, 604 deletionsthys/Combinatorics_Words/Equations_Basic.thy
- thys/Combinatorics_Words/Lyndon_Schutzenberger.thy 53 additions, 49 deletionsthys/Combinatorics_Words/Lyndon_Schutzenberger.thy
- thys/Combinatorics_Words/Morphisms.thy 367 additions, 134 deletionsthys/Combinatorics_Words/Morphisms.thy
- thys/Combinatorics_Words/Periodicity_Lemma.thy 624 additions, 283 deletionsthys/Combinatorics_Words/Periodicity_Lemma.thy
- thys/Combinatorics_Words/Reverse_Symmetry.thy 4 additions, 2 deletionsthys/Combinatorics_Words/Reverse_Symmetry.thy
- thys/Combinatorics_Words/Submonoids.thy 1296 additions, 807 deletionsthys/Combinatorics_Words/Submonoids.thy
- thys/Combinatorics_Words_Graph_Lemma/Glued_Codes.thy 10 additions, 3 deletionsthys/Combinatorics_Words_Graph_Lemma/Glued_Codes.thy
- thys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy 7 additions, 5 deletionsthys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy
- thys/Combinatorics_Words_Lyndon/Lyndon.thy 73 additions, 72 deletionsthys/Combinatorics_Words_Lyndon/Lyndon.thy
- thys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy 2 additions, 0 deletionsthys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy
- thys/Two_Generated_Word_Monoids_Intersection/Two_Generated_Word_Monoids_Intersection.thy 35 additions, 34 deletions..._Intersection/Two_Generated_Word_Monoids_Intersection.thy
Loading
Please register or sign in to comment