Skip to content
Success

Changes

Summary

  1. adjust to isabelle:fab9a53158f8
Changeset 8164:fa6f2055b676 by lukas bulwahn _lukas.bulwahn@gmail.com_:
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)