new module and example file for chemical risk and safety statements; requires the...

[lyx.git] / lib / layouts / theorems.inc

diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc
index 7aeda7a9b8895ebee6eeb657bfa0e661503a6b46..122b35735844a849042555a23b9dbcdd81eb5e71 100644 (file)
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -10,16 +10,16 @@
 # - Lemma
 # - Proposition
 # - Conjecture
+# - Fact
 # - Definition
 # - Example
 # - Problem
 # - Exercise
 # - Remark
 # - Claim
-# - Proof
 # - Case (regular only -- defined as an enumeration)
 
-Format 14
+Format 35
 
 Style Theorem
        Category              Theorem
@@ -59,10 +59,6 @@ Style Theorem
                \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
        EndBabelPreamble
        Requires              amsthm
-       HTMLTag               div
-       HTMLAttr              class="theorem"
-       HTMLLabel             span
-       HTMLLabelAttr         class="theoremlabel"
 End
 
 
@@ -306,4 +302,7 @@ Style Case
        BabelPreamble
                \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
        EndBabelPreamble
+       RefPrefix OFF
 End
+
+Input theorems-refprefix.inc