]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems.inc
initials.module: update module description and some whitespace
[lyx.git] / lib / layouts / theorems.inc
index 0cb33f37c082ee784429386562a7d9f0cb72afaa..122b35735844a849042555a23b9dbcdd81eb5e71 100644 (file)
 # - Lemma
 # - Proposition
 # - Conjecture
+# - Fact
 # - Definition
 # - Example
 # - Problem
 # - Exercise
 # - Remark
 # - Claim
-# - Proof
 # - Case (regular only -- defined as an enumeration)
 
-Format 34
+Format 35
 
 Style Theorem
        Category              Theorem