diff --git a/lib/layouts/theorems-named.module b/lib/layouts/theorems-named.module index 25f6aa88d0..b73fc1bd87 100644 --- a/lib/layouts/theorems-named.module +++ b/lib/layouts/theorems-named.module @@ -7,6 +7,7 @@ #Requires: theorems-ams | theorems-starred #Original Author: John Perry +Format 30 Style "Named Theorem" CopyStyle Theorem* Category Theorem