Summary
- adjust to isabelle:fab9a53158f8
The file was modified | thys/Girth_Chromatic/Girth_Chromatic.thy (diff) |
The file was modified | thys/Twelvefold_Way/Twelvefold_Way_Entry2.thy (diff) |
The file was modified | thys/Girth_Chromatic/Girth_Chromatic.thy (diff) |
The file was modified | thys/Twelvefold_Way/Twelvefold_Way_Entry2.thy (diff) |