Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. material moved to distribution
  2. adapt to Isabelle/a51e72d79670
  3. port Ribbon_Proofs to Finite_Map theory
Changeset 8109:abb9dc9e9b0c by lars hupel _lars.hupel@mytum.de_:
material moved to distribution
The file was modified thys/Formula_Derivatives/FSet_More.thy (diff)
Changeset 8108:c0cc392b360d by lars hupel _lars.hupel@mytum.de_:
adapt to Isabelle/a51e72d79670
The file was modified thys/Algebraic_Numbers/Algebraic_Numbers_Prelim.thy (diff)
Changeset 8107:19dfaddd4fac by lars hupel _lars.hupel@mytum.de_:
port Ribbon_Proofs to Finite_Map theory
The file was modified thys/Ribbon_Proofs/Finite_Map2.thy (diff)
The file was modified thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy (diff)