Bundles all requirements to instantiate an environment.
Marker trait indicating raw (encoded) Isabelle symbol text.
Marker trait indicating raw (encoded) Isabelle symbol text.
Marker trait indicating Unicode (decoded) Isabelle symbol text.
Marker trait indicating Unicode (decoded) Isabelle symbol text.