If you don't put the namespace after a "show:" in a theory file in quotation marks, opentheory eventually says: FATAL ERROR: opentheory failed: Show.fromStringMapping It might be nicer to get a more informative syntax error earlier on. As an aside, is there an issue tracker for the opentheory tool?