Skip to content
[Jenkins]Jenkins
log in
Failed

Changes

Changes from Mercurial (hg https://bitbucket.org/isa-afp/afp-devel/ default)

Summary

  1. Rename F/L-validity (from valid to FL_valid) to avoid potential name clash.
  2. Rename lemma.
Changeset 7707:9cafe22c0d25 by tjark weber _tjark.weber@it.uu.se_:
Rename F/L-validity (from valid to FL_valid) to avoid potential name clash.
The file was modified thys/Modal_Logics_for_NTS/FL_Bisimilarity_Implies_Equivalence.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Equivalence_Implies_Bisimilarity.thy
The file was modified thys/Modal_Logics_for_NTS/FL_Validity.thy
Changeset 7706:7bad005f6b3a by tjark weber _tjark.weber@it.uu.se_:
Rename lemma.
The file was modified thys/Modal_Logics_for_NTS/FL_Transition_System.thy