Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. tuned
  2. tuned
Changeset 8111:63886d6c16f1 by lars hupel _lars.hupel@mytum.de_:
tuned
The file was addedthys/Ribbon_Proofs/More_Finite_Map.thy
The file was modified thys/Ribbon_Proofs/ROOT (diff)
The file was modified thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy (diff)
The file was removedthys/Ribbon_Proofs/Finite_Map2.thy
Changeset 8110:04718f698926 by lars hupel _lars.hupel@mytum.de_:
tuned
The file was modified thys/Ribbon_Proofs/Finite_Map2.thy (diff)
The file was modified thys/Ribbon_Proofs/Ribbons_Graphical_Soundness.thy (diff)