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

generated files

parent 96d56c05
This diff is collapsed.
<?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:1954.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#944.31.0:966.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#1416.47.0:1443.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: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
<?xml version="1.0" encoding="UTF-8"?>
<omdoc base="http://mathhub.info/MitM/smglom/calculus/domains.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#0.0.0:2693.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="[http://mathhub.info/MitM/smglom/calculus?Intervals]" target="http://mathhub.info/MitM/smglom/calculus?Intervals"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#540.15.0:555.15.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/calculus?OneCuboid]" target="http://mathhub.info/MitM/smglom/calculus?OneCuboid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#1128.40.0:1143.40.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/calculus?GeneralDomains]" target="http://mathhub.info/MitM/smglom/calculus?GeneralDomains"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#1654.63.0:1674.63.20"/></metadata></mref></omdoc>
\ No newline at end of file
<omdoc base="http://mathhub.info/MitM/smglom/calculus/domains.omdoc"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#0.0.0:2689.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="[http://mathhub.info/MitM/smglom/calculus?Intervals]" target="http://mathhub.info/MitM/smglom/calculus?Intervals"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#540.15.0:555.15.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/calculus?OneCuboid]" target="http://mathhub.info/MitM/smglom/calculus?OneCuboid"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#1128.40.0:1143.40.15"/></metadata></mref><mref name="[http://mathhub.info/MitM/smglom/calculus?GeneralDomains]" target="http://mathhub.info/MitM/smglom/calculus?GeneralDomains"><metadata><link rel="http://cds.omdoc.org/mmt?metadata?sourceRef" resource="http://mathhub.info/MitM/smglom/calculus/domains.mmt#1654.63.0:1674.63.20"/></metadata></mref></omdoc>
\ No newline at end of file
highuniverse http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?groupAction
dataconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?outer_notation
datatypeconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?orbit
datatypeconstructor http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
theory http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction
HasMeta http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/Foundation?Logic
Includes http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/typedsets?Surjective
......@@ -63,5 +63,5 @@ Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction ht
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?groupAction
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?outer_notation
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?outer_notation
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?orbit
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?orbit
Declares http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
constant http://mathhub.info/MitM/smglom/algebra/permutationgroup?GroupAction?polynomialOrbit
......@@ -17,6 +17,7 @@ Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://cds.omdo
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://cds.omdoc.org/urtheories?NatRels
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?NatLiterals
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/smglom/arithmetics?NaturalNumbers
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?NaturalDeduction
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/smglom/algebra?OperationProps
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/smglom/algebra?Magma
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/smglom/algebra?SemiGroup
......@@ -24,7 +25,6 @@ Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/smglom/algebra?Monoid
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?OptionType
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?DescriptionOperator
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?NaturalDeduction
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/smglom/algebra?Loop
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?IntLiterals
Includes http://mathhub.info/MitM/smglom/calculus?GeneralDomains http://mathhub.info/MitM/Foundation?Strings
......
......@@ -29,12 +29,12 @@ Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/arithmetics?IntegerArithmetics
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/arithmetics?RationalArithmetics
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/arithmetics?RealArithmetics
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/Foundation?NaturalDeduction
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/algebra?OperationProps
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/algebra?Magma
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/algebra?SemiGroup
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/algebra?Unital
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/algebra?Monoid
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/Foundation?NaturalDeduction
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/smglom/algebra?Loop
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/Foundation?Strings
Includes http://mathhub.info/MitM/smglom/calculus?Intervals http://mathhub.info/MitM/Foundation?InformalProofs
......
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