Changes

Summary

Changeset 7036:0ed61bd62245 by robert sison _robs@cse.unsw.edu.au_: Update change history for Dependent_SIFUM_* entries
The file was modified	`metadata/metadata` (diff)
Changeset 7035:dbc482d36372 by robert sison _robs@cse.unsw.edu.au_: Dependent_SIFUM_*: Remove unused 'stop' parameters from locales
The file was modified	`thys/Dependent_SIFUM_Refinement/CompositionalRefinement.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Refinement/Examples/Eg1.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Refinement/Examples/Eg1Eg2RefinementSimple.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Refinement/Examples/Eg1RefinementTrivial.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Refinement/Examples/EgHighBranchRevC.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/Examples/Example.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/Examples/Example_Swap_Add.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/Examples/Example_TypeSystem.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/LocallySoundModeUse.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/Preliminaries.thy` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/TypeSystem.thy` (diff)