Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. merged
  2. tuned lift_strong_simulation_to_bisimulation
  3. simplified definition of match_bisim
  4. strengthened lift_strong_simulation_to_bisimulation and simplified match_bisim
Changeset 13914:467da317409f by desharna:
merged
Changeset 13913:91db9dbc60fc by desharna:
tuned lift_strong_simulation_to_bisimulation
The file was modified thys/VeriComp/Lifting_Simulation_To_Bisimulation.thy
Changeset 13912:daa3a24839a0 by desharna:
simplified definition of match_bisim
The file was modified thys/VeriComp/Lifting_Simulation_To_Bisimulation.thy
Changeset 13911:6165b77e2c91 by desharna:
strengthened lift_strong_simulation_to_bisimulation and simplified match_bisim
The file was modified thys/VeriComp/Lifting_Simulation_To_Bisimulation.thy
The file was modified thys/VeriComp/Simulation.thy