Logic/Logic.v
Logic/BigTuples.v
Signatures/DecSetoid.v
Signatures/Semigroup.v
Signatures/Preorder.v
Signatures/OrderSemigroup.v
Signatures/Bisemigroup.v
Signatures/Transform.v
Signatures/SemigroupTransform.v
Signatures/OrderTransform.v
Signatures/IdArrow.v
Signatures/DecSetoidProperties.v
Signatures/SemigroupProperties.v
Signatures/SemigroupNaturalOrder.v
Signatures/PreorderProperties.v
Signatures/OrderSemigroupProperties.v
Signatures/BisemigroupProperties.v
Signatures/TransformProperties.v
Signatures/SemigroupTransformProperties.v
Signatures/OrderTransformProperties.v
Signatures/DecSetoidPropRecord.v
Signatures/SemigroupPropRecord.v
Signatures/PreorderPropRecord.v
Signatures/OrderSemigroupPropRecord.v
Signatures/BisemigroupPropRecord.v
Signatures/TransformPropRecord.v
Signatures/SemigroupTransformPropRecord.v
Signatures/OrderTransformPropRecord.v
Signatures/OrderSemigroupGlue.v
Signatures/BisemigroupGlue.v
Signatures/SemigroupTransformGlue.v
Signatures/OrderTransformGlue.v
Signatures/All.v
Constructions/DecSetoids/Unit.v
Constructions/DecSetoids/Bool.v
Constructions/DecSetoids/FSets.v
Constructions/DecSetoids/FMinSets.v
Constructions/DecSetoids/Nat.v
Constructions/DecSetoids/Range.v
Constructions/DecSetoids/Product.v
Constructions/DecSetoids/Union.v
Constructions/DecSetoids/AddConstant.v
Constructions/DecSetoids/Seq.v
Constructions/DecSetoids/SimpleSeq.v
Constructions/DecSetoids/MultiSets.v
Constructions/Semigroups/Unit.v
Constructions/Semigroups/BoolOr.v
Constructions/Semigroups/BoolAnd.v
Constructions/Semigroups/NatMax.v
Constructions/Semigroups/NatMin.v
Constructions/Semigroups/NatPlus.v
Constructions/Semigroups/RangePlus.v
Constructions/Semigroups/RangeMin.v
Constructions/Semigroups/RangeMax.v
Constructions/Semigroups/Product.v
Constructions/Semigroups/Lex.v
Constructions/Semigroups/Union.v
Constructions/Semigroups/UnionSwap.v
Constructions/Semigroups/TopUnion.v
Constructions/Semigroups/FSetsIntersect.v
Constructions/Semigroups/FSetsUnion.v
Constructions/Semigroups/FSetOp.v
Constructions/Semigroups/FMinSetsUnion.v
Constructions/Semigroups/FMinSetsOp.v
Constructions/Semigroups/Left.v
Constructions/Semigroups/Right.v
Constructions/Semigroups/SelLex.v
Constructions/Semigroups/Seq.v
Constructions/Semigroups/SimpleSeq.v
Constructions/Semigroups/Prefix.v
Constructions/Semigroups/Postfix.v
Constructions/Semigroups/RevOp.v
Constructions/Semigroups/MultiSetsUnion.v
Constructions/Semigroups/MultiSetsIntersection.v
Constructions/Preorders/NatLe.v
Constructions/Preorders/Dual.v
Constructions/Preorders/Lex.v
Constructions/Preorders/LeftNaturalOrder.v
Constructions/Preorders/RightNaturalOrder.v
Constructions/Preorders/AnnTop.v
Constructions/OrderSemigroups/Dual.v
Constructions/OrderSemigroups/Lex.v
Constructions/OrderSemigroups/NatLePlus.v
Constructions/OrderSemigroups/LeftNaturalOrder.v
Constructions/OrderSemigroups/RightNaturalOrder.v
Constructions/OrderSemigroups/BSLeftNaturalOrder.v
Constructions/OrderSemigroups/SimpleSeq.v
Constructions/Bisemigroups/Unit.v
Constructions/Bisemigroups/BoolOrAnd.v
Constructions/Bisemigroups/AddZero.v
Constructions/Bisemigroups/AddOne.v
Constructions/Bisemigroups/NatMaxPlus.v
Constructions/Bisemigroups/NatMinPlus.v
Constructions/Bisemigroups/NatMaxMin.v
Constructions/Bisemigroups/NatIMaxPlus.v
Constructions/Bisemigroups/NatIMinPlus.v
Constructions/Bisemigroups/NatIMaxMin.v
Constructions/Bisemigroups/RangeMaxPlus.v
Constructions/Bisemigroups/RangeMinPlus.v
Constructions/Bisemigroups/RangeMaxMin.v
Constructions/Bisemigroups/AbsorbingProduct.v
Constructions/Bisemigroups/Swap.v
Constructions/Bisemigroups/Lex.v
Constructions/Bisemigroups/Product.v
Constructions/Bisemigroups/FSets.v
Constructions/Bisemigroups/FSetsOp.v
Constructions/Bisemigroups/FMinSets.v
Constructions/Bisemigroups/FMinSetsOpUnion.v
Constructions/Bisemigroups/Left.v
Constructions/Bisemigroups/SelLex.v
Constructions/Bisemigroups/RevTimes.v
Constructions/Bisemigroups/PrefixSeq.v
Constructions/Bisemigroups/PostfixSeq.v
Constructions/Bisemigroups/MultiSets.v
Constructions/Transforms/Id.v
Constructions/Transforms/Replace.v
Constructions/Transforms/Product.v
Constructions/Transforms/Union.v
Constructions/Transforms/Cayley.v
Constructions/Transforms/AddZero.v
Constructions/Transforms/FSets.v
Constructions/Transforms/FMinSets.v
Constructions/SemigroupTransforms/Lex.v
Constructions/SemigroupTransforms/Left.v
Constructions/SemigroupTransforms/Right.v
Constructions/SemigroupTransforms/Union.v
Constructions/SemigroupTransforms/Cayley.v
Constructions/SemigroupTransforms/SelLex.v
Constructions/SemigroupTransforms/Product.v
Constructions/SemigroupTransforms/FSets.v
Constructions/SemigroupTransforms/FMinSets.v
Inference/Common/Common.v
Inference/DecSetoids/Unit.v
Inference/DecSetoids/Bool.v
Inference/DecSetoids/Nat.v
Inference/DecSetoids/Range.v
Inference/DecSetoids/Product.v
Inference/DecSetoids/Union.v
Inference/DecSetoids/FSets.v
Inference/DecSetoids/FMinSets.v
Inference/DecSetoids/AddConstant.v
Inference/DecSetoids/Seq.v
Inference/DecSetoids/SimpleSeq.v
Inference/DecSetoids/MultiSets.v
Inference/Semigroups/Unit.v
Inference/Semigroups/BoolAnd.v
Inference/Semigroups/BoolOr.v
Inference/Semigroups/NatMax.v
Inference/Semigroups/NatMin.v
Inference/Semigroups/NatPlus.v
Inference/Semigroups/RangeMin.v
Inference/Semigroups/RangeMax.v
Inference/Semigroups/RangePlus.v
Inference/Semigroups/Product.v
Inference/Semigroups/Union.v
Inference/Semigroups/UnionSwap.v
Inference/Semigroups/TopUnion.v
Inference/Semigroups/Lex.v
Inference/Semigroups/FSetOp.v
Inference/Semigroups/FSetsUnion.v
Inference/Semigroups/FSetsIntersect.v
Inference/Semigroups/FMinSetsOp.v
Inference/Semigroups/FMinSetUnion.v
Inference/Semigroups/Left.v
Inference/Semigroups/Right.v
Inference/Semigroups/SelLex.v
Inference/Semigroups/Seq.v
Inference/Semigroups/Prefix.v
Inference/Semigroups/Postfix.v
Inference/Semigroups/SimpleSeq.v
Inference/Semigroups/RevOp.v
Inference/Semigroups/MultiSetsUnion.v
Inference/Semigroups/MultiSetsIntersection.v
Inference/Preorders/Dual.v
Inference/Preorders/LeftNaturalOrder.v
Inference/Preorders/RightNaturalOrder.v
Inference/Preorders/Lex.v
Inference/Preorders/NatLe.v
Inference/Preorders/AnnTop.v
Inference/OrderSemigroups/Dual.v
Inference/OrderSemigroups/Lex.v
Inference/OrderSemigroups/LeftNaturalOrder.v
Inference/OrderSemigroups/RightNaturalOrder.v
Inference/OrderSemigroups/BSLeftNaturalOrder.v
Inference/OrderSemigroups/SimpleSeq.v
Inference/Bisemigroups/Unit.v
Inference/Bisemigroups/BoolOrAnd.v
Inference/Bisemigroups/FMinSets.v
Inference/Bisemigroups/FMinSetsOpUnion.v
Inference/Bisemigroups/FSetsOp.v
Inference/Bisemigroups/FSets.v
Inference/Bisemigroups/Lex.v
Inference/Bisemigroups/Product.v
Inference/Bisemigroups/AddZero.v
Inference/Bisemigroups/AddOne.v
Inference/Bisemigroups/NatMaxPlus.v
Inference/Bisemigroups/NatMinPlus.v
Inference/Bisemigroups/NatMaxMin.v
Inference/Bisemigroups/NatIMaxMin.v
Inference/Bisemigroups/NatIMaxPlus.v
Inference/Bisemigroups/NatIMinPlus.v
Inference/Bisemigroups/RangeMaxMin.v
Inference/Bisemigroups/RangeMaxPlus.v
Inference/Bisemigroups/RangeMinPlus.v
Inference/Bisemigroups/Swap.v
Inference/Bisemigroups/Left.v
Inference/Bisemigroups/SelLex.v
Inference/Bisemigroups/RevTimes.v
Inference/Bisemigroups/PrefixSeq.v
Inference/Bisemigroups/PostfixSeq.v
Inference/Bisemigroups/MultiSets.v
Inference/Transforms/Id.v
Inference/Transforms/Product.v
Inference/Transforms/Replace.v
Inference/Transforms/Union.v
Inference/Transforms/Cayley.v
Inference/SemigroupTransforms/Left.v
Inference/SemigroupTransforms/Lex.v
Inference/SemigroupTransforms/Right.v
Inference/SemigroupTransforms/Union.v
Inference/SemigroupTransforms/Cayley.v
Inference/SemigroupTransforms/SelLex.v
IsoPres/DecSetoids/Union.v
IsoPres/DecSetoids/Product.v
IsoPres/DecSetoids/Seq.v
IsoPres/DecSetoids/SimpleSeq.v
IsoPres/DecSetoids/FSets.v
IsoPres/DecSetoids/FMinSets.v
IsoPres/DecSetoids/MultiSets.v
IsoPres/Semigroups/FSetOp.v
IsoPres/Semigroups/FMinSetsOp.v
IsoPres/Semigroups/FSetsIntersect.v
IsoPres/Semigroups/FSetsUnion.v
IsoPres/Semigroups/FMinSetsUnion.v
IsoPres/Semigroups/Left.v
IsoPres/Semigroups/Right.v
IsoPres/Semigroups/Product.v
IsoPres/Semigroups/Lex.v
IsoPres/Semigroups/SelLex.v
IsoPres/Semigroups/Seq.v
IsoPres/Semigroups/Prefix.v
IsoPres/Semigroups/Postfix.v
IsoPres/Semigroups/SimpleSeq.v
IsoPres/Semigroups/TopUnion.v
IsoPres/Semigroups/Union.v
IsoPres/Semigroups/UnionSwap.v
IsoPres/Semigroups/RevOp.v
IsoPres/Semigroups/MultiSetsUnion.v
IsoPres/Semigroups/MultiSetsIntersection.v
IsoPres/Preorders/Dual.v
IsoPres/Preorders/LeftNaturalOrder.v
IsoPres/Preorders/RightNaturalOrder.v
IsoPres/Preorders/Lex.v
IsoPres/Preorders/AnnTop.v
IsoPres/OrderSemigroups/Dual.v
IsoPres/OrderSemigroups/LeftNaturalOrder.v
IsoPres/OrderSemigroups/RightNaturalOrder.v
IsoPres/OrderSemigroups/Lex.v
IsoPres/OrderSemigroups/BSLeftNaturalOrder.v
IsoPres/OrderSemigroups/SimpleSeq.v
IsoPres/Bisemigroups/Glue.v
IsoPres/Bisemigroups/AddOne.v
IsoPres/Bisemigroups/AddZero.v
IsoPres/Bisemigroups/FMinSets.v
IsoPres/Bisemigroups/FMinSetsOpUnion.v
IsoPres/Bisemigroups/FSets.v
IsoPres/Bisemigroups/FSetsOp.v
IsoPres/Bisemigroups/Left.v
IsoPres/Bisemigroups/Product.v
IsoPres/Bisemigroups/Lex.v
IsoPres/Bisemigroups/SelLex.v
IsoPres/Bisemigroups/Swap.v
IsoPres/Bisemigroups/RevTimes.v
IsoPres/Bisemigroups/PrefixSeq.v
IsoPres/Bisemigroups/PostfixSeq.v
IsoPres/Bisemigroups/MultiSets.v
IsoPres/Transforms/Id.v
IsoPres/Transforms/Product.v
IsoPres/Transforms/Replace.v
IsoPres/Transforms/Union.v
IsoPres/Transforms/Cayley.v
IsoPres/SemigroupTransforms/Glue.v
IsoPres/SemigroupTransforms/Left.v
IsoPres/SemigroupTransforms/Lex.v
IsoPres/SemigroupTransforms/Right.v
IsoPres/SemigroupTransforms/Union.v
IsoPres/SemigroupTransforms/Cayley.v
IsoPres/SemigroupTransforms/SelLex.v
Language/Syntax.v
Language/Semantics.v
Language/OcamlTypes.v
Language/Summary.v
Language/AstDS.v
Language/AstSG.v
Language/AstPO.v
Language/AstOS.v
Language/AstBS.v
Language/AstTF.v
Language/AstST.v
Language/ExtractionList.v
