Summary
- merged
- 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) |