Skip to content
Snippets Groups Projects
Normal view Permalink
CircleScroll.omdoc 1.46 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/CircleScroll.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#0.0.0:3349.132.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/CircleScroll.mmt#80.5.0:85.8.0"/></metadata><scope></scope></opaque><mref name="[http://mathhub.info/FrameIT/frameworld?CircleScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#90.12.0:108.12.18"/></metadata></mref><mref name="[http://mathhub.info/FrameIT/frameworld?CircleAreaScroll]" target="http://mathhub.info/FrameIT/frameworld?CircleAreaScroll"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/FrameIT/frameworld/Scrolls/CircleScroll.mmt#2185.79.1:2207.79.23"/></metadata></mref></omdoc>