Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Summary

  1. adapted Stable_Matching to Isabelle devel (thanks for the comments!)
Changeset 7376:a47dee63e525 by lars hupel _lars.hupel@mytum.de_:
adapted Stable_Matching to Isabelle devel (thanks for the comments!)
The file was modified thys/Stable_Matching/Basis.thy (diff)
The file was modified thys/Stable_Matching/COP.thy (diff)
The file was modified thys/Stable_Matching/Contracts.thy (diff)
The file was modified thys/Stable_Matching/Dual_Lattice.thy (diff)
The file was modified thys/Stable_Matching/ROOT (diff)
The file was removedthys/Stable_Matching/BW_Extra.thy