Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Helpful lemmas for dealing with equalities involving Act.
Changeset 7644:b88b43217e88 by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 7643:c6bae03ef0ed by tjark weber _tjark.weber@it.uu.se_:
Helpful lemmas for dealing with equalities involving Act.
The file was modified thys/Modal_Logics_for_NTS/Bisimilarity_Implies_Equivalence.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/FL_Bisimilarity_Implies_Equivalence.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/FL_Validity.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/Formula.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/Validity.thy (diff)