« Up

color 1.8.2 23 m 0 s 🏆

Context

# Packages matching: installed
# Name              # Installed # Synopsis
base-bigarray       base
base-threads        base
base-unix           base
conf-findutils      1           Virtual package relying on findutils
conf-gmp            4           Virtual package relying on a GMP lib system installation
coq                 8.13.1      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
zarith              1.12        Implements arithmetic and logical operations over arbitrary-precision integers
# 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.16~"}
  "coq-bignums" {>= "8.11" & < "8.16~"}
]
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/archive/refs/tags/1.8.2.tar.gz"
  checksum: "md5=4509147d597b4eda473caceb1f144601"
}

Lint

Command
true
Return code
0

Dry install 🏜️

Dry install with the current Coq version:

Command
opam install -y --show-action coq-color.1.8.2 coq.8.13.1
Return code
0

Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:

Command
true
Return code
0

Install dependencies

Command
opam list; echo; ulimit -Sv 4000000; timeout 4h opam install -y --deps-only coq-color.1.8.2 coq.8.13.1
Return code
0
Duration
3 m 0 s

Install 🚀

Command
opam list; echo; ulimit -Sv 16000000; timeout 8h opam install -y -v coq-color.1.8.2 coq.8.13.1
Return code
0
Duration
23 m 0 s

Installation size

Total: 140 M

  • 9 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.vo
  • 8 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.vo
  • 7 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/rpo_extension.vo
  • 4 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/order_extension.vo
  • 3 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_algo.vo
  • 3 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.vo
  • 3 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_complete.vo
  • 3 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/rpo.vo
  • 3 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_sound.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_well_formed.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_well_founded.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/unification/free_unif.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/Coccinelle.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/ac.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.vo
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/rpo.glob
  • 2 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/cf_eq_ac.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Horpo.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/matrix.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.vo
  • 1 M ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/equational_theory.vo
  • 1003 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Computability.vo
  • 989 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.vo
  • 968 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.vo
  • 963 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.vo
  • 933 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.vo
  • 930 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.vo
  • 856 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/modular_dp.vo
  • 846 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.vo
  • 834 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/term.vo
  • 831 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/more_list.vo
  • 813 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/modular_dp.glob
  • 811 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/usable_rules_dp.vo
  • 809 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.vo
  • 788 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.vo
  • 775 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/unification/unification.vo
  • 771 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.vo
  • 750 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.vo
  • 737 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.vo
  • 734 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.vo
  • 727 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.vo
  • 723 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.vo
  • 714 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.vo
  • 671 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.vo
  • 665 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/matrix.glob
  • 664 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/inner_dp.vo
  • 663 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/or_ext_generated.glob
  • 596 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.vo
  • 584 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/equational_theory.glob
  • 579 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/dp_extension.vo
  • 571 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/subterm_dp.vo
  • 568 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/unification/free_unif.glob
  • 566 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/isubterm_dp.vo
  • 562 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.vo
  • 533 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/unification/unification.glob
  • 509 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/graph_dp.vo
  • 498 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/igraph_dp.vo
  • 458 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/dp.vo
  • 457 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.vo
  • 451 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.vo
  • 445 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.glob
  • 439 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.vo
  • 438 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.vo
  • 424 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/term_o.vo
  • 406 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/rwr_strategies.vo
  • 394 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/dickson.vo
  • 386 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.glob
  • 377 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.vo
  • 375 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/or_ext_generated.vo
  • 368 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/usable_rules_dp.glob
  • 365 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.vo
  • 363 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.glob
  • 359 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.vo
  • 355 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_permut.vo
  • 330 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/term.glob
  • 317 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.glob
  • 314 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.vo
  • 310 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.glob
  • 302 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/interp.vo
  • 302 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/rpo.v
  • 302 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/more_list.glob
  • 297 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.glob
  • 297 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/dickson.glob
  • 296 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.vo
  • 290 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.vo
  • 287 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/equational_extension.vo
  • 277 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_algo.glob
  • 276 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/ac.glob
  • 269 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.vo
  • 266 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/more_list_extention.vo
  • 266 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.vo
  • 266 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_permut.glob
  • 265 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/Newman.vo
  • 264 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.glob
  • 260 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/ring_extention.vo
  • 258 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_sort.vo
  • 253 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.vo
  • 247 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/dp.glob
  • 246 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_set.vo
  • 242 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.vo
  • 236 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.vo
  • 234 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.vo
  • 233 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.vo
  • 233 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.vo
  • 221 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.glob
  • 220 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.vo
  • 219 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/term_extension.vo
  • 218 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.vo
  • 215 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.vo
  • 215 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.glob
  • 212 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_complete.glob
  • 208 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.vo
  • 207 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.vo
  • 206 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/cf_eq_ac.glob
  • 206 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.vo
  • 206 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VMPO.vo
  • 205 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VLPO.vo
  • 203 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.vo
  • 202 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.vo
  • 202 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.vo
  • 197 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/inner_dp.glob
  • 196 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.glob
  • 190 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.glob
  • 188 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.glob
  • 185 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_set.glob
  • 180 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.vo
  • 177 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Horpo.glob
  • 177 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.vo
  • 172 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.vo
  • 172 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/ring_extention.glob
  • 170 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/equational_theory_spec.vo
  • 169 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.glob
  • 167 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/term_spec.vo
  • 164 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.vo
  • 162 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.glob
  • 161 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/rwr_strategies.glob
  • 159 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.vo
  • 157 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.vo
  • 156 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.vo
  • 156 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_sound.glob
  • 155 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Computability.glob
  • 154 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.vo
  • 152 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.vo
  • 152 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/order_extension.glob
  • 150 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.vo
  • 149 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MPO/VMpo.vo
  • 146 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/subterm_dp.glob
  • 142 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/matrix.v
  • 139 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/weaved_relation.vo
  • 139 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/Ramsey.vo
  • 138 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.glob
  • 137 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/unification/free_unif.v
  • 136 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.vo
  • 135 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.vo
  • 133 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.glob
  • 132 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.glob
  • 130 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.glob
  • 130 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/term_spec.glob
  • 129 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.vo
  • 129 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/isubterm_dp.glob
  • 128 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching.glob
  • 128 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.glob
  • 125 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.glob
  • 125 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.vo
  • 125 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.glob
  • 124 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.vo
  • 124 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.vo
  • 122 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.vo
  • 121 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.glob
  • 120 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/equational_theory.v
  • 120 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Total.vo
  • 119 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.vo
  • 117 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/modular_dp.v
  • 116 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.vo
  • 113 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.vo
  • 112 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.glob
  • 112 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.vo
  • 112 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.vo
  • 110 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.vo
  • 110 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/FinSet.vo
  • 109 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.glob
  • 109 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.glob
  • 106 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.vo
  • 105 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.vo
  • 105 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.glob
  • 105 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/rpo_extension.glob
  • 102 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.glob
  • 102 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.vo
  • 101 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.vo
  • 100 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.glob
  • 100 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/closure.vo
  • 100 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_well_formed.glob
  • 99 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/closure.glob
  • 99 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Total.glob
  • 98 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.glob
  • 97 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.vo
  • 95 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.glob
  • 94 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListLex.vo
  • 94 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SN.vo
  • 93 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.glob
  • 92 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.vo
  • 92 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_well_founded.glob
  • 90 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.vo
  • 89 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/term.v
  • 87 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Path.vo
  • 87 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.vo
  • 86 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SN.glob
  • 85 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.glob
  • 85 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.vo
  • 84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.vo
  • 84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.glob
  • 84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPGraph.vo
  • 84 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.glob
  • 83 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.vo
  • 82 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.vo
  • 81 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/unification/unification.v
  • 81 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/SetUtil.vo
  • 80 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubst.v
  • 80 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.glob
  • 79 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.glob
  • 76 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.glob
  • 76 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.glob
  • 76 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/FinSet.glob
  • 76 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecUtil.v
  • 76 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.vo
  • 75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.vo
  • 75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSubs.v
  • 75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsConv.v
  • 75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.vo
  • 75 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.vo
  • 73 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/equational_theory_spec.glob
  • 73 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.vo
  • 73 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.vo
  • 72 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.glob
  • 72 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.glob
  • 72 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AHDE.vo
  • 72 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.vo
  • 72 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.glob
  • 71 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/dp_extension.glob
  • 70 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.glob
  • 70 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/ordered_set.vo
  • 69 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.glob
  • 69 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.vo
  • 69 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.vo
  • 67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.vo
  • 67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.vo
  • 67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.vo
  • 67 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.glob
  • 66 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/more_list.v
  • 66 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AProj.vo
  • 66 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/interp.glob
  • 66 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.vo
  • 66 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.glob
  • 66 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/TransClosure.vo
  • 65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADP.vo
  • 65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/weaved_relation.glob
  • 65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.vo
  • 65 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.vo
  • 64 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/math_permut.vo
  • 64 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.vo
  • 63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.glob
  • 63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.glob
  • 63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.glob
  • 63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/or_ext_generated.v
  • 63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPUnif.vo
  • 63 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.glob
  • 62 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/Coccinelle.glob
  • 62 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.vo
  • 62 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.vo
  • 61 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_sort.glob
  • 60 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.glob
  • 60 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_algo.v
  • 60 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.vo
  • 59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.glob
  • 59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.vo
  • 59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.vo
  • 59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.glob
  • 59 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.vo
  • 58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEnv.v
  • 58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/ac.v
  • 58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlpha.v
  • 58 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.glob
  • 57 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/usable_rules_dp.v
  • 57 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.vo
  • 57 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.vo
  • 56 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.glob
  • 56 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.vo
  • 55 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.glob
  • 54 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.vo
  • 54 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListDec.vo
  • 54 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListUtil.v
  • 54 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.vo
  • 53 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.glob
  • 53 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.glob
  • 53 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.glob
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.glob
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.vo
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/dickson.v
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADecomp.vo
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.vo
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/Ramsey.glob
  • 52 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/AReverse.vo
  • 51 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/dp.v
  • 51 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetOrder.v
  • 51 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.vo
  • 50 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.vo
  • 50 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.glob
  • 50 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.glob
  • 49 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.glob
  • 49 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_permut.v
  • 49 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.glob
  • 48 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/InfSet.vo
  • 48 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.glob
  • 48 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AGraph.vo
  • 48 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.vo
  • 48 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.glob
  • 47 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.glob
  • 47 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Union.vo
  • 47 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.vo
  • 46 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.glob
  • 46 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/Srs.vo
  • 46 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.vo
  • 46 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.glob
  • 45 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Horpo.v
  • 45 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.glob
  • 45 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.vo
  • 45 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.vo
  • 45 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.vo
  • 44 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.vo
  • 44 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.vo
  • 44 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.vo
  • 44 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.vo
  • 44 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPGraph.glob
  • 43 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.glob
  • 43 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetTheory.v
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.glob
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.vo
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.glob
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelUtil.v
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.vo
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Path.glob
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.glob
  • 42 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.vo
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.vo
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.vo
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/term_o.glob
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.glob
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/equational_extension.glob
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.vo
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.vo
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.vo
  • 41 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.glob
  • 40 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.glob
  • 40 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/SetUtil.glob
  • 40 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.glob
  • 40 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/rwr_strategies.v
  • 40 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.glob
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_set.v
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.vo
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.glob
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.vo
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.glob
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.vo
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.glob
  • 39 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.glob
  • 38 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.vo
  • 38 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SReverse.vo
  • 38 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.vo
  • 38 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.vo
  • 37 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.vo
  • 37 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.vo
  • 37 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/ring_extention.v
  • 37 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.vo
  • 37 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnif.v
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.vo
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.vo
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/inner_dp.v
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/igraph_dp.glob
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/graph_dp.glob
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsAlgebraic.v
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/math_permut.glob
  • 36 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_complete.v
  • 35 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADP.glob
  • 35 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.vo
  • 34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/Computability.v
  • 34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.glob
  • 34 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.vo
  • 33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsManip.v
  • 33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.glob
  • 33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.vo
  • 33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.glob
  • 33 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_sound.v
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.glob
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/cf_eq_ac.v
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.vo
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.glob
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.vo
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.vo
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.glob
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.glob
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LAlphaAlt.v
  • 32 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.glob
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.glob
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.glob
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.glob
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListMax.vo
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrs.v
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.vo
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.glob
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.glob
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/order_extension.v
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ASemLab.v
  • 31 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.vo
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.glob
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.glob
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/rewriting.vo
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.vo
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.vo
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LTerm.v
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.vo
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.vo
  • 30 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/subterm_dp.v
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/TransClosure.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBeta.v
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.vo
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching.v
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AProj.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/Newman.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.vo
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.glob
  • 29 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.glob
  • 28 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.vo
  • 27 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_well_formed.v
  • 27 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.glob
  • 27 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/terminaison.vo
  • 27 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/closure.v
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsLifting.v
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.vo
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.vo
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FMap/FMapUtil.v
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/isubterm_dp.v
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.glob
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/OrdSemiRing.v
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompClos.v
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.vo
  • 26 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.glob
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListExtras.v
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.vo
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SContext.vo
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/AReverse.glob
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/decidable_set.vo
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.vo
  • 25 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/InfSeq.v
  • 24 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.glob
  • 24 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.vo
  • 24 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Union.glob
  • 24 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.glob
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubstitution.v
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixBasedInt.v
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.glob
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/equiv_list.vo
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/FGraph.v
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.glob
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/more_list_extention.glob
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.glob
  • 23 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/term_spec.v
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.glob
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VMPO.glob
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.glob
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Total.v
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListDec.glob
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.glob
  • 22 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MPO/VMpo.glob
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/rpo_extension.v
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.glob
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.glob
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Matrix/Matrix.v
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.glob
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.glob
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LComp.v
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATerm.v
  • 21 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VLPO.glob
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Results.v
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCall.v
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.vo
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.glob
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/FinSet.v
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.glob
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.glob
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.glob
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.glob
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.vo
  • 20 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSimple.v
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.glob
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.vo
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPUnif.glob
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsActiveEnv.v
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SN.v
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ASCCUnion.v
  • 19 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMatching.v
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AUnary.v
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/ordered_set.glob
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListLex.glob
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompInt.v
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSubstConv.v
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Algebra/SemiRing.v
  • 18 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FGraph/TransClos.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/weaved_relation.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsPos.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetListOrder.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.glob
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Lexico.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/ac_matching/matching_well_founded.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/Ramsey.v
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.glob
  • 17 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AContext.v
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterPerm.v
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/list_sort.v
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompSimple.v
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/NatUtil.v
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.glob
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.glob
  • 16 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AHDE.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.vo
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARenCap.v
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/arith_extension.vo
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/Srs.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/Coccinelle.v
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoWf.v
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADecomp.glob
  • 15 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AGraph.glob
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListNodup.v
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/FSet/FSetUtil.v
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.glob
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/dp_extension.v
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.glob
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.vo
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LCompRewrite.v
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairLex.v
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.glob
  • 14 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInfSeq.v
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/ARedPair.v
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/InfSet.glob
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.glob
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MPO/VMpo.v
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/term_o.v
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/interp.v
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/rewriting.glob
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/closure_extension.vo
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AReduct.v
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.glob
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.glob
  • 13 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACap.v
  • 12 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/equiv_list.glob
  • 12 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADuplicateSymb.v
  • 12 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SReverse.glob
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.vo
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AVariables.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/graph_dp.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.glob
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.glob
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/SetUtil.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.glob
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMonAlg.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AFilterBool.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/String_of_ATerm.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.glob
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCCTopoOrdering.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListPermutation.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AMatrixInt.v
  • 11 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPGraph.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BoundNat.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/GDomainBij.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Path.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AMorphism.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ABigMatrixInt.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecOrd.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LSystemT.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.glob
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AdjMat.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListSort.vo
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/math_permut.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADP.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_orderings/igraph_dp.v
  • 10 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Tarski.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsTyping.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.glob
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/ATerm_of_String.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.glob
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecArith.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.glob
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/term_algebra/equational_theory_spec.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LBeta.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/MonotonePolynom.v
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.glob
  • 9 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Iter.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalBasedInt.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SLoop.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.glob
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/equational_extension.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBasedInt.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/APosition.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.glob
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AShift.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Lambda/LEta.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/TransClosure.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Filter/AProj.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/AFlatCont.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.vo
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetList.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASN.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/decidable_set.glob
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AModLoop.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/Polynom.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/ATropicalInt.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.glob
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.glob
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/Newman.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsRed.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.vo
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/ALoop.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/SModLoop.v
  • 8 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Type.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/AccUtil.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ADepRel.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticInt.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/ZUtil.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/MonAlgChecker.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilter.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExMap.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACalls.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/term_extension.glob
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABinary.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelDec.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARelation.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ACompat.v
  • 7 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/AReverse.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/LogicUtil.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.glob
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Status.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListLex.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADecomp.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MatrixInt/AArcticBZInt.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ABterm.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/terminaison.glob
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListMax.glob
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/closure_extension.glob
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Conversion/VTerm_of_ATerm.v
  • 6 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsDef.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Bool/BoolUtil.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelExtras.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/ADPUnif.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AInterpretation.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListDec.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AHDE.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ARules.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VRPO_Prover.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.glob
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/PolyChecker.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Polynom/PositivePolynom.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Union.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListShrink.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EqUtil.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTerm.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.glob
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VMPO.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.glob
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/DP/AGraph.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoExNonTrans.v
  • 5 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListOccur.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.glob
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/SortUtil.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/ordered_set.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/MannaNess/AMannaNess.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VLPO.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSignature.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASignature.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/OrdUtil.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.glob
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Set_/InfSet.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/Srs.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VContext.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.vo
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SubtermCrit/ASimpleProj.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.glob
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/HORPO/HorpoComp.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/PolyInt/APolyInt_MA.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ASubterm.v
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.glob
  • 4 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecFilterPerm.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/AWFMInterpretation.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.glob
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Preorder.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsBuilding.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/more_list_extention.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.glob
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetCore.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VTrs.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/Log2.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/FunUtil.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/list_extensions/equiv_list.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.glob
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.glob
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC_dec.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ATrsNorm.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SContext.glob
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/term_extension.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Option/OptUtil.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelSub.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsEta.v
  • 3 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SReverse.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/more_logic.vo
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.glob
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/decidable_set.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/TermsSig.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/ClassicUtil.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/SemLab/ARootLab.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/rewriting.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecBool.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/SCC.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Vector/VecMax.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/Cycle.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.glob
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/BigNUtil.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListMax.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/RPO/VPrecedence.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.glob
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/IntBasedChecker.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN_IS.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListSort.glob
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Nat/LeastNat.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/terminaison.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/NonTermin/AVarCond.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RelMidex.v
  • 2 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Function/NaryFunction.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/arith_extension.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoicePrf.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/closure_extension.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/RedLength.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/ProofChecker.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/WithArity/ANotvar.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Proof.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/String/SContext.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Integer/BigZUtil.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/more_logic.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/Varyadic/VSubstitution.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/Problem.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/ProofChecker/EmptyChecker.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Multiset/MultisetNat.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Pair/PairUtil.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Relation/NotSN.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/List/ListSort.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/IotaUtil.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/examples/cime_trace/arith_extension.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Term/SimpleType/Terms.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/EpsilonUtil.glob
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Util/Logic/DepChoice.v
  • 1 K ../ocaml-base-compiler.4.08.1/lib/coq/user-contrib/CoLoR/Coccinelle/basis/more_logic.v

Uninstall 🧹

Command
opam remove -y coq-color.1.8.2
Return code
0
Missing removes
none
Wrong removes
none