Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Further cleanup of Stable_Matching.
Changeset 7588:c95592330b35 by peter gammie _peteg42@gmail.com_:
Further cleanup of Stable_Matching.
The file was modified thys/Stable_Matching/Bossiness.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/Strategic.thy (diff)
The file was modified thys/Stable_Matching/document/root.tex (diff)