]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-bytype.inc
Fix grammar
[lyx.git] / lib / layouts / theorems-bytype.inc
index b8188d73a4a2b445a9c2e25ee66c132ba797ef96..df6c88037bd8b9a1b2f64dec8a6252e0655a0a0b 100644 (file)
@@ -22,7 +22,7 @@
 # - Proof
 # - Case (by inclusion)
 
-Format 70
+Format 74
 
 Style Theorem
        Category              Reasoning