Fix copy/paste error

diff --git a/lib/layouts/IEEEtran.layout b/lib/layouts/IEEEtran.layout
index 668dfa4dbb3f51a5d0fde06c6cce47b22aab913c..5bf7ebacf9e29d7f2f29311494ed3d9a2b2f03e9 100644 (file)
--- a/lib/layouts/IEEEtran.layout
+++ b/lib/layouts/IEEEtran.layout
@@ -50,7 +50,7 @@ Counter               theorem
        RefFormat thm "Theorem \arabic{theorem}"
        RefFormat cor "Corollary \arabic{theorem}"
        RefFormat lem "Lemma \arabic{theorem}"
-       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat prop "Proposition \arabic{theorem}"
        RefFormat conj "Conjecture \arabic{theorem}"
        RefFormat def "Definition \arabic{theorem}"
        RefFormat exa "Example \arabic{theorem}"

diff --git a/lib/layouts/acmart.layout b/lib/layouts/acmart.layout
index 91fb1d14cde6d3c2a47233a9b1fd6424346ce50f..222a3f570b293786a51424481ab00c6893304b20 100644 (file)
--- a/lib/layouts/acmart.layout
+++ b/lib/layouts/acmart.layout
@@ -574,7 +574,7 @@ Counter theorem
        RefFormat thm "Theorem \arabic{theorem}"
        RefFormat cor "Corollary \arabic{theorem}"
        RefFormat lem "Lemma \arabic{theorem}"
-       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat prop "Proposition \arabic{theorem}"
        RefFormat conj "Conjecture \arabic{theorem}"
        RefFormat def "Definition \arabic{theorem}"
        RefFormat exa "Example \arabic{theorem}"

diff --git a/lib/layouts/elsart.layout b/lib/layouts/elsart.layout
index 6c62ebb48288bdc6396eddf55d3799350733f5ba..ae5d7326fb949bb179749730be1c5d00788f8fe8 100644 (file)
--- a/lib/layouts/elsart.layout
+++ b/lib/layouts/elsart.layout
@@ -298,7 +298,7 @@ Counter theorem
        RefFormat thm "Theorem \arabic{theorem}"
        RefFormat cor "Corollary \arabic{theorem}"
        RefFormat lem "Lemma \arabic{theorem}"
-       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat prop "Proposition \arabic{theorem}"
        RefFormat conj "Conjecture \arabic{theorem}"
        RefFormat def "Definition \arabic{theorem}"
        RefFormat exa "Example \arabic{theorem}"

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

diff --git a/lib/layouts/theorems-std.module b/lib/layouts/theorems-std.module
index 6f6851c326b3d8cce544b01763a602709d42622c..13ffa27f829a44cd0bd499aca4c440197b5ea377 100644 (file)
--- a/lib/layouts/theorems-std.module
+++ b/lib/layouts/theorems-std.module
@@ -17,7 +17,7 @@ Counter theorem
        RefFormat thm "Theorem \arabic{theorem}"
        RefFormat cor "Corollary \arabic{theorem}"
        RefFormat lem "Lemma \arabic{theorem}"
-       RefFormat prop "Lemma \arabic{theorem}"
+       RefFormat prop "Proposition \arabic{theorem}"
        RefFormat conj "Conjecture \arabic{theorem}"
        RefFormat fact "Fact \arabic{theorem}"
        RefFormat def "Definition \arabic{theorem}"