Feature request: Collate import closure into a single CLIF file

[carmenchui]

There are times where we need a list of all axioms found in a theory in one single CLIF file to make it easier to view all of the axioms in one place.

While the current macleod scripts do do this with the LADR and TPTP conversions, we would also be interested in having this in the CLIF format.

e.g., take http://colore.oor.net/fount/fount.clif for example -- this is a theory that imports a lot of theories.

Due to the sheer volume of imports, it is not manageable to do the imports manually (through copying and pasting), so it might be beneficial to have a script that can do this automatically when the imports are parsed in the macleod GUI.

[thahmann]

@carmenchui : is this still something that is relevant? I think we might be able to do this now

[carmenchui]

@thahmann I think it is still useful and relevant feature to have, especially to quickly check for typos or to see all the axioms in one file (instead of opening several if there are lots of imports).