generated files

content/https..www.gap-system.org/mitm/prim.omdoc

-<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

errors/mmt-omdoc/primitives.mmt.err

-<errors>
-</errors>

narration/primitives.omdoc

 <?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>
+<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

relational/https..www.gap-system.org/mitm/prim.rel

 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