Summary
- Rename F/L-validity (from valid to FL_valid) to avoid potential name clash.
- Rename lemma.
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_Validity.thy (diff) |
The file was modified | thys/Modal_Logics_for_NTS/FL_Transition_System.thy (diff) |