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

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