Changes

Summary

merged
New lemma L_transition_AC_fresh to simplify proof of FL_valid_iff_valid_L_transform

Changeset 8568:9b91e31e368c by tjark weber _tjark.weber@it.uu.se_: merged
Changeset 8567:41bfef563d3c by tjark weber _tjark.weber@it.uu.se_: New lemma L_transition_AC_fresh to simplify proof of FL_valid_iff_valid_L_transform
The file was modified	`thys/Modal_Logics_for_NTS/L_Transform.thy` (diff)