Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

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

Summary

  1. documented change in VeriComp
  2. added framework-independent lemma to lift simulation to bisimulation
Changeset 13906:efc72a123fad by desharna:
documented change in VeriComp
The file was modified metadata/entries/VeriComp.toml
Changeset 13905:2702f2046afa by desharna:
added framework-independent lemma to lift simulation to bisimulation
The file was modified thys/VeriComp/Simulation.thy