Commit c850a198 authored by Dennis Müller's avatar Dennis Müller

generated files

parent 8923e572
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/algebra/permutation-group.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#0.0.0:1964.59.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="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#233.6.0:251.6.18"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#406.14.0:423.14.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#954.31.0:976.31.22"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#1426.47.0:1453.47.27"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/algebra/permutation-group.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#0.0.0:2003.60.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="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#233.6.0:251.6.18"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#445.15.0:462.15.17"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?PermutationGroup"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#993.32.0:1015.32.22"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction]" target="http://mathhub.info/MitM/smglom/algebra/permutationgroup?TransitiveGroupAction"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/algebra/permutation-group.mmt#1465.48.0:1492.48.27"/></metadata></mref></omdoc>
\ No newline at end of file
datatypeconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?cycle
datatypeconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?permutation
dataconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?PermList
dataconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?fromImage
theory http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations
HasMeta http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations http://gl.mathhub.info/MMT/LFX/Datatypes?ListSymbols
......@@ -28,3 +29,5 @@ Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations h
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?permutation
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?PermList
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?PermList
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?fromImage
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?Permutations?fromImage
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment