mv html

gonzigaran · Apr 4, 2024 · 2708953 · 2708953
1 parent 8622d71
commit 2708953
Show file tree

Hide file tree

Showing 129 changed files with 0 additions and 0 deletions.
diff --git a/docs/Agda.Builtin.Bool.html → docs/html/Agda.Builtin.Bool.html b/docs/Agda.Builtin.Bool.html → docs/html/Agda.Builtin.Bool.html
diff --git a/docs/Agda.Builtin.Equality.html → docs/html/Agda.Builtin.Equality.html b/docs/Agda.Builtin.Equality.html → docs/html/Agda.Builtin.Equality.html
diff --git a/docs/Agda.Builtin.Maybe.html → docs/html/Agda.Builtin.Maybe.html b/docs/Agda.Builtin.Maybe.html → docs/html/Agda.Builtin.Maybe.html
diff --git a/docs/Agda.Builtin.Nat.html → docs/html/Agda.Builtin.Nat.html b/docs/Agda.Builtin.Nat.html → docs/html/Agda.Builtin.Nat.html
diff --git a/docs/Agda.Builtin.Sigma.html → docs/html/Agda.Builtin.Sigma.html b/docs/Agda.Builtin.Sigma.html → docs/html/Agda.Builtin.Sigma.html
diff --git a/docs/Agda.Builtin.Strict.html → docs/html/Agda.Builtin.Strict.html b/docs/Agda.Builtin.Strict.html → docs/html/Agda.Builtin.Strict.html
diff --git a/docs/Agda.Builtin.Unit.html → docs/html/Agda.Builtin.Unit.html b/docs/Agda.Builtin.Unit.html → docs/html/Agda.Builtin.Unit.html
diff --git a/docs/Agda.Primitive.html → docs/html/Agda.Primitive.html b/docs/Agda.Primitive.html → docs/html/Agda.Primitive.html
diff --git a/docs/Agda.css → docs/html/Agda.css b/docs/Agda.css → docs/html/Agda.css
diff --git a/docs/Algebra.Bundles.html → docs/html/Algebra.Bundles.html b/docs/Algebra.Bundles.html → docs/html/Algebra.Bundles.html
diff --git a/docs/Algebra.Consequences.Base.html → docs/html/Algebra.Consequences.Base.html b/docs/Algebra.Consequences.Base.html → docs/html/Algebra.Consequences.Base.html
diff --git a/docs/Algebra.Consequences.Propositional.html → ...l/Algebra.Consequences.Propositional.html b/docs/Algebra.Consequences.Propositional.html → ...l/Algebra.Consequences.Propositional.html
diff --git a/docs/Algebra.Consequences.Setoid.html → docs/html/Algebra.Consequences.Setoid.html b/docs/Algebra.Consequences.Setoid.html → docs/html/Algebra.Consequences.Setoid.html
diff --git a/...Algebra.Construct.NaturalChoice.Base.html → ...Algebra.Construct.NaturalChoice.Base.html b/...Algebra.Construct.NaturalChoice.Base.html → ...Algebra.Construct.NaturalChoice.Base.html
diff --git a/...lgebra.Construct.NaturalChoice.MaxOp.html → ...lgebra.Construct.NaturalChoice.MaxOp.html b/...lgebra.Construct.NaturalChoice.MaxOp.html → ...lgebra.Construct.NaturalChoice.MaxOp.html
diff --git a/...bra.Construct.NaturalChoice.MinMaxOp.html → ...bra.Construct.NaturalChoice.MinMaxOp.html b/...bra.Construct.NaturalChoice.MinMaxOp.html → ...bra.Construct.NaturalChoice.MinMaxOp.html
diff --git a/...lgebra.Construct.NaturalChoice.MinOp.html → ...lgebra.Construct.NaturalChoice.MinOp.html b/...lgebra.Construct.NaturalChoice.MinOp.html → ...lgebra.Construct.NaturalChoice.MinOp.html
diff --git a/docs/Algebra.Core.html → docs/html/Algebra.Core.html b/docs/Algebra.Core.html → docs/html/Algebra.Core.html
diff --git a/docs/Algebra.Definitions.html → docs/html/Algebra.Definitions.html b/docs/Algebra.Definitions.html → docs/html/Algebra.Definitions.html
diff --git a/docs/Algebra.Morphism.Definitions.html → docs/html/Algebra.Morphism.Definitions.html b/docs/Algebra.Morphism.Definitions.html → docs/html/Algebra.Morphism.Definitions.html
diff --git a/docs/Algebra.Morphism.Structures.html → docs/html/Algebra.Morphism.Structures.html b/docs/Algebra.Morphism.Structures.html → docs/html/Algebra.Morphism.Structures.html
diff --git a/docs/Algebra.Morphism.html → docs/html/Algebra.Morphism.html b/docs/Algebra.Morphism.html → docs/html/Algebra.Morphism.html
diff --git a/docs/Algebra.Properties.BooleanAlgebra.html → ...ml/Algebra.Properties.BooleanAlgebra.html b/docs/Algebra.Properties.BooleanAlgebra.html → ...ml/Algebra.Properties.BooleanAlgebra.html
diff --git a/...ebra.Properties.CommutativeSemigroup.html → ...ebra.Properties.CommutativeSemigroup.html b/...ebra.Properties.CommutativeSemigroup.html → ...ebra.Properties.CommutativeSemigroup.html
diff --git a/...gebra.Properties.DistributiveLattice.html → ...gebra.Properties.DistributiveLattice.html b/...gebra.Properties.DistributiveLattice.html → ...gebra.Properties.DistributiveLattice.html
diff --git a/docs/Algebra.Properties.Group.html → docs/html/Algebra.Properties.Group.html b/docs/Algebra.Properties.Group.html → docs/html/Algebra.Properties.Group.html
diff --git a/docs/Algebra.Properties.Lattice.html → docs/html/Algebra.Properties.Lattice.html b/docs/Algebra.Properties.Lattice.html → docs/html/Algebra.Properties.Lattice.html
diff --git a/docs/Algebra.Properties.Semigroup.html → docs/html/Algebra.Properties.Semigroup.html b/docs/Algebra.Properties.Semigroup.html → docs/html/Algebra.Properties.Semigroup.html
diff --git a/docs/Algebra.Properties.Semilattice.html → .../html/Algebra.Properties.Semilattice.html b/docs/Algebra.Properties.Semilattice.html → .../html/Algebra.Properties.Semilattice.html
diff --git a/docs/Algebra.Structures.html → docs/html/Algebra.Structures.html b/docs/Algebra.Structures.html → docs/html/Algebra.Structures.html
diff --git a/docs/Algebra.html → docs/html/Algebra.html b/docs/Algebra.html → docs/html/Algebra.html
diff --git a/docs/Axiom.Extensionality.Propositional.html → ...l/Axiom.Extensionality.Propositional.html b/docs/Axiom.Extensionality.Propositional.html → ...l/Axiom.Extensionality.Propositional.html
diff --git a/docs/Axiom.UniquenessOfIdentityProofs.html → ...tml/Axiom.UniquenessOfIdentityProofs.html b/docs/Axiom.UniquenessOfIdentityProofs.html → ...tml/Axiom.UniquenessOfIdentityProofs.html
diff --git a/docs/Base.Relations.Continuous.tex → docs/html/Base.Relations.Continuous.tex b/docs/Base.Relations.Continuous.tex → docs/html/Base.Relations.Continuous.tex
diff --git a/docs/Category.Applicative.Indexed.html → docs/html/Category.Applicative.Indexed.html b/docs/Category.Applicative.Indexed.html → docs/html/Category.Applicative.Indexed.html
diff --git a/docs/Category.Applicative.html → docs/html/Category.Applicative.html b/docs/Category.Applicative.html → docs/html/Category.Applicative.html
diff --git a/docs/Category.Functor.html → docs/html/Category.Functor.html b/docs/Category.Functor.html → docs/html/Category.Functor.html
diff --git a/docs/Category.Monad.Indexed.html → docs/html/Category.Monad.Indexed.html b/docs/Category.Monad.Indexed.html → docs/html/Category.Monad.Indexed.html
diff --git a/docs/Category.Monad.html → docs/html/Category.Monad.html b/docs/Category.Monad.html → docs/html/Category.Monad.html
diff --git a/docs/Clones.Basic.md → docs/html/Clones.Basic.md b/docs/Clones.Basic.md → docs/html/Clones.Basic.md
diff --git a/docs/Clones.html → docs/html/Clones.html b/docs/Clones.html → docs/html/Clones.html
diff --git a/docs/Clones.md → docs/html/Clones.md b/docs/Clones.md → docs/html/Clones.md
diff --git a/docs/Data.Bool.Base.html → docs/html/Data.Bool.Base.html b/docs/Data.Bool.Base.html → docs/html/Data.Bool.Base.html
diff --git a/docs/Data.Bool.Properties.html → docs/html/Data.Bool.Properties.html b/docs/Data.Bool.Properties.html → docs/html/Data.Bool.Properties.html
diff --git a/docs/Data.Empty.Irrelevant.html → docs/html/Data.Empty.Irrelevant.html b/docs/Data.Empty.Irrelevant.html → docs/html/Data.Empty.Irrelevant.html
diff --git a/docs/Data.Empty.html → docs/html/Data.Empty.html b/docs/Data.Empty.html → docs/html/Data.Empty.html
diff --git a/docs/Data.Fin.Base.html → docs/html/Data.Fin.Base.html b/docs/Data.Fin.Base.html → docs/html/Data.Fin.Base.html
diff --git a/docs/Data.Fin.Patterns.html → docs/html/Data.Fin.Patterns.html b/docs/Data.Fin.Patterns.html → docs/html/Data.Fin.Patterns.html
diff --git a/docs/Data.Fin.Properties.html → docs/html/Data.Fin.Properties.html b/docs/Data.Fin.Properties.html → docs/html/Data.Fin.Properties.html
diff --git a/docs/Data.Fin.html → docs/html/Data.Fin.html b/docs/Data.Fin.html → docs/html/Data.Fin.html
diff --git a/docs/Data.Maybe.Base.html → docs/html/Data.Maybe.Base.html b/docs/Data.Maybe.Base.html → docs/html/Data.Maybe.Base.html
diff --git a/docs/Data.Nat.Base.html → docs/html/Data.Nat.Base.html b/docs/Data.Nat.Base.html → docs/html/Data.Nat.Base.html
diff --git a/docs/Data.Nat.Properties.Core.html → docs/html/Data.Nat.Properties.Core.html b/docs/Data.Nat.Properties.Core.html → docs/html/Data.Nat.Properties.Core.html
diff --git a/docs/Data.Nat.Properties.html → docs/html/Data.Nat.Properties.html b/docs/Data.Nat.Properties.html → docs/html/Data.Nat.Properties.html
diff --git a/docs/Data.Nat.html → docs/html/Data.Nat.html b/docs/Data.Nat.html → docs/html/Data.Nat.html
diff --git a/docs/Data.Product.html → docs/html/Data.Product.html b/docs/Data.Product.html → docs/html/Data.Product.html
diff --git a/docs/Data.Sum.Base.html → docs/html/Data.Sum.Base.html b/docs/Data.Sum.Base.html → docs/html/Data.Sum.Base.html
diff --git a/docs/Data.Sum.Properties.html → docs/html/Data.Sum.Properties.html b/docs/Data.Sum.Properties.html → docs/html/Data.Sum.Properties.html
diff --git a/docs/Data.These.Base.html → docs/html/Data.These.Base.html b/docs/Data.These.Base.html → docs/html/Data.These.Base.html
diff --git a/docs/Data.Unit.Base.html → docs/html/Data.Unit.Base.html b/docs/Data.Unit.Base.html → docs/html/Data.Unit.Base.html
diff --git a/docs/Data.Unit.Properties.html → docs/html/Data.Unit.Properties.html b/docs/Data.Unit.Properties.html → docs/html/Data.Unit.Properties.html
diff --git a/docs/Data.Unit.html → docs/html/Data.Unit.html b/docs/Data.Unit.html → docs/html/Data.Unit.html
diff --git a/docs/Function.Base.html → docs/html/Function.Base.html b/docs/Function.Base.html → docs/html/Function.Base.html
diff --git a/docs/Function.Bundles.html → docs/html/Function.Bundles.html b/docs/Function.Bundles.html → docs/html/Function.Bundles.html
diff --git a/docs/Function.Core.html → docs/html/Function.Core.html b/docs/Function.Core.html → docs/html/Function.Core.html
diff --git a/docs/Function.Definitions.Core1.html → docs/html/Function.Definitions.Core1.html b/docs/Function.Definitions.Core1.html → docs/html/Function.Definitions.Core1.html
diff --git a/docs/Function.Definitions.Core2.html → docs/html/Function.Definitions.Core2.html b/docs/Function.Definitions.Core2.html → docs/html/Function.Definitions.Core2.html
diff --git a/docs/Function.Definitions.html → docs/html/Function.Definitions.html b/docs/Function.Definitions.html → docs/html/Function.Definitions.html
diff --git a/docs/Function.Equality.html → docs/html/Function.Equality.html b/docs/Function.Equality.html → docs/html/Function.Equality.html
diff --git a/docs/Function.Equivalence.html → docs/html/Function.Equivalence.html b/docs/Function.Equivalence.html → docs/html/Function.Equivalence.html
diff --git a/docs/Function.Injection.html → docs/html/Function.Injection.html b/docs/Function.Injection.html → docs/html/Function.Injection.html
diff --git a/docs/Function.Metric.Bundles.html → docs/html/Function.Metric.Bundles.html b/docs/Function.Metric.Bundles.html → docs/html/Function.Metric.Bundles.html
diff --git a/docs/Function.Metric.Core.html → docs/html/Function.Metric.Core.html b/docs/Function.Metric.Core.html → docs/html/Function.Metric.Core.html
diff --git a/docs/Function.Metric.Definitions.html → docs/html/Function.Metric.Definitions.html b/docs/Function.Metric.Definitions.html → docs/html/Function.Metric.Definitions.html
diff --git a/docs/Function.Metric.Nat.Bundles.html → docs/html/Function.Metric.Nat.Bundles.html b/docs/Function.Metric.Nat.Bundles.html → docs/html/Function.Metric.Nat.Bundles.html
diff --git a/docs/Function.Metric.Nat.Core.html → docs/html/Function.Metric.Nat.Core.html b/docs/Function.Metric.Nat.Core.html → docs/html/Function.Metric.Nat.Core.html
diff --git a/docs/Function.Metric.Nat.Definitions.html → ...html/Function.Metric.Nat.Definitions.html b/docs/Function.Metric.Nat.Definitions.html → ...html/Function.Metric.Nat.Definitions.html
diff --git a/docs/Function.Metric.Nat.Structures.html → .../html/Function.Metric.Nat.Structures.html b/docs/Function.Metric.Nat.Structures.html → .../html/Function.Metric.Nat.Structures.html
diff --git a/docs/Function.Metric.Nat.html → docs/html/Function.Metric.Nat.html b/docs/Function.Metric.Nat.html → docs/html/Function.Metric.Nat.html
diff --git a/docs/Function.Metric.Structures.html → docs/html/Function.Metric.Structures.html b/docs/Function.Metric.Structures.html → docs/html/Function.Metric.Structures.html
diff --git a/docs/Function.Structures.html → docs/html/Function.Structures.html b/docs/Function.Structures.html → docs/html/Function.Structures.html
diff --git a/docs/Function.html → docs/html/Function.html b/docs/Function.html → docs/html/Function.html
diff --git a/docs/Level.html → docs/html/Level.html b/docs/Level.html → docs/html/Level.html
diff --git a/docs/Overture.Basic.tex → docs/html/Overture.Basic.tex b/docs/Overture.Basic.tex → docs/html/Overture.Basic.tex
diff --git a/docs/Overture.Operations.tex → docs/html/Overture.Operations.tex b/docs/Overture.Operations.tex → docs/html/Overture.Operations.tex
diff --git a/docs/Overture.Preface.tex → docs/html/Overture.Preface.tex b/docs/Overture.Preface.tex → docs/html/Overture.Preface.tex
diff --git a/docs/Overture.Signatures.tex → docs/html/Overture.Signatures.tex b/docs/Overture.Signatures.tex → docs/html/Overture.Signatures.tex
diff --git a/docs/Overture.tex → docs/html/Overture.tex b/docs/Overture.tex → docs/html/Overture.tex
diff --git a/docs/Relation.Binary.Bundles.html → docs/html/Relation.Binary.Bundles.html b/docs/Relation.Binary.Bundles.html → docs/html/Relation.Binary.Bundles.html
diff --git a/docs/Relation.Binary.Consequences.html → docs/html/Relation.Binary.Consequences.html b/docs/Relation.Binary.Consequences.html → docs/html/Relation.Binary.Consequences.html
diff --git a/docs/Relation.Binary.Construct.Converse.html → ...l/Relation.Binary.Construct.Converse.html b/docs/Relation.Binary.Construct.Converse.html → ...l/Relation.Binary.Construct.Converse.html
diff --git a/...n.Binary.Construct.NaturalOrder.Left.html → ...n.Binary.Construct.NaturalOrder.Left.html b/...n.Binary.Construct.NaturalOrder.Left.html → ...n.Binary.Construct.NaturalOrder.Left.html
diff --git a/...n.Binary.Construct.NonStrictToStrict.html → ...n.Binary.Construct.NonStrictToStrict.html b/...n.Binary.Construct.NonStrictToStrict.html → ...n.Binary.Construct.NonStrictToStrict.html
diff --git a/docs/Relation.Binary.Core.html → docs/html/Relation.Binary.Core.html b/docs/Relation.Binary.Core.html → docs/html/Relation.Binary.Core.html
diff --git a/docs/Relation.Binary.Definitions.html → docs/html/Relation.Binary.Definitions.html b/docs/Relation.Binary.Definitions.html → docs/html/Relation.Binary.Definitions.html
diff --git a/...Binary.Indexed.Heterogeneous.Bundles.html → ...Binary.Indexed.Heterogeneous.Bundles.html b/...Binary.Indexed.Heterogeneous.Bundles.html → ...Binary.Indexed.Heterogeneous.Bundles.html
diff --git a/...exed.Heterogeneous.Construct.Trivial.html → ...exed.Heterogeneous.Construct.Trivial.html b/...exed.Heterogeneous.Construct.Trivial.html → ...exed.Heterogeneous.Construct.Trivial.html
diff --git a/...on.Binary.Indexed.Heterogeneous.Core.html → ...on.Binary.Indexed.Heterogeneous.Core.html b/...on.Binary.Indexed.Heterogeneous.Core.html → ...on.Binary.Indexed.Heterogeneous.Core.html
diff --git a/...ry.Indexed.Heterogeneous.Definitions.html → ...ry.Indexed.Heterogeneous.Definitions.html b/...ry.Indexed.Heterogeneous.Definitions.html → ...ry.Indexed.Heterogeneous.Definitions.html
diff --git a/...ary.Indexed.Heterogeneous.Structures.html → ...ary.Indexed.Heterogeneous.Structures.html b/...ary.Indexed.Heterogeneous.Structures.html → ...ary.Indexed.Heterogeneous.Structures.html
diff --git a/...elation.Binary.Indexed.Heterogeneous.html → ...elation.Binary.Indexed.Heterogeneous.html b/...elation.Binary.Indexed.Heterogeneous.html → ...elation.Binary.Indexed.Heterogeneous.html
diff --git a/docs/Relation.Binary.Lattice.html → docs/html/Relation.Binary.Lattice.html b/docs/Relation.Binary.Lattice.html → docs/html/Relation.Binary.Lattice.html
diff --git a/...Relation.Binary.Morphism.Definitions.html → ...Relation.Binary.Morphism.Definitions.html b/...Relation.Binary.Morphism.Definitions.html → ...Relation.Binary.Morphism.Definitions.html
diff --git a/.../Relation.Binary.Morphism.Structures.html → .../Relation.Binary.Morphism.Structures.html b/.../Relation.Binary.Morphism.Structures.html → .../Relation.Binary.Morphism.Structures.html
diff --git a/docs/Relation.Binary.Properties.Poset.html → ...tml/Relation.Binary.Properties.Poset.html b/docs/Relation.Binary.Properties.Poset.html → ...tml/Relation.Binary.Properties.Poset.html
diff --git a/.../Relation.Binary.Properties.Preorder.html → .../Relation.Binary.Properties.Preorder.html b/.../Relation.Binary.Properties.Preorder.html → .../Relation.Binary.Properties.Preorder.html
diff --git a/...elation.Binary.Properties.TotalOrder.html → ...elation.Binary.Properties.TotalOrder.html b/...elation.Binary.Properties.TotalOrder.html → ...elation.Binary.Properties.TotalOrder.html
diff --git a/...Binary.PropositionalEquality.Algebra.html → ...Binary.PropositionalEquality.Algebra.html b/...Binary.PropositionalEquality.Algebra.html → ...Binary.PropositionalEquality.Algebra.html
diff --git a/...on.Binary.PropositionalEquality.Core.html → ...on.Binary.PropositionalEquality.Core.html b/...on.Binary.PropositionalEquality.Core.html → ...on.Binary.PropositionalEquality.Core.html
diff --git a/...ary.PropositionalEquality.Properties.html → ...ary.PropositionalEquality.Properties.html b/...ary.PropositionalEquality.Properties.html → ...ary.PropositionalEquality.Properties.html
diff --git a/...elation.Binary.PropositionalEquality.html → ...elation.Binary.PropositionalEquality.html b/...elation.Binary.PropositionalEquality.html → ...elation.Binary.PropositionalEquality.html
diff --git a/...elation.Binary.Reasoning.Base.Double.html → ...elation.Binary.Reasoning.Base.Double.html b/...elation.Binary.Reasoning.Base.Double.html → ...elation.Binary.Reasoning.Base.Double.html
diff --git a/...elation.Binary.Reasoning.Base.Single.html → ...elation.Binary.Reasoning.Base.Single.html b/...elation.Binary.Reasoning.Base.Single.html → ...elation.Binary.Reasoning.Base.Single.html
diff --git a/...elation.Binary.Reasoning.Base.Triple.html → ...elation.Binary.Reasoning.Base.Triple.html b/...elation.Binary.Reasoning.Base.Triple.html → ...elation.Binary.Reasoning.Base.Triple.html
diff --git a/docs/Relation.Binary.Reasoning.Preorder.html → ...l/Relation.Binary.Reasoning.Preorder.html b/docs/Relation.Binary.Reasoning.Preorder.html → ...l/Relation.Binary.Reasoning.Preorder.html
diff --git a/docs/Relation.Binary.Reasoning.Setoid.html → ...tml/Relation.Binary.Reasoning.Setoid.html b/docs/Relation.Binary.Reasoning.Setoid.html → ...tml/Relation.Binary.Reasoning.Setoid.html
diff --git a/docs/Relation.Binary.Structures.html → docs/html/Relation.Binary.Structures.html b/docs/Relation.Binary.Structures.html → docs/html/Relation.Binary.Structures.html
diff --git a/docs/Relation.Binary.html → docs/html/Relation.Binary.html b/docs/Relation.Binary.html → docs/html/Relation.Binary.html
diff --git a/docs/Relation.Nullary.Decidable.Core.html → ...html/Relation.Nullary.Decidable.Core.html b/docs/Relation.Nullary.Decidable.Core.html → ...html/Relation.Nullary.Decidable.Core.html
diff --git a/docs/Relation.Nullary.Decidable.html → docs/html/Relation.Nullary.Decidable.html b/docs/Relation.Nullary.Decidable.html → docs/html/Relation.Nullary.Decidable.html
diff --git a/docs/Relation.Nullary.Negation.Core.html → .../html/Relation.Nullary.Negation.Core.html b/docs/Relation.Nullary.Negation.Core.html → .../html/Relation.Nullary.Negation.Core.html
diff --git a/docs/Relation.Nullary.Negation.html → docs/html/Relation.Nullary.Negation.html b/docs/Relation.Nullary.Negation.html → docs/html/Relation.Nullary.Negation.html
diff --git a/docs/Relation.Nullary.Product.html → docs/html/Relation.Nullary.Product.html b/docs/Relation.Nullary.Product.html → docs/html/Relation.Nullary.Product.html
diff --git a/docs/Relation.Nullary.Reflects.html → docs/html/Relation.Nullary.Reflects.html b/docs/Relation.Nullary.Reflects.html → docs/html/Relation.Nullary.Reflects.html
diff --git a/docs/Relation.Nullary.Sum.html → docs/html/Relation.Nullary.Sum.html b/docs/Relation.Nullary.Sum.html → docs/html/Relation.Nullary.Sum.html
diff --git a/docs/Relation.Nullary.html → docs/html/Relation.Nullary.html b/docs/Relation.Nullary.html → docs/html/Relation.Nullary.html
diff --git a/docs/Relation.Unary.Properties.html → docs/html/Relation.Unary.Properties.html b/docs/Relation.Unary.Properties.html → docs/html/Relation.Unary.Properties.html
diff --git a/docs/Relation.Unary.html → docs/html/Relation.Unary.html b/docs/Relation.Unary.html → docs/html/Relation.Unary.html
diff --git a/docs/Strict.html → docs/html/Strict.html b/docs/Strict.html → docs/html/Strict.html