src/tex2lyx/test/test-refstyle-theorems.lyx.lyx

   1 #LyX file created by tex2lyx 2.2
   2 \lyxformat 479
   3 \begin_document
   4 \begin_header
   5 \textclass book
   6 \begin_preamble
   7 \usepackage{babel}
   8
   9 \end_preamble
  10 \use_default_options false
  11 \begin_modules
  12 theorems-ams
  13 \end_modules
  14 \maintain_unincluded_children false
  15 \language english
  16 \language_package default
  17 \inputencoding iso8859-15
  18 \fontencoding T1
  19 \font_roman default
  20 \font_sans default
  21 \font_typewriter default
  22 \font_math auto
  23 \font_default_family default
  24 \use_non_tex_fonts false
  25 \font_sc false
  26 \font_osf false
  27 \font_sf_scale 100
  28 \font_tt_scale 100
  29 \graphics default
  30 \default_output_format default
  31 \output_sync 0
  32 \bibtex_command default
  33 \index_command default
  34 \paperfontsize default
  35 \spacing single
  36 \use_hyperref false
  37 \papersize default
  38 \use_geometry false
  39 \use_package amsmath 1
  40 \use_package amssymb 0
  41 \use_package cancel 0
  42 \use_package esint 1
  43 \use_package mathdots 0
  44 \use_package mathtools 0
  45 \use_package mhchem 0
  46 \use_package stackrel 0
  47 \use_package stmaryrd 0
  48 \use_package undertilde 0
  49 \cite_engine basic
  50 \cite_engine_type default
  51 \biblio_style plain
  52 \use_bibtopic false
  53 \use_indices false
  54 \paperorientation portrait
  55 \suppress_date false
  56 \justification true
  57 \use_refstyle 1
  58 \index Index
  59 \shortcut idx
  60 \color #008000
  61 \end_index
  62 \secnumdepth 3
  63 \tocdepth 3
  64 \paragraph_separation indent
  65 \paragraph_indentation default
  66 \quotes_language english
  67 \papercolumns 1
  68 \papersides 2
  69 \paperpagestyle default
  70 \tracking_changes false
  71 \output_changes false
  72 \html_math_output 0
  73 \html_css_as_file 0
  74 \html_be_strict false
  75 \end_header
  76
  77 \begin_body
  78
  79 \begin_layout Part
  80 part
  81 \begin_inset CommandInset label
  82 LatexCommand label
  83 name "part:part"
  84
  85 \end_inset
  86
  87
  88 \end_layout
  89
  90 \begin_layout Standard
  91
  92 \begin_inset CommandInset ref
  93 LatexCommand formatted
  94 reference "part:part"
  95
  96 \end_inset
  97
  98
  99 \end_layout
 100
 101 \begin_layout Chapter
 102 chapter
 103 \begin_inset CommandInset label
 104 LatexCommand label
 105 name "chap:chapter"
 106
 107 \end_inset
 108
 109
 110 \end_layout
 111
 112 \begin_layout Standard
 113
 114 \begin_inset CommandInset ref
 115 LatexCommand formatted
 116 reference "chap:chapter"
 117
 118 \end_inset
 119
 120
 121 \end_layout
 122
 123 \begin_layout Section
 124 Section
 125 \begin_inset CommandInset label
 126 LatexCommand label
 127 name "sec:Section"
 128
 129 \end_inset
 130
 131
 132 \end_layout
 133
 134 \begin_layout Standard
 135
 136 \begin_inset CommandInset ref
 137 LatexCommand formatted
 138 reference "sec:Section"
 139
 140 \end_inset
 141
 142
 143 \end_layout
 144
 145 \begin_layout Subsection
 146 Subsection
 147 \begin_inset CommandInset label
 148 LatexCommand label
 149 name "sub:subsection"
 150
 151 \end_inset
 152
 153
 154 \end_layout
 155
 156 \begin_layout Standard
 157 Ref to
 158 \begin_inset CommandInset ref
 159 LatexCommand formatted
 160 reference "sub:subsection"
 161
 162 \end_inset
 163
 164 .
 165 \end_layout
 166
 167 \begin_layout Subsubsection
 168 Subsubsection
 169 \begin_inset CommandInset label
 170 LatexCommand label
 171 name "sub:Subsubsection"
 172
 173 \end_inset
 174
 175
 176 \end_layout
 177
 178 \begin_layout Standard
 179 Ref to
 180 \begin_inset CommandInset ref
 181 LatexCommand formatted
 182 reference "sub:Subsubsection"
 183
 184 \end_inset
 185
 186 .
 187 \end_layout
 188
 189 \begin_layout Paragraph
 190 paragraph
 191 \begin_inset CommandInset label
 192 LatexCommand label
 193 name "par:paragraph"
 194
 195 \end_inset
 196
 197
 198 \end_layout
 199
 200 \begin_layout Standard
 201
 202 \begin_inset CommandInset ref
 203 LatexCommand formatted
 204 reference "par:paragraph"
 205
 206 \end_inset
 207
 208
 209 \end_layout
 210
 211 \begin_layout Subparagraph
 212 subparagraph
 213 \begin_inset CommandInset label
 214 LatexCommand label
 215 name "par:subparagraph"
 216
 217 \end_inset
 218
 219
 220 \end_layout
 221
 222 \begin_layout Standard
 223
 224 \begin_inset CommandInset ref
 225 LatexCommand formatted
 226 reference "par:subparagraph"
 227
 228 \end_inset
 229
 230
 231 \end_layout
 232
 233 \begin_layout Standard
 234
 235 \begin_inset Float figure
 236 wide false
 237 sideways false
 238 status open
 239
 240
 241 \begin_layout Standard
 242
 243 \begin_inset ERT
 244 status collapsed
 245
 246 \begin_layout Plain Layout
 247
 248 \backslash
 249 protect
 250 \end_layout
 251
 252 \end_inset
 253
 254
 255 \begin_inset Caption Standard
 256 status collapsed
 257
 258 \begin_layout Standard
 259 figure
 260 \begin_inset CommandInset label
 261 LatexCommand label
 262 name "fig:figure"
 263
 264 \end_inset
 265
 266
 267 \end_layout
 268
 269 \end_inset
 270
 271
 272 \end_layout
 273
 274 \end_inset
 275
 276
 277 \end_layout
 278
 279 \begin_layout Standard
 280
 281 \begin_inset CommandInset ref
 282 LatexCommand formatted
 283 reference "fig:figure"
 284
 285 \end_inset
 286
 287
 288 \end_layout
 289
 290 \begin_layout Standard
 291
 292 \begin_inset Float table
 293 wide false
 294 sideways false
 295 status open
 296
 297
 298 \begin_layout Standard
 299
 300 \begin_inset ERT
 301 status collapsed
 302
 303 \begin_layout Plain Layout
 304
 305 \backslash
 306 protect
 307 \end_layout
 308
 309 \end_inset
 310
 311
 312 \begin_inset Caption Standard
 313 status collapsed
 314
 315 \begin_layout Standard
 316 table
 317 \begin_inset CommandInset label
 318 LatexCommand label
 319 name "tab:table"
 320
 321 \end_inset
 322
 323
 324 \end_layout
 325
 326 \end_inset
 327
 328
 329 \end_layout
 330
 331 \end_inset
 332
 333
 334 \end_layout
 335
 336 \begin_layout Standard
 337
 338 \begin_inset CommandInset ref
 339 LatexCommand formatted
 340 reference "tab:table"
 341
 342 \end_inset
 343
 344
 345 \end_layout
 346
 347 \begin_layout Standard
 348
 349 \begin_inset Float algorithm
 350 wide false
 351 sideways false
 352 status open
 353
 354
 355 \begin_layout Standard
 356
 357 \begin_inset ERT
 358 status collapsed
 359
 360 \begin_layout Plain Layout
 361
 362 \backslash
 363 protect
 364 \end_layout
 365
 366 \end_inset
 367
 368
 369 \begin_inset Caption Standard
 370 status collapsed
 371
 372 \begin_layout Standard
 373 algorithm
 374 \begin_inset CommandInset label
 375 LatexCommand label
 376 name "alg:algorithm"
 377
 378 \end_inset
 379
 380
 381 \end_layout
 382
 383 \end_inset
 384
 385
 386 \end_layout
 387
 388 \end_inset
 389
 390
 391 \end_layout
 392
 393 \begin_layout Standard
 394
 395 \begin_inset CommandInset ref
 396 LatexCommand formatted
 397 reference "alg:algorithm"
 398
 399 \end_inset
 400
 401
 402 \end_layout
 403
 404 \begin_layout Standard
 405
 406 \begin_inset Foot
 407 status collapsed
 408
 409
 410 \begin_layout Standard
 411 foot
 412 \begin_inset CommandInset label
 413 LatexCommand label
 414 name "fn:foot"
 415
 416 \end_inset
 417
 418
 419 \end_layout
 420
 421 \end_inset
 422
 423
 424 \end_layout
 425
 426 \begin_layout Standard
 427
 428 \begin_inset CommandInset ref
 429 LatexCommand formatted
 430 reference "fn:foot"
 431
 432 \end_inset
 433
 434
 435 \end_layout
 436
 437 \begin_layout Standard
 438
 439 \begin_inset Marginal
 440 status collapsed
 441
 442
 443 \begin_layout Standard
 444 margin
 445 \begin_inset CommandInset label
 446 LatexCommand label
 447 name "margin"
 448
 449 \end_inset
 450
 451
 452 \end_layout
 453
 454 \end_inset
 455
 456
 457 \end_layout
 458
 459 \begin_layout Standard
 460
 461 \begin_inset CommandInset ref
 462 LatexCommand ref
 463 reference "margin"
 464
 465 \end_inset
 466
 467
 468 \end_layout
 469
 470 \begin_layout Enumerate
 471 item
 472 \begin_inset CommandInset label
 473 LatexCommand label
 474 name "enu:item"
 475
 476 \end_inset
 477
 478
 479 \end_layout
 480
 481 \begin_layout Standard
 482
 483 \begin_inset CommandInset ref
 484 LatexCommand formatted
 485 reference "enu:item"
 486
 487 \end_inset
 488
 489
 490 \end_layout
 491
 492 \begin_layout Standard
 493
 494 \begin_inset Formula \begin{equation}
 495 A=B\label{eq:A=00003DB}
 496 \end{equation}
 497 \end_inset
 498
 499
 500 \end_layout
 501
 502 \begin_layout Standard
 503
 504 \begin_inset CommandInset ref
 505 LatexCommand formatted
 506 reference "eq:A=00003DB"
 507
 508 \end_inset
 509
 510
 511 \end_layout
 512
 513 \begin_layout Lemma
 514 lemma
 515 \begin_inset CommandInset label
 516 LatexCommand label
 517 name "lem:lemma"
 518
 519 \end_inset
 520
 521
 522 \end_layout
 523
 524 \begin_layout Lemma
 525
 526 \begin_inset CommandInset ref
 527 LatexCommand formatted
 528 reference "lem:lemma"
 529
 530 \end_inset
 531
 532
 533 \end_layout
 534
 535 \begin_layout Theorem
 536 theorem
 537 \begin_inset CommandInset label
 538 LatexCommand label
 539 name "thm:theorem"
 540
 541 \end_inset
 542
 543
 544 \end_layout
 545
 546 \begin_layout Theorem
 547
 548 \begin_inset CommandInset ref
 549 LatexCommand formatted
 550 reference "thm:theorem"
 551
 552 \end_inset
 553
 554
 555 \end_layout
 556
 557 \begin_layout Corollary
 558 corollary
 559 \begin_inset CommandInset label
 560 LatexCommand label
 561 name "cor:corollary"
 562
 563 \end_inset
 564
 565
 566 \end_layout
 567
 568 \begin_layout Corollary
 569
 570 \begin_inset CommandInset ref
 571 LatexCommand formatted
 572 reference "cor:corollary"
 573
 574 \end_inset
 575
 576
 577 \end_layout
 578
 579 \begin_layout Proposition
 580 proposition
 581 \begin_inset CommandInset label
 582 LatexCommand label
 583 name "prop:proposition"
 584
 585 \end_inset
 586
 587
 588 \end_layout
 589
 590 \begin_layout Proposition
 591
 592 \begin_inset CommandInset ref
 593 LatexCommand formatted
 594 reference "prop:proposition"
 595
 596 \end_inset
 597
 598
 599 \end_layout
 600
 601 \begin_layout Conjecture
 602 conjecture
 603 \begin_inset CommandInset label
 604 LatexCommand label
 605 name "conjecture"
 606
 607 \end_inset
 608
 609
 610 \end_layout
 611
 612 \begin_layout Conjecture
 613
 614 \begin_inset CommandInset ref
 615 LatexCommand ref
 616 reference "conjecture"
 617
 618 \end_inset
 619
 620
 621 \end_layout
 622
 623 \begin_layout Fact
 624 fact
 625 \begin_inset CommandInset label
 626 LatexCommand label
 627 name "fact"
 628
 629 \end_inset
 630
 631
 632 \end_layout
 633
 634 \begin_layout Fact
 635
 636 \begin_inset CommandInset ref
 637 LatexCommand ref
 638 reference "fact"
 639
 640 \end_inset
 641
 642
 643 \end_layout
 644
 645 \begin_layout Definition
 646 definition
 647 \begin_inset CommandInset label
 648 LatexCommand label
 649 name "definition"
 650
 651 \end_inset
 652
 653
 654 \end_layout
 655
 656 \begin_layout Definition
 657
 658 \begin_inset CommandInset ref
 659 LatexCommand ref
 660 reference "definition"
 661
 662 \end_inset
 663
 664
 665 \end_layout
 666
 667 \begin_layout Example
 668 example
 669 \begin_inset CommandInset label
 670 LatexCommand label
 671 name "example"
 672
 673 \end_inset
 674
 675
 676 \end_layout
 677
 678 \begin_layout Example
 679
 680 \begin_inset CommandInset ref
 681 LatexCommand ref
 682 reference "example"
 683
 684 \end_inset
 685
 686
 687 \end_layout
 688
 689 \begin_layout Problem
 690 problem
 691 \begin_inset CommandInset label
 692 LatexCommand label
 693 name "problem"
 694
 695 \end_inset
 696
 697
 698 \end_layout
 699
 700 \begin_layout Problem
 701
 702 \begin_inset CommandInset ref
 703 LatexCommand ref
 704 reference "problem"
 705
 706 \end_inset
 707
 708
 709 \end_layout
 710
 711 \begin_layout Exercise
 712 exercise
 713 \begin_inset CommandInset label
 714 LatexCommand label
 715 name "exercise"
 716
 717 \end_inset
 718
 719
 720 \end_layout
 721
 722 \begin_layout Exercise
 723
 724 \begin_inset CommandInset ref
 725 LatexCommand ref
 726 reference "exercise"
 727
 728 \end_inset
 729
 730
 731 \end_layout
 732
 733 \begin_layout Remark
 734 remark
 735 \begin_inset CommandInset label
 736 LatexCommand label
 737 name "remark"
 738
 739 \end_inset
 740
 741
 742 \end_layout
 743
 744 \begin_layout Remark
 745
 746 \begin_inset CommandInset ref
 747 LatexCommand ref
 748 reference "remark"
 749
 750 \end_inset
 751
 752
 753 \end_layout
 754
 755 \begin_layout Claim
 756 claim
 757 \begin_inset CommandInset label
 758 LatexCommand label
 759 name "claim"
 760
 761 \end_inset
 762
 763
 764 \end_layout
 765
 766 \begin_layout Claim
 767
 768 \begin_inset CommandInset ref
 769 LatexCommand ref
 770 reference "claim"
 771
 772 \end_inset
 773
 774
 775 \end_layout
 776
 777 \begin_layout Proof
 778 proof
 779 \begin_inset CommandInset label
 780 LatexCommand label
 781 name "proof"
 782
 783 \end_inset
 784
 785
 786 \end_layout
 787
 788 \begin_layout Proof
 789
 790 \begin_inset CommandInset ref
 791 LatexCommand ref
 792 reference "proof"
 793
 794 \end_inset
 795
 796
 797 \end_layout
 798
 799 \end_body
 800 \end_document