[LyX/master] Decouple theorem definitions from definitions for xref packages

[Jürgen Spitzmüller]

Am Dienstag, dem 06.05.2025 um 22:54 +0200 schrieb Scott Kostyshak:
> Now the following ctests fail:

Should be fixed.

-- 
Jürgen
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 508 bytes
Desc: This is a digitally signed message part
URL: <http://lists.lyx.org/pipermail/lyx-devel/attachments/20250507/e476d3e4/attachment.sig>