[opentheory-users] interpretation in separate file

[Ramana Kumar]

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?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gilith.com/opentheory/mailing-list/attachments/20160304/defa1dab/attachment.html>