Combinatoric Words theories update
Showing
- thys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy 27 additions, 28 deletionsthys/Binary_Code_Imprimitive/Binary_Code_Imprimitive.thy
- thys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy 0 additions, 1 deletionthys/Binary_Code_Imprimitive/Binary_Imprimitive_Decision.thy
- thys/Binary_Code_Imprimitive/Binary_Square_Interpretation.thy 33 additions, 33 deletions.../Binary_Code_Imprimitive/Binary_Square_Interpretation.thy
- thys/Combinatorics_Words/Arithmetical_Hints.thy 2 additions, 1 deletionthys/Combinatorics_Words/Arithmetical_Hints.thy
- thys/Combinatorics_Words/Binary_Code_Morphisms.thy 5 additions, 5 deletionsthys/Combinatorics_Words/Binary_Code_Morphisms.thy
- thys/Combinatorics_Words/Border_Array.thy 0 additions, 1 deletionthys/Combinatorics_Words/Border_Array.thy
- thys/Combinatorics_Words/CoWBasic.thy 300 additions, 529 deletionsthys/Combinatorics_Words/CoWBasic.thy
- thys/Combinatorics_Words/Equations_Basic.thy 23 additions, 24 deletionsthys/Combinatorics_Words/Equations_Basic.thy
- thys/Combinatorics_Words/Lyndon_Schutzenberger.thy 62 additions, 63 deletionsthys/Combinatorics_Words/Lyndon_Schutzenberger.thy
- thys/Combinatorics_Words/Morphisms.thy 9 additions, 9 deletionsthys/Combinatorics_Words/Morphisms.thy
- thys/Combinatorics_Words/Periodicity_Lemma.thy 4 additions, 11 deletionsthys/Combinatorics_Words/Periodicity_Lemma.thy
- thys/Combinatorics_Words/ROOT 2 additions, 0 deletionsthys/Combinatorics_Words/ROOT
- thys/Combinatorics_Words/Reverse_Symmetry.thy 1 addition, 2 deletionsthys/Combinatorics_Words/Reverse_Symmetry.thy
- thys/Combinatorics_Words/Submonoids.thy 35 additions, 36 deletionsthys/Combinatorics_Words/Submonoids.thy
- thys/Combinatorics_Words_Graph_Lemma/Glued_Codes.thy 0 additions, 1 deletionthys/Combinatorics_Words_Graph_Lemma/Glued_Codes.thy
- thys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy 0 additions, 1 deletionthys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy
- thys/Combinatorics_Words_Lyndon/Lyndon.thy 5 additions, 5 deletionsthys/Combinatorics_Words_Lyndon/Lyndon.thy
- thys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy 0 additions, 1 deletionthys/Combinatorics_Words_Lyndon/Lyndon_Addition.thy
- thys/List_Power/List_Power.thy 27 additions, 3 deletionsthys/List_Power/List_Power.thy
- thys/Two_Generated_Word_Monoids_Intersection/Two_Generated_Word_Monoids_Intersection.thy 27 additions, 28 deletions..._Intersection/Two_Generated_Word_Monoids_Intersection.thy
Loading
Please register or sign in to comment