- Just using theories that are referenced by TheoryPathes
- Recursively printing theories
- not yet tested
Detection of the usage of theories was not reliable, now searching for root elements with id "ord.eventb.theory.core..."
fixed warnings: unused imports
added list of imported theories in Prolog output. Does not seem to work yet.
Replaced IDeployedTheoryRoot by ISCTheoryRoot (a more abstract interface).