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 874cba99c9cac3c0db208867c273d153a67cd8ac..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 30
+Format 35
 
 Style Theorem
        Category              Theorem