Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Update change history for Dependent_SIFUM_Refinement
  2. Extend 'simple' refinement to be usable for all bisimulations
Changeset 7050:1de85df8ec0f by robert sison _robs@cse.unsw.edu.au_:
Update change history for Dependent_SIFUM_Refinement
The file was modified metadata/metadata (diff)
Changeset 7049:547f31c25f60 by robert sison _robs@cse.unsw.edu.au_:
Extend 'simple' refinement to be usable for all bisimulations
The file was modified thys/Dependent_SIFUM_Refinement/CompositionalRefinement.thy (diff)
The file was modified thys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2RefinementSimple.thy (diff)