Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. clarified modules;
  3. standardized alias;
Changeset 7076:2da95fe25f2e by wenzelm:
merged
Changeset 7075:996908b3228b by wenzelm:
clarified modules;
The file was modified thys/Featherweight_OCL/UML_Types.thy (diff)
The file was modified thys/Transitive-Closure/Finite_Transitive_Closure_Simprocs.thy (diff)
Changeset 7074:8414b7fe99b2 by wenzelm:
standardized alias;
The file was modified thys/Dependent_SIFUM_Refinement/CompositionalRefinement.thy (diff)