small fixes in Combinatory on Words packages
Showing
- thys/Binary_Code_Imprimitive/Binary_Square_Interpretation.thy 1 addition, 1 deletion.../Binary_Code_Imprimitive/Binary_Square_Interpretation.thy
- thys/Combinatorics_Words/CoWBasic.thy 1 addition, 1 deletionthys/Combinatorics_Words/CoWBasic.thy
- thys/Combinatorics_Words/Lyndon_Schutzenberger.thy 1 addition, 1 deletionthys/Combinatorics_Words/Lyndon_Schutzenberger.thy
- thys/Combinatorics_Words/Periodicity_Lemma.thy 1 addition, 1 deletionthys/Combinatorics_Words/Periodicity_Lemma.thy
- thys/Combinatorics_Words/Submonoids.thy 1 addition, 1 deletionthys/Combinatorics_Words/Submonoids.thy
- thys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy 2 additions, 2 deletionsthys/Combinatorics_Words_Graph_Lemma/Graph_Lemma.thy
- thys/Combinatorics_Words_Lyndon/Lyndon.thy 1 addition, 1 deletionthys/Combinatorics_Words_Lyndon/Lyndon.thy
Loading
Please register or sign in to comment