<div dir="ltr">Is it possible to include an interpretation in a theory file, rather than having to write it out inline? Since I sometimes want to include a rather large interpretation within multiple blocks within the same theory file, I end up having to write a template file and then generate the real .thy file from that, to avoid lots of copy-pasting. Is mine the recommended approach, or is there a better way?<br></div>