From bfdbc5463b7d846ef1e317e1426450fae2d82ba5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dennis=20M=C3=BCller?= <d.mueller@jacobs-university.de>
Date: Sun, 28 Oct 2018 21:37:46 +0100
Subject: [PATCH] generated files
---
.../https..www.gap-system.org/mitm/prim.omdoc | 6 ------
.../mitm/prim.omdoc.xz | Bin 472 -> 492 bytes
errors/mmt-omdoc/primitives.mmt.err | 2 --
narration/primitives.omdoc | 2 +-
.../https..www.gap-system.org/mitm/prim.rel | 3 +++
5 files changed, 4 insertions(+), 9 deletions(-)
delete mode 100644 content/https..www.gap-system.org/mitm/prim.omdoc
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 4dcf8ac..0000000
--- 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
GIT binary patch
delta 193
zcmV;y06zcN1MCBk83Y8+0jaSa9|3>mvj-{IRka15&2+l&OWwr!{w3`4^Hivd4_$C2
z2y9cxxb&1cHZr9Y^>D+x(~p%+Yvc1rrGT){ZHO9O!=tS&Bc<L|4boiUja9GS0roEh
zZQ`sUzluA)ssJllzI+bsanlmW<U=EAU}d`GGzQcTUp|BQZ(@t2m*brwa?CNz(Ad9s
vd7)W={Bq(B00000w&%oHS1FS%00G4V&<Owl9HUk2vBYQl0ssI200dcD6v0}_
delta 173
zcmV;e08;<#1K0zQ83Y6H0hqBJ9|3>iCsd1<W3eTJ1wf$K*9us+Hx6oK&}}<0Ig`ge
zOcIc2E|b9D7VM-?_*m_1sR`>ju*~ls*9Pf0EU4!pKve~rU!RAEhMFyF-f8o&8N&id
zH*=hNBtT!k;JB*~+%->O`QFF;93Mv8+v}{F@fxv4EHkQY1<>@)u>1h2yrCVNwwzx$
b00FcE@dp3^DVRGxvBYQl0ssI200dcDklRhH
diff --git a/errors/mmt-omdoc/primitives.mmt.err b/errors/mmt-omdoc/primitives.mmt.err
index a003a31..e69de29 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 cc7f35e..78345c6 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 c786098..f72f880 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
--
GitLab