Time in a Multi-Theory Logical Framework