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