Fix reference format for propositions.

Reported by Andrew Parsloe.

diff --git a/lib/layouts/theorems-chap.module b/lib/layouts/theorems-chap.module
index 9df0c3461aec5ee91481b7632bcd842b5d3798a6..82605cddb135732335e96b23f9dbe6b86c34590f 100644 (file)
--- a/lib/layouts/theorems-chap.module
+++ b/lib/layouts/theorems-chap.module
@@ -19,7 +19,7 @@ Counter theorem
        RefFormat thm "Theorem \thechapter.\arabic{theorem}"
        RefFormat cor "Corollary \thechapter.\arabic{theorem}"
        RefFormat lem "Lemma \thechapter.\arabic{theorem}"
-       RefFormat prop "Lemma \thechapter.\arabic{theorem}"
+       RefFormat prop "Proposition \thechapter.\arabic{theorem}"
        RefFormat conj "Conjecture \thechapter.\arabic{theorem}"
        RefFormat def "Definition \thechapter.\arabic{theorem}"
        RefFormat exa "Example \thechapter.\arabic{theorem}"

diff --git a/lib/layouts/theorems-sec.module b/lib/layouts/theorems-sec.module
index ca38792818bda1247625c7715cfd4aba3c2903bb..eb808e8ee83528809fc072d567e05a65fce16253 100644 (file)
--- a/lib/layouts/theorems-sec.module
+++ b/lib/layouts/theorems-sec.module
@@ -18,7 +18,7 @@ Counter theorem
        RefFormat thm "Theorem \thesection.\arabic{theorem}"
        RefFormat cor "Corollary \thesection.\arabic{theorem}"
        RefFormat lem "Lemma \thesection.\arabic{theorem}"
-       RefFormat prop "Lemma \thesection.\arabic{theorem}"
+       RefFormat prop "Proposition \thesection.\arabic{theorem}"
        RefFormat conj "Conjecture \thesection.\arabic{theorem}"
        RefFormat def "Definition \thesection.\arabic{theorem}"
        RefFormat exa "Example \thesection.\arabic{theorem}"