+#: lib/layouts/IEEEtran.layout:18 lib/layouts/aa.layout:27
+#: lib/layouts/aapaper.layout:34 lib/layouts/aastex.layout:52
+#: lib/layouts/achemso.layout:30 lib/layouts/acmsiggraph.layout:34
+#: lib/layouts/amsart.layout:24 lib/layouts/amsbook.layout:25
+#: lib/layouts/apa.layout:24 lib/layouts/beamer.layout:32
+#: lib/layouts/broadway.layout:173 lib/layouts/chess.layout:29
+#: lib/layouts/cl2emult.layout:125 lib/layouts/dtk.layout:31
+#: lib/layouts/egs.layout:18 lib/layouts/elsart.layout:47
+#: lib/layouts/elsarticle.layout:31 lib/layouts/europecv.layout:16
+#: lib/layouts/foils.layout:30 lib/layouts/g-brief2.layout:31
+#: lib/layouts/hollywood.layout:345 lib/layouts/iopart.layout:34
+#: lib/layouts/kluwer.layout:33 lib/layouts/llncs.layout:23
+#: lib/layouts/ltugboat.layout:30 lib/layouts/manpage.layout:18
+#: lib/layouts/memoir.layout:30 lib/layouts/moderncv.layout:19
+#: lib/layouts/paper.layout:14 lib/layouts/powerdot.layout:107
+#: lib/layouts/revtex.layout:22 lib/layouts/revtex4.layout:40
+#: lib/layouts/scrlettr.layout:7 lib/layouts/scrlttr2.layout:8
+#: lib/layouts/siamltex.layout:31 lib/layouts/sigplanconf.layout:37
+#: lib/layouts/simplecv.layout:16 lib/layouts/slides.layout:60
+#: lib/layouts/agu_stdclass.inc:22 lib/layouts/db_stdclass.inc:22
+#: lib/layouts/scrclass.inc:15 lib/layouts/stdclass.inc:28
+#: lib/layouts/stdletter.inc:12 lib/layouts/svjour.inc:27
+#: lib/ui/stdtoolbars.inc:55 src/insets/InsetRef.cpp:171
+msgid "Standard"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:49
+msgid "TheoremTemplate"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:65 lib/layouts/beamer.layout:1052
+#: lib/layouts/elsart.layout:285 lib/layouts/foils.layout:278
+#: lib/layouts/heb-article.layout:95 lib/layouts/ijmpc.layout:211
+#: lib/layouts/ijmpd.layout:211 lib/layouts/llncs.layout:371
+#: lib/layouts/siamltex.layout:150 lib/layouts/svjour.inc:433
+#: lib/layouts/theorems-order.inc:76 lib/layouts/theorems-proof.inc:13
+#: lib/layouts/theorems-std.module:20 lib/layouts/theorems-std.module:36
+#: lib/layouts/theorems-std.module:39
+msgid "Proof"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:68 lib/layouts/heb-article.layout:110
+msgid "Proof:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:73 lib/layouts/beamer.layout:1058
+#: lib/layouts/elsart.layout:256 lib/layouts/foils.layout:218
+#: lib/layouts/heb-article.layout:18 lib/layouts/ijmpc.layout:190
+#: lib/layouts/ijmpd.layout:193 lib/layouts/llncs.layout:412
+#: lib/layouts/siamltex.layout:62 lib/layouts/siamltex.layout:112
+#: lib/layouts/svjour.inc:475 lib/layouts/theorems-ams.inc:24
+#: lib/layouts/theorems-ams.inc:25 lib/layouts/theorems-ams.inc:56
+#: lib/layouts/theorems-ams.inc:59 lib/layouts/theorems-ams.inc:276
+#: lib/layouts/theorems-order.inc:7 lib/layouts/theorems-proof.inc:14
+#: lib/layouts/theorems-starred-equivalents.inc:6
+#: lib/layouts/theorems-starred.inc:24 lib/layouts/theorems-starred.inc:54
+#: lib/layouts/theorems-starred.inc:57 lib/layouts/theorems.inc:24
+#: lib/layouts/theorems.inc:25 lib/layouts/theorems.inc:55
+#: lib/layouts/theorems.inc:58 lib/layouts/theorems.inc:270
+#: lib/layouts/theorems-chap.module:17 lib/layouts/theorems-chap.module:26
+#: lib/layouts/theorems-chap.module:29 lib/layouts/theorems-sec.module:16
+#: lib/layouts/theorems-sec.module:21 lib/layouts/theorems-sec.module:24
+msgid "Theorem"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:76
+msgid "Theorem #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:83 lib/layouts/elsart.layout:312
+#: lib/layouts/foils.layout:243 lib/layouts/heb-article.layout:45
+#: lib/layouts/ijmpc.layout:238 lib/layouts/ijmpd.layout:243
+#: lib/layouts/llncs.layout:351 lib/layouts/siamltex.layout:82
+#: lib/layouts/svjour.inc:412 lib/layouts/theorems-ams.inc:83
+#: lib/layouts/theorems-ams.inc:93 lib/layouts/theorems-ams.inc:96
+#: lib/layouts/theorems-order.inc:19
+#: lib/layouts/theorems-starred-equivalents.inc:20
+#: lib/layouts/theorems-starred.inc:89 lib/layouts/theorems-starred.inc:92
+#: lib/layouts/theorems.inc:81 lib/layouts/theorems.inc:90
+#: lib/layouts/theorems.inc:93
+msgid "Lemma"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:86
+msgid "Lemma #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:93 lib/layouts/beamer.layout:988
+#: lib/layouts/elsart.layout:319 lib/layouts/foils.layout:250
+#: lib/layouts/heb-article.layout:55 lib/layouts/ijmpc.layout:229
+#: lib/layouts/ijmpd.layout:230 lib/layouts/llncs.layout:316
+#: lib/layouts/siamltex.layout:72 lib/layouts/svjour.inc:373
+#: lib/layouts/theorems-ams.inc:65 lib/layouts/theorems-ams.inc:75
+#: lib/layouts/theorems-ams.inc:78 lib/layouts/theorems-order.inc:13
+#: lib/layouts/theorems-starred-equivalents.inc:13
+#: lib/layouts/theorems-starred.inc:72 lib/layouts/theorems-starred.inc:75
+#: lib/layouts/theorems.inc:64 lib/layouts/theorems.inc:73
+#: lib/layouts/theorems.inc:76
+msgid "Corollary"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:96
+msgid "Corollary #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:103 lib/layouts/elsart.layout:326
+#: lib/layouts/foils.layout:257 lib/layouts/ijmpc.layout:247
+#: lib/layouts/ijmpd.layout:253 lib/layouts/llncs.layout:385
+#: lib/layouts/siamltex.layout:92 lib/layouts/svjour.inc:447
+#: lib/layouts/theorems-ams.inc:101 lib/layouts/theorems-ams.inc:111
+#: lib/layouts/theorems-ams.inc:114 lib/layouts/theorems-order.inc:25
+#: lib/layouts/theorems-starred-equivalents.inc:27
+#: lib/layouts/theorems-starred.inc:106 lib/layouts/theorems-starred.inc:109
+#: lib/layouts/theorems.inc:98 lib/layouts/theorems.inc:107
+#: lib/layouts/theorems.inc:110
+msgid "Proposition"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:106
+msgid "Proposition #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:113 lib/layouts/elsart.layout:361
+#: lib/layouts/ijmpc.layout:283 lib/layouts/ijmpd.layout:293
+#: lib/layouts/llncs.layout:309 lib/layouts/siamltex.layout:102
+#: lib/layouts/svjour.inc:366 lib/layouts/theorems-ams.inc:119
+#: lib/layouts/theorems-ams.inc:129 lib/layouts/theorems-ams.inc:132
+#: lib/layouts/theorems-order.inc:31
+#: lib/layouts/theorems-starred-equivalents.inc:34
+#: lib/layouts/theorems-starred.inc:123 lib/layouts/theorems-starred.inc:126
+#: lib/layouts/theorems.inc:115 lib/layouts/theorems.inc:124
+#: lib/layouts/theorems.inc:127
+msgid "Conjecture"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:116
+msgid "Conjecture #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:123 lib/layouts/elsart.layout:333
+#: lib/layouts/theorems-ams-extended.module:35
+#: lib/layouts/theorems-ams-extended.module:45
+#: lib/layouts/theorems-ams-extended.module:48
+#: lib/layouts/theorems-ams-extended.module:61
+#: lib/layouts/theorems-ams-extended.module:64
+msgid "Criterion"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:126
+msgid "Criterion #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:133 lib/layouts/beamer.layout:1046
+#: lib/layouts/theorems-ams.inc:137 lib/layouts/theorems-ams.inc:147
+#: lib/layouts/theorems-ams.inc:150 lib/layouts/theorems-starred.inc:140
+#: lib/layouts/theorems-starred.inc:143 lib/layouts/theorems.inc:132
+#: lib/layouts/theorems.inc:141 lib/layouts/theorems.inc:144
+msgid "Fact"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:136
+msgid "Fact #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:143
+#: lib/layouts/theorems-ams-extended.module:104
+#: lib/layouts/theorems-ams-extended.module:114
+#: lib/layouts/theorems-ams-extended.module:117
+#: lib/layouts/theorems-ams-extended.module:131
+#: lib/layouts/theorems-ams-extended.module:134
+msgid "Axiom"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:146
+msgid "Axiom #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:153 lib/layouts/beamer.layout:1016
+#: lib/layouts/elsart.layout:347 lib/layouts/foils.layout:264
+#: lib/layouts/heb-article.layout:75 lib/layouts/ijmpc.layout:131
+#: lib/layouts/ijmpd.layout:128 lib/layouts/llncs.layout:330
+#: lib/layouts/siamltex.layout:121 lib/layouts/svjour.inc:387
+#: lib/layouts/theorems-ams.inc:155 lib/layouts/theorems-ams.inc:172
+#: lib/layouts/theorems-ams.inc:175 lib/layouts/theorems-order.inc:37
+#: lib/layouts/theorems-starred-equivalents.inc:41
+#: lib/layouts/theorems-starred.inc:165 lib/layouts/theorems-starred.inc:168
+#: lib/layouts/theorems.inc:149 lib/layouts/theorems.inc:166
+#: lib/layouts/theorems.inc:169
+msgid "Definition"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:156
+msgid "Definition #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:163 lib/layouts/beamer.layout:1028
+#: lib/layouts/elsart.layout:368 lib/layouts/ijmpc.layout:163
+#: lib/layouts/ijmpd.layout:160 lib/layouts/llncs.layout:337
+#: lib/layouts/svjour.inc:394 lib/layouts/theorems-ams.inc:180
+#: lib/layouts/theorems-ams.inc:189 lib/layouts/theorems-ams.inc:192
+#: lib/layouts/theorems-order.inc:43
+#: lib/layouts/theorems-starred-equivalents.inc:48
+#: lib/layouts/theorems-starred.inc:182 lib/layouts/theorems-starred.inc:185
+#: lib/layouts/theorems.inc:174 lib/layouts/theorems.inc:183
+#: lib/layouts/theorems.inc:186 src/frontends/qt4/GuiDocument.cpp:841
+msgid "Example"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:166
+msgid "Example #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:173
+#: lib/layouts/theorems-ams-extended.module:139
+#: lib/layouts/theorems-ams-extended.module:148
+#: lib/layouts/theorems-ams-extended.module:151
+#: lib/layouts/theorems-ams-extended.module:165
+#: lib/layouts/theorems-ams-extended.module:168
+msgid "Condition"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:176
+msgid "Condition #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:183 lib/layouts/elsart.layout:375
+#: lib/layouts/llncs.layout:364 lib/layouts/svjour.inc:426
+#: lib/layouts/theorems-ams.inc:197 lib/layouts/theorems-ams.inc:206
+#: lib/layouts/theorems-ams.inc:209 lib/layouts/theorems-order.inc:49
+#: lib/layouts/theorems-starred-equivalents.inc:55
+#: lib/layouts/theorems-starred.inc:199 lib/layouts/theorems-starred.inc:202
+#: lib/layouts/theorems.inc:191 lib/layouts/theorems.inc:200
+#: lib/layouts/theorems.inc:203
+msgid "Problem"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:186
+msgid "Problem #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:193 lib/layouts/llncs.layout:344
+#: lib/layouts/svjour.inc:401 lib/layouts/theorems-ams.inc:214
+#: lib/layouts/theorems-ams.inc:223 lib/layouts/theorems-ams.inc:226
+#: lib/layouts/theorems-order.inc:55
+#: lib/layouts/theorems-starred-equivalents.inc:62
+#: lib/layouts/theorems-starred.inc:216 lib/layouts/theorems-starred.inc:219
+#: lib/layouts/theorems.inc:208 lib/layouts/theorems.inc:217
+#: lib/layouts/theorems.inc:220
+msgid "Exercise"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:196
+msgid "Exercise #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:203 lib/layouts/elsart.layout:382
+#: lib/layouts/ijmpc.layout:172 lib/layouts/ijmpd.layout:170
+#: lib/layouts/llncs.layout:398 lib/layouts/svjour.inc:461
+#: lib/layouts/theorems-ams.inc:231 lib/layouts/theorems-ams.inc:249
+#: lib/layouts/theorems-ams.inc:252 lib/layouts/theorems-order.inc:61
+#: lib/layouts/theorems-starred-equivalents.inc:69
+#: lib/layouts/theorems-starred.inc:241 lib/layouts/theorems-starred.inc:244
+#: lib/layouts/theorems.inc:225 lib/layouts/theorems.inc:243
+#: lib/layouts/theorems.inc:246
+msgid "Remark"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:206
+msgid "Remark #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:213 lib/layouts/elsart.layout:396
+#: lib/layouts/heb-article.layout:65 lib/layouts/ijmpc.layout:274
+#: lib/layouts/ijmpd.layout:283 lib/layouts/llncs.layout:302
+#: lib/layouts/svjour.inc:345 lib/layouts/theorems-ams.inc:257
+#: lib/layouts/theorems-ams.inc:266 lib/layouts/theorems-ams.inc:269
+#: lib/layouts/theorems-order.inc:67
+#: lib/layouts/theorems-starred-equivalents.inc:76
+#: lib/layouts/theorems-starred.inc:258 lib/layouts/theorems-starred.inc:261
+#: lib/layouts/theorems.inc:251 lib/layouts/theorems.inc:260
+#: lib/layouts/theorems.inc:263
+msgid "Claim"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:216
+msgid "Claim #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:223 lib/layouts/apa.layout:212
+#: lib/layouts/elsart.layout:389 lib/layouts/iopart.layout:93
+#: lib/layouts/llncs.layout:357 lib/layouts/powerdot.layout:198
+#: lib/layouts/slides.layout:167 lib/layouts/svjour.inc:419
+#: lib/layouts/theorems-ams-extended.module:173
+#: lib/layouts/theorems-ams-extended.module:182
+#: lib/layouts/theorems-ams-extended.module:185
+#: lib/layouts/theorems-ams-extended.module:199
+#: lib/layouts/theorems-ams-extended.module:202
+msgid "Note"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:226
+msgid "Note #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:233 lib/layouts/ijmpc.layout:181
+#: lib/layouts/ijmpd.layout:180 lib/layouts/theorems-ams-extended.module:207
+#: lib/layouts/theorems-ams-extended.module:216
+#: lib/layouts/theorems-ams-extended.module:219
+#: lib/layouts/theorems-ams-extended.module:233
+#: lib/layouts/theorems-ams-extended.module:236
+msgid "Notation"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:236
+msgid "Notation #:"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:243 lib/layouts/elsart.layout:411
+#: lib/layouts/llncs.layout:281 lib/layouts/theorems-ams.inc:275
+#: lib/layouts/theorems-ams.inc:310 lib/layouts/theorems-ams.inc:313
+#: lib/layouts/theorems-order.inc:73 lib/layouts/theorems.inc:269
+#: lib/layouts/theorems.inc:294 lib/layouts/theorems.inc:297
+msgid "Case"
+msgstr ""
+
+#: lib/layouts/IEEEtran.layout:246
+msgid "Case #:"