Skip to content
Snippets Groups Projects
Normal view Permalink
ParallelLines.omdoc 1.33 KiB
Newer Older
  • Learn to ignore specific revisions
    • Dreier Marcel's avatar
    added new Scrolls and MMT-Theories
    Dreier Marcel committed
    1 
    <?xml version="1.0" encoding="UTF-8"?>
    ki7077's avatar
    Removed old code  
    ki7077 committed
    2 
    <omdoc base="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#0.0.0:3623.99.0"/><meta property="http://cds.omdoc.org/?metadata?importedby"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMLIT type="http://www.openmath.org/cd?OpenMath?OMSTR" value="mmt-omdoc"/></om:OMOBJ></meta></metadata><instruction text="namespace http://mathhub.info/FrameIT/frameworld"/><instruction text="fixmeta http://mathhub.info/FrameIT/frameworld?FrameworldMeta"/><opaque format="text"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#80.5.0:286.24.0"/></metadata>S
    Dreier Marcel's avatar
    added new Scrolls and MMT-Theories
    Dreier Marcel committed
    3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 
              /|
         / |
        /  |
       /___|
      A    C
     /     |
    /______|
   B       D


D ----- C
|       |
|       |
A ------B
    ki7077's avatar
    Removed old code  
    ki7077 committed
    18 
    The scroll encodes the InterceptTheorem .</opaque><mref name="[http://mathhub.info/FrameIT/frameworld?ParallelLines]" target="http://mathhub.info/FrameIT/frameworld?ParallelLines"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/ParallelLines.mmt#290.27.0:309.27.19"/></metadata></mref></omdoc>