diff --git a/content/https..www.gap-system.org/mitm/prim.omdoc b/content/https..www.gap-system.org/mitm/prim.omdoc deleted file mode 100644 index 4dcf8ac275cb44440b33c7d9c680094ed098c91f..0000000000000000000000000000000000000000 --- a/content/https..www.gap-system.org/mitm/prim.omdoc +++ /dev/null @@ -1,6 +0,0 @@ -<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="prim" base="https://www.gap-system.org/mitm" meta="https://www.gap-system.org/?Types"><metadata><meta property="http://gl.mathhub.info/MMT/LFX/TypedHierarchy?Symbols?TypeLevel"><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMS base="http://cds.omdoc.org/urtheories" module="Typed" name="type"></om:OMS></om:OMOBJ></meta><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="https://www.gap-system.org/primitives.mmt#45.2.0:85.4.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><constant name="ListConstr"> - <metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="https://www.gap-system.org/primitives.mmt#72.3.1:83.3.12"/></metadata> - - - - </constant></theory></omdoc> \ No newline at end of file diff --git a/content/https..www.gap-system.org/mitm/prim.omdoc.xz b/content/https..www.gap-system.org/mitm/prim.omdoc.xz index aaaf1b8e52b7557e21e618c0bf7d3b071f8a05d1..982f074e8f5f19d352eaa4fe53353fbebf2062fe 100644 Binary files a/content/https..www.gap-system.org/mitm/prim.omdoc.xz and b/content/https..www.gap-system.org/mitm/prim.omdoc.xz differ diff --git a/errors/mmt-omdoc/primitives.mmt.err b/errors/mmt-omdoc/primitives.mmt.err index a003a310ddaac2945e140ceaaaa6d7e3db90d6b4..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 --- a/errors/mmt-omdoc/primitives.mmt.err +++ b/errors/mmt-omdoc/primitives.mmt.err @@ -1,2 +0,0 @@ -<errors> -</errors> diff --git a/narration/primitives.omdoc b/narration/primitives.omdoc index cc7f35eb1e221cf297f8e6e6def8dd7dc182cf58..78345c6d780c8928b9f637c531816452d678066e 100644 --- a/narration/primitives.omdoc +++ b/narration/primitives.omdoc @@ -1,2 +1,2 @@ <?xml version="1.0" encoding="UTF-8"?> -<omdoc base="https://www.gap-system.org/primitives.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="https://www.gap-system.org/primitives.mmt#0.0.0:3046.89.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><mref name="[https://www.gap-system.org/mitm?prim]" target="https://www.gap-system.org/mitm?prim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="https://www.gap-system.org/primitives.mmt#45.2.0:55.2.10"/></metadata></mref></omdoc> \ No newline at end of file +<omdoc base="https://www.gap-system.org/primitives.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="https://www.gap-system.org/primitives.mmt#0.0.0:3060.90.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><mref name="[https://www.gap-system.org/mitm?prim]" target="https://www.gap-system.org/mitm?prim"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="https://www.gap-system.org/primitives.mmt#45.2.0:55.2.10"/></metadata></mref></omdoc> \ No newline at end of file diff --git a/relational/https..www.gap-system.org/mitm/prim.rel b/relational/https..www.gap-system.org/mitm/prim.rel index c7860987784b467d16f189f8615d52dbbd8a841c..f72f8801ba307232677acba311b5f889d2cac207 100644 --- a/relational/https..www.gap-system.org/mitm/prim.rel +++ b/relational/https..www.gap-system.org/mitm/prim.rel @@ -1,5 +1,8 @@ untypedconstant https://www.gap-system.org/mitm?prim?ListConstr +untypedconstant https://www.gap-system.org/mitm?prim?PermConstr theory https://www.gap-system.org/mitm?prim HasMeta https://www.gap-system.org/mitm?prim https://www.gap-system.org/?Types Declares https://www.gap-system.org/mitm?prim https://www.gap-system.org/mitm?prim?ListConstr constant https://www.gap-system.org/mitm?prim?ListConstr +Declares https://www.gap-system.org/mitm?prim https://www.gap-system.org/mitm?prim?PermConstr +constant https://www.gap-system.org/mitm?prim?PermConstr