# Packages matching: installed
# Name # Installed # Synopsis
base-bigarray base
base-threads base
base-unix base
conf-findutils 1 Virtual package relying on findutils
coq 8.12.2 Formal proof management system
num 1.4 The legacy Num library for arbitrary-precision integer and rational arithmetic
ocaml 4.08.1 The OCaml compiler (virtual package)
ocaml-base-compiler 4.08.1 Official release 4.08.1
ocaml-config 1 OCaml Switch Configuration
ocamlfind 1.9.5 A library manager for OCaml
# opam file:
opam-version: "2.0"
maintainer: "frederic.blanqui@inria.fr"
authors: [
"Frédéric Blanqui"
"Adam Koprowski"
"Sébastien Hinderer"
"Pierre-Yves Strub"
"Sidi Ould Biha"
"Solange Coupet-Grimal"
"William Delobel"
"Hans Zantema"
"Stéphane Leroux"
"Léo Ducas"
"Johannes Waldmann"
"Qiand Wang"
"Lianyi Zhang"
"Sorin Stratulat"
]
license: "CeCILL"
homepage: "http://color.inria.fr/"
bug-reports: "https://github.com/fblanqui/color/issues"
build: [make "-j%{jobs}%"]
install: [make "-f" "Makefile.coq" "install"]
remove: ["rm" "-R" "%{lib}%/coq/user-contrib/CoLoR"]
depends: [
"ocaml"
"coq" {>= "8.11" & < "8.15~"}
"coq-bignums" {>= "8.11" & < "8.15~"}
]
tags: [
"date:2021-03-18"
"logpath:CoLoR"
"category:Computer Science/Algorithms/Correctness proofs of algorithms"
"category:Computer Science/Data Types and Data Structures"
"category:Computer Science/Lambda Calculi"
"category:Mathematics/Algebra"
"category:Mathematics/Combinatorics and Graph Theory"
"category:Mathematics/Logic/Type theory"
"category:Miscellaneous/Extracted Programs/Type checking unification and normalization"
"keyword:rewriting"
"keyword:termination"
"keyword:lambda calculus"
"keyword:list"
"keyword:multiset"
"keyword:polynomial"
"keyword:vectors"
"keyword:matrices"
"keyword:FSet"
"keyword:FMap"
"keyword:term"
"keyword:context"
"keyword:substitution"
"keyword:universal algebra"
"keyword:varyadic term"
"keyword:string"
"keyword:alpha-equivalence"
"keyword:de Bruijn indices"
"keyword:simple types"
"keyword:matching"
"keyword:unification"
"keyword:relation"
"keyword:ordering"
"keyword:quasi-ordering"
"keyword:lexicographic ordering"
"keyword:ring"
"keyword:semiring"
"keyword:well-foundedness"
"keyword:noetherian"
"keyword:finitely branching"
"keyword:dependent choice"
"keyword:infinite sequences"
"keyword:non-termination"
"keyword:loop"
"keyword:graph"
"keyword:path"
"keyword:transitive closure"
"keyword:strongly connected component"
"keyword:topological ordering"
"keyword:rpo"
"keyword:horpo"
"keyword:dependency pair"
"keyword:dependency graph"
"keyword:semantic labeling"
"keyword:reducibility"
"keyword:Girard"
"keyword:fixpoint theorem"
"keyword:Tarski"
"keyword:pigeon-hole principle"
"keyword:Ramsey theorem"
]
synopsis: "A library on rewriting theory and termination"
flags: light-uninstall
url {
src: "https://github.com/fblanqui/color/releases/download/1.8.1/color.1.8.1.tar.gz"
checksum: "md5=878562ad84f9ecf6295531c8ad1f7318"
}
trueDry install with the current Coq version:
opam install -y --show-action coq-color.1.8.1 coq.8.12.2Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
trueopam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-color.1.8.1 coq.8.12.2opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-color.1.8.1 coq.8.12.2Total: 80 M
../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Horpo.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Computability.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VMPO.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VLPO.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Horpo.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MPO/VMpo.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Computability.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Total.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListLex.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SN.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPGraph.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Path.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Total.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AHDE.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SN.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADP.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPUnif.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AProj.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADecomp.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/AReverse.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListDec.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AGraph.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Union.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/Srs.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SReverse.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListMax.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Horpo.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPGraph.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Path.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SContext.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADP.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Computability.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AProj.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/AReverse.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Union.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VMPO.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Total.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListDec.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MPO/VMpo.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VLPO.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/FinSet.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPUnif.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SN.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListLex.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/Ramsey.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AHDE.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/Srs.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADecomp.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AGraph.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MPO/VMpo.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListSort.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SReverse.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/SetUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPGraph.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Path.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADP.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AProj.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/AReverse.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListLex.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADecomp.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListMax.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPUnif.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListDec.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AHDE.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Union.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VMPO.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AGraph.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VLPO.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set/InfSet.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/Srs.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.vo../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SContext.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SReverse.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListMax.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListSort.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SContext.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListSort.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.v../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.glob../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vopam remove -y coq-color.1.8.1