Theory RTSCat_Interp
section "Top-Level Interpretation"
theory RTSCat_Interp
imports RTSCat_trn RTSCat_sim
begin
text‹
The purpose of this section is simply to demonstrate the possibility of making
top-level interpretations of locales @{locale rtscat_trn} and @{locale rtscat_sim}.
It is important to do this because some kinds of clashes that occur when the same names
are used in multiple sublocales only cause a problem when an attempt is made to instantiate
the locale in the top-level name space.
›