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 fd0738bb8bf8cd7b020d0016db00d845865e36e1..122b35735844a849042555a23b9dbcdd81eb5e71 100644 (file)
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -10,13 +10,13 @@
 # - Lemma
 # - Proposition
 # - Conjecture
+# - Fact
 # - Definition
 # - Example
 # - Problem
 # - Exercise
 # - Remark
 # - Claim
-# - Proof
 # - Case (regular only -- defined as an enumeration)
 
 Format 35