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