Quoting Lars Noschinski <nosch...@in.tum.de>:
How is interpretation related to print_context? It seems that neither interpret nor interpretation extends the context as displayed by print_context?
I don't know the answer to that, but for a particular locale x you should be able to find all active interpretations in a context by
print_interps x Clemens _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev