-#: lib/layouts/IEEEtran.layout:73 lib/layouts/beamer.layout:1059
-#: lib/layouts/elsart.layout:257 lib/layouts/foils.layout:218
-#: lib/layouts/heb-article.layout:18 lib/layouts/ijmpc.layout:194
-#: lib/layouts/ijmpd.layout:197 lib/layouts/llncs.layout:419
-#: lib/layouts/siamltex.layout:62 lib/layouts/siamltex.layout:112
-#: lib/layouts/svjour.inc:440 lib/layouts/theorems-ams-bytype.inc:52
-#: lib/layouts/theorems-ams-bytype.inc:53
-#: lib/layouts/theorems-ams-bytype.inc:240 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-bytype.inc:26 lib/layouts/theorems-bytype.inc:27
-#: lib/layouts/theorems-bytype.inc:214 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:56
-#: lib/layouts/theorems.inc:59 lib/layouts/theorems.inc:276
-#: lib/layouts/theorems-chap-bytype.module:54
-#: lib/layouts/theorems-chap.module:19 lib/layouts/theorems-chap.module:29
-#: lib/layouts/theorems-chap.module:32
-#: lib/layouts/theorems-sec-bytype.module:54
-#: lib/layouts/theorems-sec.module:18 lib/layouts/theorems-sec.module:24
-#: lib/layouts/theorems-sec.module:27
-msgid "Theorem"
-msgstr "משפט"
-
-#: lib/layouts/IEEEtran.layout:76
-msgid "Theorem #:"
-msgstr "משפט #:"
-
-#: lib/layouts/IEEEtran.layout:83 lib/layouts/elsart.layout:313
-#: lib/layouts/foils.layout:243 lib/layouts/heb-article.layout:45
-#: lib/layouts/ijmpc.layout:242 lib/layouts/ijmpd.layout:247
-#: lib/layouts/llncs.layout:358 lib/layouts/siamltex.layout:82
-#: lib/layouts/svjour.inc:377 lib/layouts/theorems-ams-bytype.inc:99
-#: lib/layouts/theorems-ams.inc:83 lib/layouts/theorems-ams.inc:93
-#: lib/layouts/theorems-ams.inc:96 lib/layouts/theorems-bytype.inc:73
-#: 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:83 lib/layouts/theorems.inc:93
-#: lib/layouts/theorems.inc:96 lib/layouts/theorems-chap-bytype.module:78
-#: lib/layouts/theorems-sec-bytype.module:70
-msgid "Lemma"
-msgstr "למה"
-
-#: lib/layouts/IEEEtran.layout:86
-msgid "Lemma #:"
-msgstr "למה #:"
-
-#: lib/layouts/IEEEtran.layout:93 lib/layouts/beamer.layout:989
-#: lib/layouts/elsart.layout:320 lib/layouts/foils.layout:250
-#: lib/layouts/heb-article.layout:55 lib/layouts/ijmpc.layout:233
-#: lib/layouts/ijmpd.layout:234 lib/layouts/llncs.layout:323
-#: lib/layouts/siamltex.layout:72 lib/layouts/svjour.inc:338
-#: lib/layouts/theorems-ams-bytype.inc:87 lib/layouts/theorems-ams.inc:65
-#: lib/layouts/theorems-ams.inc:75 lib/layouts/theorems-ams.inc:78
-#: lib/layouts/theorems-bytype.inc:61 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:65 lib/layouts/theorems.inc:75
-#: lib/layouts/theorems.inc:78 lib/layouts/theorems-chap-bytype.module:66
-#: lib/layouts/theorems-sec-bytype.module:62
-msgid "Corollary"
-msgstr "מסקנה"
-
-#: lib/layouts/IEEEtran.layout:96
-msgid "Corollary #:"
-msgstr "מסקנה #:"
-
-# לבדוק מה זה
-#: lib/layouts/IEEEtran.layout:103 lib/layouts/elsart.layout:327
-#: lib/layouts/foils.layout:257 lib/layouts/ijmpc.layout:251
-#: lib/layouts/ijmpd.layout:257 lib/layouts/llncs.layout:392
-#: lib/layouts/siamltex.layout:92 lib/layouts/svjour.inc:412
-#: lib/layouts/theorems-ams-bytype.inc:111 lib/layouts/theorems-ams.inc:101
-#: lib/layouts/theorems-ams.inc:111 lib/layouts/theorems-ams.inc:114
-#: lib/layouts/theorems-bytype.inc:85 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:101 lib/layouts/theorems.inc:111
-#: lib/layouts/theorems.inc:114 lib/layouts/theorems-chap-bytype.module:90
-#: lib/layouts/theorems-sec-bytype.module:78
-msgid "Proposition"
-msgstr "הצעה"
-
-# לבדוק מה זה
-#: lib/layouts/IEEEtran.layout:106
-msgid "Proposition #:"
-msgstr "הצעה #:"
-
-#: lib/layouts/IEEEtran.layout:113 lib/layouts/elsart.layout:362
-#: lib/layouts/ijmpc.layout:287 lib/layouts/ijmpd.layout:297
-#: lib/layouts/llncs.layout:316 lib/layouts/siamltex.layout:102
-#: lib/layouts/svjour.inc:331 lib/layouts/theorems-ams-bytype.inc:123
-#: lib/layouts/theorems-ams.inc:119 lib/layouts/theorems-ams.inc:129
-#: lib/layouts/theorems-ams.inc:132 lib/layouts/theorems-bytype.inc:97
-#: 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:119 lib/layouts/theorems.inc:129
-#: lib/layouts/theorems.inc:132 lib/layouts/theorems-chap-bytype.module:102
-#: lib/layouts/theorems-sec-bytype.module:86
-msgid "Conjecture"
-msgstr ""
-
-#: lib/layouts/IEEEtran.layout:116
-msgid "Conjecture #:"
-msgstr ""
-
-#: lib/layouts/IEEEtran.layout:123 lib/layouts/elsart.layout:334
-#: lib/layouts/theorems-ams-extended-bytype.module:60
-#: 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 "קריטריון"
-
-#: lib/layouts/IEEEtran.layout:126
-msgid "Criterion #:"
-msgstr "קריטריון #:"
-
-#: lib/layouts/IEEEtran.layout:133 lib/layouts/beamer.layout:1047
-#: lib/layouts/theorems-ams-bytype.inc:135 lib/layouts/theorems-ams.inc:137
-#: lib/layouts/theorems-ams.inc:147 lib/layouts/theorems-ams.inc:150
-#: lib/layouts/theorems-bytype.inc:109 lib/layouts/theorems-starred.inc:140
-#: lib/layouts/theorems-starred.inc:143 lib/layouts/theorems.inc:137
-#: lib/layouts/theorems.inc:147 lib/layouts/theorems.inc:150
-#: lib/layouts/theorems-chap-bytype.module:114
-#: lib/layouts/theorems-sec-bytype.module:94
-msgid "Fact"
-msgstr "עובדה"
-
-#: lib/layouts/IEEEtran.layout:136
-msgid "Fact #:"
-msgstr "עובדה #:"
-
-#: lib/layouts/IEEEtran.layout:143
-#: lib/layouts/theorems-ams-extended-bytype.module:105
-#: lib/layouts/theorems-ams-extended.module:105
-#: lib/layouts/theorems-ams-extended.module:115
-#: lib/layouts/theorems-ams-extended.module:118
-#: lib/layouts/theorems-ams-extended.module:132
-#: lib/layouts/theorems-ams-extended.module:135
-msgid "Axiom"
-msgstr "אקסיומה"
-
-#: lib/layouts/IEEEtran.layout:146
-msgid "Axiom #:"
-msgstr "אקסיומה #:"
-
-#: lib/layouts/IEEEtran.layout:153 lib/layouts/beamer.layout:1017
-#: lib/layouts/elsart.layout:348 lib/layouts/foils.layout:264
-#: lib/layouts/heb-article.layout:75 lib/layouts/ijmpc.layout:135
-#: lib/layouts/ijmpd.layout:132 lib/layouts/llncs.layout:337
-#: lib/layouts/siamltex.layout:121 lib/layouts/svjour.inc:352
-#: lib/layouts/theorems-ams-bytype.inc:147 lib/layouts/theorems-ams.inc:155
-#: lib/layouts/theorems-ams.inc:172 lib/layouts/theorems-ams.inc:175
-#: lib/layouts/theorems-bytype.inc:121 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:155 lib/layouts/theorems.inc:172
-#: lib/layouts/theorems.inc:175 lib/layouts/theorems-chap-bytype.module:126
-#: lib/layouts/theorems-sec-bytype.module:102
-msgid "Definition"
-msgstr "הגדרה"
-
-#: lib/layouts/IEEEtran.layout:156
-msgid "Definition #:"
-msgstr "הגדרה #:"
-
-#: lib/layouts/IEEEtran.layout:163 lib/layouts/beamer.layout:1029
-#: lib/layouts/elsart.layout:369 lib/layouts/ijmpc.layout:167
-#: lib/layouts/ijmpd.layout:164 lib/layouts/llncs.layout:344
-#: lib/layouts/svjour.inc:359 lib/layouts/theorems-ams-bytype.inc:166
-#: lib/layouts/theorems-ams.inc:180 lib/layouts/theorems-ams.inc:189
-#: lib/layouts/theorems-ams.inc:192 lib/layouts/theorems-bytype.inc:140
-#: 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:180 lib/layouts/theorems.inc:189
-#: lib/layouts/theorems.inc:192 lib/layouts/theorems-chap-bytype.module:138
-#: lib/layouts/theorems-sec-bytype.module:110
-#: src/frontends/qt4/GuiDocument.cpp:885
-msgid "Example"
-msgstr "דוגמה"
-
-#: lib/layouts/IEEEtran.layout:166
-msgid "Example #:"
-msgstr "דוגמה #:"
-
-#: lib/layouts/IEEEtran.layout:173
-#: lib/layouts/theorems-ams-extended-bytype.module:128
-#: lib/layouts/theorems-ams-extended.module:140
-#: lib/layouts/theorems-ams-extended.module:149
-#: lib/layouts/theorems-ams-extended.module:152
-#: lib/layouts/theorems-ams-extended.module:166
-#: lib/layouts/theorems-ams-extended.module:169
-msgid "Condition"
-msgstr "תנאי"
-
-#: lib/layouts/IEEEtran.layout:176
-msgid "Condition #:"
-msgstr "תנאי #:"
-
-#: lib/layouts/IEEEtran.layout:183 lib/layouts/elsart.layout:376
-#: lib/layouts/llncs.layout:371 lib/layouts/svmono.layout:161
-#: lib/layouts/svjour.inc:391 lib/layouts/theorems-ams-bytype.inc:179
-#: lib/layouts/theorems-ams.inc:197 lib/layouts/theorems-ams.inc:206
-#: lib/layouts/theorems-ams.inc:209 lib/layouts/theorems-bytype.inc:153
-#: 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:197 lib/layouts/theorems.inc:206
-#: lib/layouts/theorems.inc:209 lib/layouts/theorems-chap-bytype.module:150
-#: lib/layouts/theorems-sec-bytype.module:118
-msgid "Problem"
-msgstr "בעיה"
-
-#: lib/layouts/IEEEtran.layout:186
-msgid "Problem #:"
-msgstr "בעיה #:"
-
-#: lib/layouts/IEEEtran.layout:193 lib/layouts/llncs.layout:351
-#: lib/layouts/svjour.inc:366 lib/layouts/theorems-ams-bytype.inc:192
-#: lib/layouts/theorems-ams.inc:214 lib/layouts/theorems-ams.inc:223
-#: lib/layouts/theorems-ams.inc:226 lib/layouts/theorems-bytype.inc:166
-#: 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:214 lib/layouts/theorems.inc:223
-#: lib/layouts/theorems.inc:226 lib/layouts/theorems-chap-bytype.module:162
-#: lib/layouts/theorems-sec-bytype.module:126
-msgid "Exercise"
-msgstr "תרגיל"
-
-#: lib/layouts/IEEEtran.layout:196
-msgid "Exercise #:"
-msgstr "תרגיל #:"
-
-#: lib/layouts/IEEEtran.layout:203 lib/layouts/elsart.layout:383
-#: lib/layouts/ijmpc.layout:176 lib/layouts/ijmpd.layout:174
-#: lib/layouts/llncs.layout:405 lib/layouts/svjour.inc:426
-#: lib/layouts/theorems-ams-bytype.inc:205 lib/layouts/theorems-ams.inc:231
-#: lib/layouts/theorems-ams.inc:249 lib/layouts/theorems-ams.inc:252
-#: lib/layouts/theorems-bytype.inc:179 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:231 lib/layouts/theorems.inc:249
-#: lib/layouts/theorems.inc:252 lib/layouts/theorems-chap-bytype.module:174
-#: lib/layouts/theorems-sec-bytype.module:134
-msgid "Remark"
-msgstr "הערה"
-
-#: lib/layouts/IEEEtran.layout:206
-msgid "Remark #:"
-msgstr "הערה #:"
-
-#: lib/layouts/IEEEtran.layout:213 lib/layouts/elsart.layout:397
-#: lib/layouts/heb-article.layout:65 lib/layouts/ijmpc.layout:278
-#: lib/layouts/ijmpd.layout:287 lib/layouts/llncs.layout:309
-#: lib/layouts/svjour.inc:309 lib/layouts/theorems-ams-bytype.inc:225
-#: lib/layouts/theorems-ams.inc:257 lib/layouts/theorems-ams.inc:266
-#: lib/layouts/theorems-ams.inc:269 lib/layouts/theorems-bytype.inc:199
-#: 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:257 lib/layouts/theorems.inc:266
-#: lib/layouts/theorems.inc:269 lib/layouts/theorems-chap-bytype.module:186
-#: lib/layouts/theorems-sec-bytype.module:142
-msgid "Claim"
-msgstr "טענה"
-
-#: lib/layouts/IEEEtran.layout:216
-msgid "Claim #:"
-msgstr "טענה #:"
-
-#: lib/layouts/IEEEtran.layout:223 lib/layouts/apa.layout:213
-#: lib/layouts/elsart.layout:390 lib/layouts/iopart.layout:94
-#: lib/layouts/llncs.layout:364 lib/layouts/powerdot.layout:200
-#: lib/layouts/slides.layout:167 lib/layouts/svjour.inc:384
-#: lib/layouts/theorems-ams-extended-bytype.module:151
-#: lib/layouts/theorems-ams-extended.module:174
-#: lib/layouts/theorems-ams-extended.module:183
-#: lib/layouts/theorems-ams-extended.module:186
-#: lib/layouts/theorems-ams-extended.module:200
-#: lib/layouts/theorems-ams-extended.module:203
-msgid "Note"
-msgstr "הערה"
-
-#: lib/layouts/IEEEtran.layout:226
-msgid "Note #:"
-msgstr "הערה #:"
-
-#: lib/layouts/IEEEtran.layout:233 lib/layouts/ijmpc.layout:185
-#: lib/layouts/ijmpd.layout:184
-#: lib/layouts/theorems-ams-extended-bytype.module:174
-#: 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 ""
-
-#: lib/layouts/IEEEtran.layout:236
-msgid "Notation #:"
-msgstr ""
-
-#: lib/layouts/IEEEtran.layout:243 lib/layouts/elsart.layout:412
-#: lib/layouts/llncs.layout:288 lib/layouts/svmono.layout:155
-#: lib/layouts/svmult.layout:94 lib/layouts/theorems-ams-bytype.inc:239
-#: lib/layouts/theorems-ams.inc:275 lib/layouts/theorems-ams.inc:310
-#: lib/layouts/theorems-ams.inc:313 lib/layouts/theorems-bytype.inc:213
-#: lib/layouts/theorems-order.inc:73 lib/layouts/theorems.inc:275
-#: lib/layouts/theorems.inc:300 lib/layouts/theorems.inc:303
-msgid "Case"
-msgstr "תנאי"
-
-#: lib/layouts/IEEEtran.layout:246
-msgid "Case #:"
-msgstr "תנאי #:"
-
-#: lib/layouts/IEEEtran.layout:272 lib/layouts/aa.layout:42
-#: lib/layouts/aa.layout:225 lib/layouts/aapaper.layout:64
-#: lib/layouts/aapaper.layout:133 lib/layouts/aastex.layout:67
-#: lib/layouts/aastex.layout:174 lib/layouts/amsart.layout:60
-#: lib/layouts/amsbook.layout:51 lib/layouts/apa.layout:308
-#: lib/layouts/beamer.layout:111 lib/layouts/beamer.layout:141
-#: lib/layouts/beamer.layout:142 lib/layouts/beamer.layout:184
-#: lib/layouts/egs.layout:30 lib/layouts/europecv.layout:29
-#: lib/layouts/ijmpc.layout:95 lib/layouts/ijmpd.layout:91
-#: lib/layouts/isprs.layout:155 lib/layouts/kluwer.layout:58
-#: lib/layouts/latex8.layout:41 lib/layouts/llncs.layout:46
-#: lib/layouts/ltugboat.layout:45 lib/layouts/memoir.layout:62
-#: lib/layouts/moderncv.layout:33 lib/layouts/paper.layout:56
-#: lib/layouts/powerdot.layout:226 lib/layouts/revtex.layout:38
-#: lib/layouts/revtex4.layout:59 lib/layouts/siamltex.layout:350
-#: lib/layouts/simplecv.layout:28 lib/layouts/spie.layout:19
-#: lib/layouts/svmono.layout:69 lib/layouts/svmono.layout:103
-#: lib/layouts/tufte-book.layout:47 lib/layouts/tufte-book.layout:67
-#: lib/layouts/tufte-book.layout:68 lib/layouts/tufte-handout.layout:22
-#: lib/layouts/agu_stdsections.inc:32 lib/layouts/aguplus.inc:27
-#: lib/layouts/db_stdsections.inc:30 lib/layouts/numrevtex.inc:6
-#: lib/layouts/scrclass.inc:71 lib/layouts/stdsections.inc:13
-#: lib/layouts/stdsections.inc:40 lib/layouts/stdsections.inc:64
-#: lib/layouts/stdsections.inc:65 lib/layouts/svjour.inc:56
-#: src/frontends/qt4/GuiDocument.cpp:169
-msgid "Section"
-msgstr "קטע"
-
-#: lib/layouts/IEEEtran.layout:283 lib/layouts/aa.layout:46
-#: lib/layouts/aa.layout:236 lib/layouts/aapaper.layout:68
-#: lib/layouts/aapaper.layout:143 lib/layouts/aastex.layout:71
-#: lib/layouts/aastex.layout:187 lib/layouts/amsart.layout:101
-#: lib/layouts/amsbook.layout:61 lib/layouts/apa.layout:319
-#: lib/layouts/beamer.layout:183 lib/layouts/egs.layout:52
-#: lib/layouts/ijmpc.layout:110 lib/layouts/ijmpd.layout:106
-#: lib/layouts/isprs.layout:167 lib/layouts/kluwer.layout:67
-#: lib/layouts/latex8.layout:50 lib/layouts/llncs.layout:55
-#: lib/layouts/ltugboat.layout:65 lib/layouts/memoir.layout:68
-#: lib/layouts/moderncv.layout:53 lib/layouts/paper.layout:65
-#: lib/layouts/revtex.layout:50 lib/layouts/revtex4.layout:71
-#: lib/layouts/siamltex.layout:361 lib/layouts/simplecv.layout:49
-#: lib/layouts/tufte-book.layout:90 lib/layouts/agu_stdsections.inc:43
-#: lib/layouts/aguplus.inc:42 lib/layouts/db_stdsections.inc:39
-#: lib/layouts/numrevtex.inc:15 lib/layouts/scrclass.inc:79
-#: lib/layouts/stdsections.inc:89 lib/layouts/svjour.inc:66
-msgid "Subsection"
-msgstr "תת-קטע"
-
-#: lib/layouts/IEEEtran.layout:292 lib/layouts/aa.layout:50
-#: lib/layouts/aa.layout:249 lib/layouts/aapaper.layout:72
-#: lib/layouts/aapaper.layout:155 lib/layouts/aastex.layout:75
-#: lib/layouts/aastex.layout:200 lib/layouts/amsart.layout:124
-#: lib/layouts/amsbook.layout:70 lib/layouts/apa.layout:329
-#: lib/layouts/ijmpc.layout:119 lib/layouts/ijmpd.layout:115
-#: lib/layouts/isprs.layout:177 lib/layouts/kluwer.layout:77
-#: lib/layouts/llncs.layout:64 lib/layouts/ltugboat.layout:85
-#: lib/layouts/memoir.layout:74 lib/layouts/paper.layout:74
-#: lib/layouts/recipebook.layout:97 lib/layouts/revtex.layout:59
-#: lib/layouts/revtex4.layout:80 lib/layouts/siamltex.layout:370
-#: lib/layouts/agu_stdsections.inc:54 lib/layouts/db_stdsections.inc:48
-#: lib/layouts/numrevtex.inc:24 lib/layouts/scrclass.inc:87
-#: lib/layouts/stdsections.inc:105 lib/layouts/svjour.inc:76