-extern Layout const * findLayoutWithoutModule(TextClass const & textclass,
- std::string const & name, bool command);
-extern InsetLayout const * findInsetLayoutWithoutModule(
- TextClass const & textclass, std::string const & name, bool command);
+extern void add_known_theorem(std::string const & theorem,
+ std::string const & o1, bool o2, docstring const & definition);
+extern Layout const * findLayoutWithoutModule(TextClass const & tc,
+ std::string const & name, bool command, std::string const & latexparam = std::string());
+extern InsetLayout const * findInsetLayoutWithoutModule(TextClass const & tc, std::string const & name, bool command,
+ std::string const & latexparam = std::string());