-#: lib/layouts/aa.layout:69 lib/layouts/aa.layout:266
-#: lib/layouts/aapaper.layout:78 lib/layouts/aapaper.layout:172
-#: lib/layouts/aastex.layout:98 lib/layouts/aastex.layout:220
-#: lib/layouts/achemso.layout:56 lib/layouts/acmsiggraph.layout:141
-#: lib/layouts/agutex.layout:56 lib/layouts/apa6.layout:38
-#: lib/layouts/apa.layout:41 lib/layouts/beamer.layout:877
-#: lib/layouts/broadway.layout:187 lib/layouts/cl2emult.layout:41
-#: lib/layouts/docbook-book.layout:12 lib/layouts/docbook-chapter.layout:10
-#: lib/layouts/docbook-section.layout:10 lib/layouts/ectaart.layout:16
-#: lib/layouts/egs.layout:263 lib/layouts/elsarticle.layout:82
-#: lib/layouts/elsart.layout:93 lib/layouts/entcs.layout:40
-#: lib/layouts/foils.layout:127 lib/layouts/hollywood.layout:333
-#: lib/layouts/IEEEtran.layout:66 lib/layouts/ijmpc.layout:107
-#: lib/layouts/ijmpd.layout:112 lib/layouts/iopart.layout:58
-#: lib/layouts/isprs.layout:94 lib/layouts/jasatex.layout:60
-#: lib/layouts/kluwer.layout:113 lib/layouts/latex8.layout:39
-#: lib/layouts/llncs.layout:108 lib/layouts/ltugboat.layout:140
-#: lib/layouts/moderncv.layout:84 lib/layouts/paper.layout:112
-#: lib/layouts/powerdot.layout:42 lib/layouts/revtex4-1.layout:212
-#: lib/layouts/revtex4.layout:116 lib/layouts/revtex.layout:96
-#: lib/layouts/scrlettr.layout:193 lib/layouts/scrlttr2.layout:275
-#: lib/layouts/siamltex.layout:192 lib/layouts/simplecv.layout:131
-#: lib/layouts/svmult.layout:47 lib/layouts/svprobth.layout:80
-#: lib/layouts/tufte-book.layout:35 lib/layouts/agu_stdtitle.inc:247
-#: lib/layouts/amsdefs.inc:24 lib/layouts/db_stdtitle.inc:13
-#: lib/layouts/scrclass.inc:175 lib/layouts/stdtitle.inc:14
+#: lib/layouts/siamltex.layout:98 lib/layouts/ijmpc.layout:377
+#: lib/layouts/AEA.layout:267 lib/layouts/llncs.layout:398
+#: lib/layouts/elsart.layout:344 lib/layouts/ijmpd.layout:395
+#: lib/layouts/foils.layout:260 lib/layouts/theorems-bytype.inc:107
+#: lib/layouts/theorems-bytype.inc:116 lib/layouts/theorems-bytype.inc:119
+#: lib/layouts/theorems-ams-bytype.inc:131
+#: lib/layouts/theorems-ams-bytype.inc:140
+#: lib/layouts/theorems-ams-bytype.inc:143
+#: lib/layouts/theorems-without-preamble.inc:107
+#: lib/layouts/theorems-without-preamble.inc:113
+#: lib/layouts/theorems-without-preamble.inc:116
+#: lib/layouts/theorems-starred.inc:110 lib/layouts/theorems-starred.inc:113
+#: lib/layouts/theorems-ams.inc:105 lib/layouts/theorems-ams.inc:115
+#: lib/layouts/theorems-ams.inc:118
+#: lib/layouts/theorems-starred-equivalents.inc:27
+#: lib/layouts/theorems.inc:105 lib/layouts/theorems.inc:115
+#: lib/layouts/theorems.inc:118 lib/layouts/theorems-order.inc:25
+#: lib/layouts/theorems-chap-bytype.module:90
+#: lib/layouts/theorems-sec-bytype.module:78
+msgid "Proposition"
+msgstr "Proposizioa"
+
+#: lib/layouts/siamltex.layout:104 lib/layouts/foils.layout:316
+#: lib/layouts/theorems-starred.inc:101 lib/layouts/theorems-order.inc:28
+msgid "Proposition*"
+msgstr "Proposizioa*"
+
+#: lib/layouts/siamltex.layout:108 lib/layouts/ijmpc.layout:404
+#: lib/layouts/AEA.layout:201 lib/layouts/llncs.layout:322
+#: lib/layouts/elsart.layout:379 lib/layouts/ijmpd.layout:423
+#: lib/layouts/theorems-bytype.inc:125 lib/layouts/theorems-bytype.inc:134
+#: lib/layouts/theorems-bytype.inc:137 lib/layouts/theorems-ams-bytype.inc:149
+#: lib/layouts/theorems-ams-bytype.inc:158
+#: lib/layouts/theorems-ams-bytype.inc:161
+#: lib/layouts/theorems-without-preamble.inc:139
+#: lib/layouts/theorems-without-preamble.inc:152
+#: lib/layouts/theorems-without-preamble.inc:155
+#: lib/layouts/theorems-starred.inc:127 lib/layouts/theorems-starred.inc:130
+#: lib/layouts/theorems-ams.inc:123 lib/layouts/theorems-ams.inc:133
+#: lib/layouts/theorems-ams.inc:136
+#: lib/layouts/theorems-starred-equivalents.inc:34
+#: lib/layouts/theorems.inc:123 lib/layouts/theorems.inc:133
+#: lib/layouts/theorems.inc:136 lib/layouts/theorems-order.inc:31
+#: lib/layouts/theorems-chap-bytype.module:102
+#: lib/layouts/theorems-sec-bytype.module:86
+msgid "Conjecture"
+msgstr "Aierua"
+
+#: lib/layouts/siamltex.layout:113 lib/layouts/theorems-starred.inc:118
+#: lib/layouts/theorems-order.inc:34
+msgid "Conjecture*"
+msgstr "Hipotesia*"
+
+#: lib/layouts/siamltex.layout:117 lib/layouts/AEA.layout:154
+#: lib/layouts/powerdot.layout:526 lib/layouts/elsart.layout:358
+#: lib/layouts/stdfloats.inc:41 lib/layouts/theorems-ams-extended.module:70
+#: lib/layouts/theorems-ams-extended.module:80
+#: lib/layouts/theorems-ams-extended.module:83
+#: lib/layouts/theorems-ams-extended.module:97
+#: lib/layouts/theorems-ams-extended.module:100
+#: lib/layouts/algorithm2e.module:15
+#: lib/layouts/theorems-ams-extended-bytype.module:94
+#: lib/layouts/theorems-ams-extended-bytype.module:103
+#: lib/layouts/theorems-ams-extended-bytype.module:106
+#: lib/layouts/theorems-ams-extended-bytype.module:121
+#: lib/layouts/theorems-ams-extended-bytype.module:124
+msgid "Algorithm"
+msgstr "Algoritmoa"
+
+#: lib/layouts/siamltex.layout:118 lib/layouts/ijmpc.layout:333
+#: lib/layouts/llncs.layout:294 lib/layouts/elsart.layout:273
+#: lib/layouts/elsart.layout:303 lib/layouts/ijmpd.layout:336
+#: lib/layouts/foils.layout:221 lib/layouts/heb-article.layout:30
+#: lib/layouts/heb-article.layout:108 lib/layouts/beamer.layout:1152
+#: lib/layouts/IEEEtran.layout:405 lib/layouts/theorems-bytype.inc:27
+#: lib/layouts/theorems-proof.inc:14 lib/layouts/theorems-ams-bytype.inc:51
+#: lib/layouts/theorems-case.inc:28
+#: lib/layouts/theorems-without-preamble.inc:35
+#: lib/layouts/theorems-starred.inc:24 lib/layouts/theorems-ams.inc:25
+#: lib/layouts/svcommon.inc:637 lib/layouts/theorems.inc:25
+#: lib/layouts/theorems-named.module:13
+#, fuzzy
+msgid "Reasoning"
+msgstr "Esanahia"
+
+#: lib/layouts/siamltex.layout:123 lib/layouts/theorems-ams-extended.module:88
+#: lib/layouts/theorems-ams-extended-bytype.module:112
+msgid "Algorithm*"
+msgstr "Algoritmoa*"
+
+#: lib/layouts/siamltex.layout:127 lib/layouts/AEA.layout:223
+#: lib/layouts/llncs.layout:343 lib/layouts/elsart.layout:365
+#: lib/layouts/foils.layout:267 lib/layouts/heb-article.layout:87
+#: lib/layouts/beamer.layout:1185 lib/layouts/theorems-bytype.inc:161
+#: lib/layouts/theorems-bytype.inc:177 lib/layouts/theorems-bytype.inc:180
+#: lib/layouts/theorems-ams-bytype.inc:185
+#: lib/layouts/theorems-ams-bytype.inc:201
+#: lib/layouts/theorems-ams-bytype.inc:204
+#: lib/layouts/theorems-without-preamble.inc:178
+#: lib/layouts/theorems-without-preamble.inc:192
+#: lib/layouts/theorems-without-preamble.inc:195
+#: lib/layouts/theorems-starred.inc:169 lib/layouts/theorems-starred.inc:172
+#: lib/layouts/theorems-ams.inc:159 lib/layouts/theorems-ams.inc:176
+#: lib/layouts/theorems-ams.inc:179
+#: lib/layouts/theorems-starred-equivalents.inc:41
+#: lib/layouts/theorems.inc:159 lib/layouts/theorems.inc:176
+#: lib/layouts/theorems.inc:179 lib/layouts/theorems-order.inc:37
+#: lib/layouts/theorems-chap-bytype.module:126
+#: lib/layouts/theorems-sec-bytype.module:102
+msgid "Definition"
+msgstr "Definizioa"
+
+#: lib/layouts/siamltex.layout:133 lib/layouts/foils.layout:323
+#: lib/layouts/theorems-starred.inc:152 lib/layouts/theorems-order.inc:40
+msgid "Definition*"
+msgstr "Definizioa*"
+
+#: lib/layouts/siamltex.layout:137
+msgid "AMS"
+msgstr "AMS"
+
+#: lib/layouts/siamltex.layout:156 lib/layouts/ijmpc.layout:330
+#: lib/layouts/svmono.layout:87 lib/layouts/AEA.layout:311
+#: lib/layouts/llncs.layout:384 lib/layouts/elsart.layout:302
+#: lib/layouts/ijmpd.layout:333 lib/layouts/foils.layout:281
+#: lib/layouts/heb-article.layout:107 lib/layouts/beamer.layout:1219
+#: lib/layouts/IEEEtran.layout:404 lib/layouts/theorems-proof.inc:13
+#: lib/layouts/theorems-proof-std.inc:6 lib/layouts/svcommon.inc:636
+#: lib/layouts/svcommon.inc:651 lib/layouts/svcommon.inc:654
+#: lib/layouts/theorems-order.inc:76 lib/layouts/theorems-bytype.module:46
+msgid "Proof"
+msgstr "Frogapena"
+
+#: lib/layouts/siamltex.layout:162 lib/layouts/IEEEtran.layout:411
+#: lib/layouts/theorems-proof.inc:21
+#, fuzzy
+msgid "Alternative Proof String"
+msgstr "Ordezko afiliazioa"
+
+#: lib/layouts/siamltex.layout:163 lib/layouts/IEEEtran.layout:412
+#, fuzzy
+msgid "An alternative proof string"
+msgstr "Ordezko afiliazioa"
+
+#: lib/layouts/siamltex.layout:175 lib/layouts/svmono.layout:88
+#: lib/layouts/svmono.layout:92 lib/layouts/svmono.layout:96
+#: lib/layouts/llncs.layout:387 lib/layouts/foils.layout:284
+#: lib/layouts/beamer.layout:1222 lib/layouts/IEEEtran.layout:424
+#: lib/layouts/theorems-proof.inc:34 lib/layouts/svcommon.inc:646
+msgid "Proof."
+msgstr "Frogap."
+
+#: lib/layouts/siamltex.layout:192 lib/layouts/isprs.layout:94
+#: lib/layouts/hollywood.layout:333 lib/layouts/apa6.layout:38
+#: lib/layouts/aapaper.layout:78 lib/layouts/aapaper.layout:172
+#: lib/layouts/iopart.layout:58 lib/layouts/ijmpc.layout:107
+#: lib/layouts/revtex4.layout:116 lib/layouts/moderncv.layout:84
+#: lib/layouts/paper.layout:112 lib/layouts/svprobth.layout:76
+#: lib/layouts/simplecv.layout:131 lib/layouts/egs.layout:263
+#: lib/layouts/elsarticle.layout:82 lib/layouts/docbook-chapter.layout:10
+#: lib/layouts/scrlttr2.layout:275 lib/layouts/powerdot.layout:43
+#: lib/layouts/ectaart.layout:16 lib/layouts/entcs.layout:40
+#: lib/layouts/acmsiggraph.layout:141 lib/layouts/revtex.layout:96
+#: lib/layouts/llncs.layout:108 lib/layouts/docbook-book.layout:12
+#: lib/layouts/aastex.layout:128 lib/layouts/docbook-section.layout:10
+#: lib/layouts/elsart.layout:93 lib/layouts/kluwer.layout:113
+#: lib/layouts/achemso.layout:56 lib/layouts/ijmpd.layout:112
+#: lib/layouts/broadway.layout:187 lib/layouts/aa.layout:204
+#: lib/layouts/foils.layout:127 lib/layouts/cl2emult.layout:41
+#: lib/layouts/tufte-book.layout:35 lib/layouts/jasatex.layout:60
+#: lib/layouts/ltugboat.layout:140 lib/layouts/scrlettr.layout:193
+#: lib/layouts/apa.layout:41 lib/layouts/beamer.layout:877
+#: lib/layouts/revtex4-1.layout:212 lib/layouts/agutex.layout:56
+#: lib/layouts/latex8.layout:39 lib/layouts/IEEEtran.layout:66
+#: lib/layouts/svmult.layout:47 lib/layouts/scrclass.inc:175
+#: lib/layouts/agu_stdtitle.inc:247 lib/layouts/stdtitle.inc:14