From 350d571250701086ebf35b6cb95fd059ea52ccaf Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 29 Apr 2017 12:32:00 +0200
Subject: [PATCH] lstinputmhlisting
---
content/http..www.gap-system.org/lib/grp.omdoc | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/content/http..www.gap-system.org/lib/grp.omdoc b/content/http..www.gap-system.org/lib/grp.omdoc
index 2428863..db17c28 100644
--- a/content/http..www.gap-system.org/lib/grp.omdoc
+++ b/content/http..www.gap-system.org/lib/grp.omdoc
@@ -1,4 +1,7 @@
-<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath"><theory name="grp" base="http://www.gap-system.org/lib" meta="http://www.gap-system.org/?Types"><import from="http://www.gap-system.org/lib?magma"></import><constant name="NaturalHomomorphism">
+<omdoc xmlns="http://omdoc.org/ns" xmlns:om="http://www.openmath.org/OpenMath">
+ <theory name="grp" base="http://www.gap-system.org/lib"
+ meta="http://www.gap-system.org/?Types">
+ <import from="http://www.gap-system.org/lib?magma"></import><constant name="NaturalHomomorphism">
<type><om:OMOBJ xmlns:om="http://www.openmath.org/OpenMath"><om:OMBIND>
<om:OMS base="http://cds.omdoc.org/urtheories" module="LambdaPi" name="Pi"></om:OMS>
@@ -1682,4 +1685,4 @@
</om:OMBIND></om:OMOBJ></type>
- </constant></theory></omdoc>
\ No newline at end of file
+ </constant></theory></omdoc>
--
GitLab