+#: lib/layouts/AEA.layout:208 lib/layouts/beamer.layout:1151
+#: lib/layouts/elsart.layout:337 lib/layouts/foils.layout:253
+#: lib/layouts/heb-article.layout:67 lib/layouts/ijmpc.layout:369
+#: lib/layouts/ijmpd.layout:381 lib/layouts/llncs.layout:329
+#: lib/layouts/siamltex.layout:78 lib/layouts/theorems-ams-bytype.inc:95
+#: lib/layouts/theorems-ams-bytype.inc:105
+#: lib/layouts/theorems-ams-bytype.inc:108 lib/layouts/theorems-ams.inc:69
+#: lib/layouts/theorems-ams.inc:79 lib/layouts/theorems-ams.inc:82
+#: lib/layouts/theorems-bytype.inc:71 lib/layouts/theorems-bytype.inc:80
+#: lib/layouts/theorems-bytype.inc:83 lib/layouts/theorems.inc:69
+#: lib/layouts/theorems.inc:79 lib/layouts/theorems.inc:82
+#: lib/layouts/theorems-order.inc:13
+#: lib/layouts/theorems-starred-equivalents.inc:13
+#: lib/layouts/theorems-starred.inc:76 lib/layouts/theorems-starred.inc:79
+#: lib/layouts/theorems-without-preamble.inc:75
+#: lib/layouts/theorems-without-preamble.inc:81
+#: lib/layouts/theorems-without-preamble.inc:84
+#: lib/layouts/theorems-chap-bytype.module:66
+#: lib/layouts/theorems-sec-bytype.module:62
+msgid "Corollary"
+msgstr "Corollario"
+
+#: lib/layouts/AEA.layout:215 lib/layouts/elsart.layout:351
+#: lib/layouts/theorems-ams-extended-bytype.module:60
+#: lib/layouts/theorems-ams-extended-bytype.module:69
+#: lib/layouts/theorems-ams-extended-bytype.module:72
+#: lib/layouts/theorems-ams-extended-bytype.module:86
+#: lib/layouts/theorems-ams-extended-bytype.module:89
+#: lib/layouts/theorems-ams-extended.module:36
+#: lib/layouts/theorems-ams-extended.module:46
+#: lib/layouts/theorems-ams-extended.module:49
+#: lib/layouts/theorems-ams-extended.module:62
+#: lib/layouts/theorems-ams-extended.module:65
+msgid "Criterion"
+msgstr "Criterio"
+
+#: lib/layouts/AEA.layout:223 lib/layouts/beamer.layout:1185
+#: lib/layouts/elsart.layout:365 lib/layouts/foils.layout:267
+#: lib/layouts/heb-article.layout:87 lib/layouts/llncs.layout:343
+#: lib/layouts/siamltex.layout:127 lib/layouts/theorems-ams-bytype.inc:185
+#: lib/layouts/theorems-ams-bytype.inc:201
+#: lib/layouts/theorems-ams-bytype.inc:204 lib/layouts/theorems-ams.inc:159
+#: lib/layouts/theorems-ams.inc:176 lib/layouts/theorems-ams.inc:179
+#: lib/layouts/theorems-bytype.inc:161 lib/layouts/theorems-bytype.inc:177
+#: lib/layouts/theorems-bytype.inc:180 lib/layouts/theorems.inc:159
+#: lib/layouts/theorems.inc:176 lib/layouts/theorems.inc:179
+#: lib/layouts/theorems-order.inc:37
+#: lib/layouts/theorems-starred-equivalents.inc:41
+#: lib/layouts/theorems-starred.inc:169 lib/layouts/theorems-starred.inc:172
+#: lib/layouts/theorems-without-preamble.inc:178
+#: lib/layouts/theorems-without-preamble.inc:192
+#: lib/layouts/theorems-without-preamble.inc:195
+#: lib/layouts/theorems-chap-bytype.module:126
+#: lib/layouts/theorems-sec-bytype.module:102
+msgid "Definition"
+msgstr "Definition"
+
+#: lib/layouts/AEA.layout:230 lib/layouts/beamer.layout:1197
+#: lib/layouts/elsart.layout:386 lib/layouts/llncs.layout:350
+#: lib/layouts/theorems-ams-bytype.inc:210
+#: lib/layouts/theorems-ams-bytype.inc:220
+#: lib/layouts/theorems-ams-bytype.inc:223 lib/layouts/theorems-ams.inc:184
+#: lib/layouts/theorems-ams.inc:193 lib/layouts/theorems-ams.inc:196
+#: lib/layouts/theorems-bytype.inc:186 lib/layouts/theorems-bytype.inc:196
+#: lib/layouts/theorems-bytype.inc:199 lib/layouts/theorems.inc:184
+#: lib/layouts/theorems.inc:193 lib/layouts/theorems.inc:196
+#: lib/layouts/theorems-order.inc:43
+#: lib/layouts/theorems-starred-equivalents.inc:48
+#: lib/layouts/theorems-starred.inc:186 lib/layouts/theorems-starred.inc:189
+#: lib/layouts/theorems-without-preamble.inc:202
+#: lib/layouts/theorems-without-preamble.inc:209
+#: lib/layouts/theorems-without-preamble.inc:212
+#: lib/layouts/theorems-chap-bytype.module:138
+#: lib/layouts/theorems-sec-bytype.module:110
+#: src/frontends/qt4/GuiDocument.cpp:1096
+msgid "Example"
+msgstr "Exemplo"
+
+#: lib/layouts/AEA.layout:237 lib/layouts/llncs.layout:357
+#: lib/layouts/theorems-ams-bytype.inc:248
+#: lib/layouts/theorems-ams-bytype.inc:258
+#: lib/layouts/theorems-ams-bytype.inc:261 lib/layouts/theorems-ams.inc:218
+#: lib/layouts/theorems-ams.inc:227 lib/layouts/theorems-ams.inc:230
+#: lib/layouts/theorems-bytype.inc:224 lib/layouts/theorems-bytype.inc:234
+#: lib/layouts/theorems-bytype.inc:237 lib/layouts/theorems.inc:218
+#: lib/layouts/theorems.inc:227 lib/layouts/theorems.inc:230
+#: lib/layouts/theorems-order.inc:55
+#: lib/layouts/theorems-starred-equivalents.inc:62
+#: lib/layouts/theorems-starred.inc:220 lib/layouts/theorems-starred.inc:223
+#: lib/layouts/theorems-without-preamble.inc:221
+#: lib/layouts/theorems-without-preamble.inc:240
+#: lib/layouts/theorems-without-preamble.inc:297
+#: lib/layouts/theorems-without-preamble.inc:304
+#: lib/layouts/theorems-without-preamble.inc:307
+#: lib/layouts/theorems-chap-bytype.module:162
+#: lib/layouts/theorems-sec-bytype.module:126
+msgid "Exercise"
+msgstr "Exercitio"
+
+#: lib/layouts/AEA.layout:244 lib/layouts/elsart.layout:330
+#: lib/layouts/foils.layout:246 lib/layouts/heb-article.layout:57
+#: lib/layouts/ijmpc.layout:373 lib/layouts/ijmpd.layout:388
+#: lib/layouts/llncs.layout:364 lib/layouts/siamltex.layout:88
+#: lib/layouts/theorems-ams-bytype.inc:113
+#: lib/layouts/theorems-ams-bytype.inc:122
+#: lib/layouts/theorems-ams-bytype.inc:125 lib/layouts/theorems-ams.inc:87
+#: lib/layouts/theorems-ams.inc:97 lib/layouts/theorems-ams.inc:100
+#: lib/layouts/theorems-bytype.inc:89 lib/layouts/theorems-bytype.inc:98
+#: lib/layouts/theorems-bytype.inc:101 lib/layouts/theorems.inc:87
+#: lib/layouts/theorems.inc:97 lib/layouts/theorems.inc:100
+#: lib/layouts/theorems-order.inc:19
+#: lib/layouts/theorems-starred-equivalents.inc:20
+#: lib/layouts/theorems-starred.inc:93 lib/layouts/theorems-starred.inc:96
+#: lib/layouts/theorems-without-preamble.inc:91
+#: lib/layouts/theorems-without-preamble.inc:97
+#: lib/layouts/theorems-without-preamble.inc:100
+#: lib/layouts/theorems-chap-bytype.module:78
+#: lib/layouts/theorems-sec-bytype.module:70
+msgid "Lemma"
+msgstr "Lemma"
+
+#: lib/layouts/AEA.layout:251 lib/layouts/agutex.layout:164
+#: lib/layouts/agutex.layout:176
+#: lib/layouts/theorems-ams-extended-bytype.module:234
+#: lib/layouts/theorems-ams-extended-bytype.module:243
+#: lib/layouts/theorems-ams-extended-bytype.module:246
+#: lib/layouts/theorems-ams-extended-bytype.module:261
+#: lib/layouts/theorems-ams-extended-bytype.module:264
+#: lib/layouts/theorems-ams-extended.module:208
+#: lib/layouts/theorems-ams-extended.module:217
+#: lib/layouts/theorems-ams-extended.module:220
+#: lib/layouts/theorems-ams-extended.module:234
+#: lib/layouts/theorems-ams-extended.module:237
+msgid "Notation"
+msgstr "Notation"
+
+#: lib/layouts/AEA.layout:259 lib/layouts/elsart.layout:393
+#: lib/layouts/llncs.layout:377 lib/layouts/theorems-ams-bytype.inc:229
+#: lib/layouts/theorems-ams-bytype.inc:239
+#: lib/layouts/theorems-ams-bytype.inc:242 lib/layouts/theorems-ams.inc:201
+#: lib/layouts/theorems-ams.inc:210 lib/layouts/theorems-ams.inc:213
+#: lib/layouts/theorems-bytype.inc:205 lib/layouts/theorems-bytype.inc:215
+#: lib/layouts/theorems-bytype.inc:218 lib/layouts/theorems.inc:201
+#: lib/layouts/theorems.inc:210 lib/layouts/theorems.inc:213
+#: lib/layouts/theorems-order.inc:49
+#: lib/layouts/theorems-starred-equivalents.inc:55
+#: lib/layouts/theorems-starred.inc:203 lib/layouts/theorems-starred.inc:206
+#: lib/layouts/theorems-without-preamble.inc:219
+#: lib/layouts/theorems-without-preamble.inc:227
+#: lib/layouts/theorems-without-preamble.inc:230
+#: lib/layouts/theorems-chap-bytype.module:150
+#: lib/layouts/theorems-sec-bytype.module:118
+msgid "Problem"
+msgstr "Problema"
+
+#: lib/layouts/AEA.layout:267 lib/layouts/elsart.layout:344
+#: lib/layouts/foils.layout:260 lib/layouts/ijmpc.layout:377
+#: lib/layouts/ijmpd.layout:395 lib/layouts/llncs.layout:398
+#: lib/layouts/siamltex.layout:98 lib/layouts/theorems-ams-bytype.inc:131
+#: lib/layouts/theorems-ams-bytype.inc:140
+#: lib/layouts/theorems-ams-bytype.inc:143 lib/layouts/theorems-ams.inc:105
+#: lib/layouts/theorems-ams.inc:115 lib/layouts/theorems-ams.inc:118
+#: lib/layouts/theorems-bytype.inc:107 lib/layouts/theorems-bytype.inc:116
+#: lib/layouts/theorems-bytype.inc:119 lib/layouts/theorems.inc:105
+#: lib/layouts/theorems.inc:115 lib/layouts/theorems.inc:118
+#: lib/layouts/theorems-order.inc:25
+#: lib/layouts/theorems-starred-equivalents.inc:27
+#: lib/layouts/theorems-starred.inc:110 lib/layouts/theorems-starred.inc:113
+#: lib/layouts/theorems-without-preamble.inc:107
+#: lib/layouts/theorems-without-preamble.inc:113
+#: lib/layouts/theorems-without-preamble.inc:116
+#: lib/layouts/theorems-chap-bytype.module:90
+#: lib/layouts/theorems-sec-bytype.module:78
+msgid "Proposition"
+msgstr "Proposition"
+
+#: lib/layouts/AEA.layout:274 lib/layouts/elsart.layout:400
+#: lib/layouts/ijmpc.layout:361 lib/layouts/ijmpd.layout:370
+#: lib/layouts/llncs.layout:411 lib/layouts/theorems-ams-bytype.inc:267