Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. avoid undeclared frees;
Changeset 9256:4b06a8701616 by wenzelm:
merged
Changeset 9255:6ffa0c16f3a6 by wenzelm:
avoid undeclared frees;
The file was modified thys/Collections/Refine_Dflt.thy (diff)
The file was modified thys/Completeness/Completeness.thy (diff)
The file was modified thys/Featherweight_OCL/examples/Employee_Model/Analysis/Analysis_UML.thy (diff)
The file was modified thys/Featherweight_OCL/examples/Employee_Model/Design/Design_UML.thy (diff)
The file was modified thys/Inductive_Confidentiality/GeneralAttacker/EventGA.thy (diff)
The file was modified thys/JinjaThreads/Framework/FWLock.thy (diff)
The file was modified thys/Ordinary_Differential_Equations/Refinement/Refine_Dflt_No_Comp.thy (diff)
The file was modified thys/Psi_Calculi/Tau_Chain.thy (diff)