Skip to content
Success

Changes

Summary

  1. merged
  2. Introduce new effect parameter f to accommodate open bisimilarity
Changeset 7704:14c750fd0fdd by tjark weber _tjark.weber@it.uu.se_:
Introduce new effect parameter f to accommodate open bisimilarity
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_Equivalence_Implies_Bisimilarity.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/FL_Formula.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/FL_Transition_System.thy (diff)
The file was modified thys/Modal_Logics_for_NTS/L_Transform.thy (diff)