Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. Tune document
  2. merged
  3. The L-transform of a formula preserves satisfaction
Changeset 8561:e8057b3baef7 by tjark weber _tjark.weber@it.uu.se_:
Tune document
The file was modified thys/Modal_Logics_for_NTS/FL_Formula.thy (diff)
Changeset 8560:4204657d4caa by tjark weber _tjark.weber@it.uu.se_:
merged
Changeset 8559:511ef258ceb7 by tjark weber _tjark.weber@it.uu.se_:
The L-transform of a formula preserves satisfaction
The file was modified thys/Modal_Logics_for_NTS/FL_Equivalence_Implies_Bisimilarity.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/L_Transform.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/Residual.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/Validity.thy (diff)