sitemap.xml

<?xml version="1.0" encoding="UTF-8"?>
<urlset xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.sitemaps.org/schemas/sitemap/0.9 http://www.sitemaps.org/schemas/sitemap/0.9/sitemap.xsd" xmlns="http://www.sitemaps.org/schemas/sitemap/0.9">
<url>
<loc>http://localhost:4000/2019/07/17/Arend-1.0.0-released.html</loc>
<lastmod>2019-07-17T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2019/10/01/Arend-1.1.0-released.html</loc>
<lastmod>2019-10-01T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2019/12/16/Arend-1.2.0-released.html</loc>
<lastmod>2019-12-16T00:00:00+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2020/01/17/tutorial-part-I.html</loc>
<lastmod>2020-01-17T00:00:00+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2020/04/13/Arend-1.3.0-released.html</loc>
<lastmod>2020-04-13T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2020/06/14/tutorial-part-II.html</loc>
<lastmod>2020-06-14T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2020/06/29/Arend-1.4.0-released.html</loc>
<lastmod>2020-06-29T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2020/10/10/Arend-1.5.0-released.html</loc>
<lastmod>2020-10-10T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2021/02/28/Arend-1.6.0-released.html</loc>
<lastmod>2021-02-28T00:00:00+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2021/09/06/Arend-1.7.0-released.html</loc>
<lastmod>2021-09-06T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2022/02/08/New-IntelliJ-Arend-tutorial.html</loc>
<lastmod>2022-02-08T00:00:00+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2022/04/15/Arend-1.8.0-released.html</loc>
<lastmod>2022-04-15T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2022/12/05/Arend-1.9.0-released.html</loc>
<lastmod>2022-12-05T00:00:00+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/2024/07/05/Arend-1.10.0-released.html</loc>
<lastmod>2024-07-05T00:00:00+02:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/algebra-meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/getting-started/arend-features.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/box.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/case.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/case.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/category-meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/class-ext.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/classes.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/coercion.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/data.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/datanproofs.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/debug-meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/getting-started/download.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/plugin-manual/editor-features.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/equalityex.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/function-meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/functions.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/getting-started.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/goals.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/hits.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartII/hits.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartII/hom-levels.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartII/hprops.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/idtype.html</loc>
</url>
<url>
<loc>http://localhost:4000/</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartII/</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/</loc>
</url>
<url>
<loc>http://localhost:4000/about/</loc>
</url>
<url>
<loc>http://localhost:4000/arend-lib/</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/getting-started/intellij-arend-tutorial.html</loc>
</url>
<url>
<loc>http://localhost:4000/about/intellij-features.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/let.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/level.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/lexical-structure.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/getting-started/libraries.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/logic-meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/metas.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/modules.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/plugin-manual/navigating.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/parameters.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics/paths-meta.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/pi.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/plugin-manual.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/prelude.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/proof-search.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/propsnproofs.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/records.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/records.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/plugin-manual/refactoring.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartII/sets.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/sigma.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/standard-tactics.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/getting-started/started.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/synndef.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/definitions/types.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/language-reference/expressions/universes.html</loc>
</url>
<url>
<loc>http://localhost:4000/documentation/tutorial/PartI/universes.html</loc>
</url>
<url>
<loc>http://localhost:4000/page2/</loc>
</url>
<url>
<loc>http://localhost:4000/page3/</loc>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Algebra.Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Base.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Category.Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Debug.Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Function.Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Logic.Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Paths.Meta.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/Prelude.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/AG/Projective.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/AG/Scheme.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Algebra.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain/Bezout.html</loc>
<lastmod>2025-01-27T23:08:26+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain/Euclidean.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain/GCD.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain/IntegrallyClosed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain/PID.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Domain/Valuation.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Field.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Field/Algebraic.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Field/AlgebraicClosure.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Field/Splitting.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/FinSuppFunc.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Aut.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Fin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/GSet/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/GSet/GSet.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Lagrange.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/QuotientProperties.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Solver.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Group/Symmetric.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/LatticeColimit.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Linear/Matrix.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Linear/Matrix/CayleyHamilton.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Linear/Matrix/CharPoly.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Linear/Matrix/Smith.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Linear/Solver.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Linear/VectorSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Module.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Module/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Module/FinModule.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Module/LinearMap.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Module/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/GCD.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/PermSet.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/Prime.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/Solver.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Monoid/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/MulOrdered.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ordered.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Pointed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Pointed/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Pointed/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Graded.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Graded/Ideal.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Graded/Localization.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Ideal.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Integral.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Integral/MinPoly.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Local.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Localization.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Localization/Field.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/MPoly.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/MonoidRing.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Nakayama.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Noetherian.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Poly.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/QPoly.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Reduced.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/RingHom.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Solver.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Ring/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Semiring.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Algebra/Semiring/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Analysis/Calculus/Derivative.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Analysis/FuncLimit.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Analysis/Limit.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Analysis/PowerSeries.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Analysis/Series.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Bool.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Complex.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Fin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Int.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Nat.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Prime.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Rat.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Real.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Real/Exp.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Real/Field.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Arith/Real/Root.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Adjoint.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Algebra.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/CartesianClosed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Comma.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Coreflection.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Displayed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Factorization.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Functor.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/KanExtension.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Limit.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Slice.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Solver.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Subcat.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Subobj.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Topos.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Topos/Sheaf.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Topos/Sheaf/Site.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Category/Topos/Sheaf/Sub.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Combinatorics/Binom.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Combinatorics/Factorial.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Array.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Bool.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Fin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/List.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Maybe.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Or.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/SeqColimit.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Shifts.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/Sigma.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Data/SubList.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Debug.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Equiv.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Equiv/Fiber.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Equiv/HalfAdjoint.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Equiv/Path.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Equiv/Sigma.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Equiv/Univalence.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Function.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/HLevel.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Connected.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Cube.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Fibration.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Hopf.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Image.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Join.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/K1.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/Accessible.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/BlakersMassey.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/Connected.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/Equiv.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/Modality.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/Separated.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Localization/Universe.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Loop.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Pointed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Pushout.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Space.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Sphere.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Sphere/Circle.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Square.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Suspension.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Torus.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Homotopy/Truncation.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Classical.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/FirstOrder/Algebraic.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/FirstOrder/Algebraic/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/FirstOrder/Term.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/PropFin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/ARS/AbstractReductionSystem.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/ARS/Confluence.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/ARS/Relation.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/ARS/Termination.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Examples/LambdaCalculus.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/HRS.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Linearity.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/MetaContexts.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Substitutions.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Union.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Union/Colors.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Union/Confluence.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Union/Embedding.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Union/TopLevel.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Logic/Rewriting/TRS/Utils.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Operations.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/Directed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/HeytingAlgebra.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/Lattice.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/Lexicographical.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/LinearOrder.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/PartialOrder.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Order/StrictOrder.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Paths.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Relation/Equivalence.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Relation/Truncated.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Countable.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Filter.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Fin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Fin/DFin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Fin/KFin.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Fin/Pigeonhole.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Hedberg.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Partial.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Set/Subset.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/BanachSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/Compact.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/Complete.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/Directed.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/Locale.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/Subspace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/CoverSpace/TopSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/Lipschitz.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/Locale.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/Locale/Points.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/Locale/Real.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/Locale/Uniform.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/MetricSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/MetricSpace/Complete.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/MetricSpace/Nat.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/NormedAbGroup.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/NormedAbGroup/Real.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/NormedAbGroup/Real/Functions.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/NormedAlgebra.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/NormedModule.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/NormedRing.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/RatherBelow.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/TopAbGroup.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/TopAbGroup/Complete.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/TopAbGroup/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/TopSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/TopSpace/Category.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/TopSpace/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/UniformSpace.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/UniformSpace/Complete.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
<url>
<loc>http://localhost:4000/arend-lib/v1.10.0/arend-html-files/src/Topology/UniformSpace/Product.html</loc>
<lastmod>2025-01-27T23:08:27+01:00</lastmod>
</url>
</urlset>