Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Nuke some vestigial lemmas (now in HOL) from Stable_Matching.
Changeset 7535:ca2ff53f11a8 by peter gammie _peteg42@gmail.com_:
Nuke some vestigial lemmas (now in HOL) from Stable_Matching.
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/Choice_Functions.thy (diff)
The file was modified thys/Stable_Matching/Contracts.thy (diff)
The file was modified thys/Stable_Matching/Strategic.thy (diff)