📅 (2019-11-29 00:21:18 UTC)
# Packages matching: installed # Name # Installed # Synopsis base-bigarray base base-num base Num library distributed with the OCaml compiler base-threads base base-unix base conf-findutils 1 Virtual package relying on findutils conf-m4 1 Virtual package relying on m4 coq 8.11.dev Formal proof management system num 0 The Num library for arbitrary-precision integer and rational arithmetic ocaml 4.05.0 The OCaml compiler (virtual package) ocaml-base-compiler 4.05.0 Official 4.05.0 release ocaml-config 1 OCaml Switch Configuration ocamlfind 1.8.1 A library manager for OCaml # opam file: opam-version: "2.0" bug-reports<EMAIL_ADDRESS>maintainer<EMAIL_ADDRESS>homepage: "http://equations-fpred.gforge.inria.fr/" license: "LGPL" build: [ ["coq_makefile" "-f" "_CoqProject" "-o" "Makefile"] [make "-j%{jobs}%"] ] install: [ [make "install"] ] remove: [make "uninstall"] depends: [ "ocaml" "coq" {= "8.5.dev"} "coq-equations" {= "8.5.dev"} "coq-color" {= "1.0.0.dev"} ] synopsis: "A formalization of Predicative System F, including a computable normalization function." authors: [ "Matthieu Sozeau<EMAIL_ADDRESS>"Cyprien Mangin<EMAIL_ADDRESS>] url { src: "http://equations-fpred.gforge.inria.fr/equations-fpred-1.0.1.tgz" checksum: "md5=0b01d3fb26a961b117e1463f827e9078" }
true
Dry install with the current Coq version:
opam install -y --show-action coq-equations-fpred.1.0.1.dev coq.8.11.dev
[NOTE] Package coq is already installed (current version is 8.11.dev). The following dependencies couldn't be met: - coq-equations-fpred -> coq = 8.5.dev -> ocaml < 4.05.0 base of this switch (use `--unlock-base' to force) No solution found, exiting
Dry install without Coq/switch base, to test if the problem was incompatibility with the current Coq/OCaml version:
opam remove -y coq; opam install -y --show-action --unlock-base coq-equations-fpred.1.0.1.dev
The following actions will be performed: - remove coq 8.11.dev <><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><> [WARNING] While removing coq.8.11.dev: not removing files that changed since: - share/texmf/tex/latex/misc/coqdoc.sty - man/man1/coqwc.1 - man/man1/coqtop.opt.1 - man/man1/coqtop.byte.1 - man/man1/coqtop.1 - man/man1/coqide.1 - man/man1/coqdoc.1 - man/man1/coqdep.1 - man/man1/coqchk.1 - man/man1/coqc.1 - man/man1/coq_makefile.1 - man/man1/coq-tex.1 - lib/coq/vernac/vernacstate.cmx - lib/coq/vernac/vernacstate.cmi - lib/coq/vernac/vernacprop.cmx - lib/coq/vernac/vernacprop.cmi - lib/coq/vernac/vernacinterp.cmx - lib/coq/vernac/vernacinterp.cmi - lib/coq/vernac/vernacextend.cmx - lib/coq/vernac/vernacextend.cmi - lib/coq/vernac/vernacexpr.cmx - lib/coq/vernac/vernacexpr.cmi - lib/coq/vernac/vernacentries.cmx - lib/coq/vernac/vernacentries.cmi - lib/coq/vernac/vernac.cmxa - lib/coq/vernac/vernac.cma - lib/coq/vernac/vernac.a - lib/coq/vernac/topfmt.cmx - lib/coq/vernac/topfmt.cmi - lib/coq/vernac/search.cmx - lib/coq/vernac/search.cmi - lib/coq/vernac/record.cmx - lib/coq/vernac/record.cmi - lib/coq/vernac/recLemmas.cmx - lib/coq/vernac/recLemmas.cmi - lib/coq/vernac/pvernac.cmx - lib/coq/vernac/pvernac.cmi - lib/coq/vernac/proof_using.cmx - lib/coq/vernac/proof_using.cmi - lib/coq/vernac/prettyp.cmx - lib/coq/vernac/prettyp.cmi - lib/coq/vernac/ppvernac.cmx - lib/coq/vernac/ppvernac.cmi - lib/coq/vernac/obligations.cmx - lib/coq/vernac/obligations.cmi - lib/coq/vernac/mltop.cmx - lib/coq/vernac/mltop.cmi - lib/coq/vernac/metasyntax.cmx - lib/coq/vernac/metasyntax.cmi - lib/coq/vernac/locality.cmx - lib/coq/vernac/locality.cmi - lib/coq/vernac/loadpath.cmx - lib/coq/vernac/loadpath.cmi - lib/coq/vernac/library.cmx - lib/coq/vernac/library.cmi - lib/coq/vernac/lemmas.cmx - lib/coq/vernac/lemmas.cmi - lib/coq/vernac/indschemes.cmx - lib/coq/vernac/indschemes.cmi - lib/coq/vernac/himsg.cmx - lib/coq/vernac/himsg.cmi - lib/coq/vernac/g_vernac.cmx - lib/coq/vernac/g_vernac.cmi - lib/coq/vernac/g_proofs.cmx - lib/coq/vernac/g_proofs.cmi - lib/coq/vernac/egramml.cmx - lib/coq/vernac/egramml.cmi - lib/coq/vernac/egramcoq.cmx - lib/coq/vernac/egramcoq.cmi - lib/coq/vernac/declaremods.cmx - lib/coq/vernac/declaremods.cmi - lib/coq/vernac/declareUniv.cmx - lib/coq/vernac/declareUniv.cmi - lib/coq/vernac/declareObl.cmx - lib/coq/vernac/declareObl.cmi - lib/coq/vernac/declareInd.cmx - lib/coq/vernac/declareInd.cmi - lib/coq/vernac/declareDef.cmx - lib/coq/vernac/declareDef.cmi - lib/coq/vernac/comProgramFixpoint.cmx - lib/coq/vernac/comProgramFixpoint.cmi - lib/coq/vernac/comPrimitive.cmx - lib/coq/vernac/comPrimitive.cmi - lib/coq/vernac/comInductive.cmx - lib/coq/vernac/comInductive.cmi - lib/coq/vernac/comFixpoint.cmx - lib/coq/vernac/comFixpoint.cmi - lib/coq/vernac/comDefinition.cmx - lib/coq/vernac/comDefinition.cmi - lib/coq/vernac/comAssumption.cmx - lib/coq/vernac/comAssumption.cmi - lib/coq/vernac/comArguments.cmx - lib/coq/vernac/comArguments.cmi - lib/coq/vernac/classes.cmx - lib/coq/vernac/classes.cmi - lib/coq/vernac/class.cmx - lib/coq/vernac/class.cmi - lib/coq/vernac/canonical.cmx - lib/coq/vernac/canonical.cmi - lib/coq/vernac/auto_ind_decl.cmx - lib/coq/vernac/auto_ind_decl.cmi - lib/coq/vernac/attributes.cmx - lib/coq/vernac/attributes.cmi - lib/coq/vernac/assumptions.cmx - lib/coq/vernac/assumptions.cmi - lib/coq/user-contrib/Ltac2/tac2types.cmi - lib/coq/user-contrib/Ltac2/tac2tactics.cmx - lib/coq/user-contrib/Ltac2/tac2tactics.cmi - lib/coq/user-contrib/Ltac2/tac2stdlib.cmx - lib/coq/user-contrib/Ltac2/tac2stdlib.cmi - lib/coq/user-contrib/Ltac2/tac2quote.cmx - lib/coq/user-contrib/Ltac2/tac2quote.cmi - lib/coq/user-contrib/Ltac2/tac2qexpr.cmi - lib/coq/user-contrib/Ltac2/tac2print.cmx - lib/coq/user-contrib/Ltac2/tac2print.cmi - lib/coq/user-contrib/Ltac2/tac2match.cmx - lib/coq/user-contrib/Ltac2/tac2match.cmi - lib/coq/user-contrib/Ltac2/tac2interp.cmx - lib/coq/user-contrib/Ltac2/tac2interp.cmi - lib/coq/user-contrib/Ltac2/tac2intern.cmx - lib/coq/user-contrib/Ltac2/tac2intern.cmi - lib/coq/user-contrib/Ltac2/tac2ffi.cmx - lib/coq/user-contrib/Ltac2/tac2ffi.cmi - lib/coq/user-contrib/Ltac2/tac2extffi.cmx - lib/coq/user-contrib/Ltac2/tac2extffi.cmi - lib/coq/user-contrib/Ltac2/tac2expr.cmi - lib/coq/user-contrib/Ltac2/tac2env.cmx - lib/coq/user-contrib/Ltac2/tac2env.cmi - lib/coq/user-contrib/Ltac2/tac2entries.cmx - lib/coq/user-contrib/Ltac2/tac2entries.cmi - lib/coq/user-contrib/Ltac2/tac2dyn.cmx - lib/coq/user-contrib/Ltac2/tac2dyn.cmi - lib/coq/user-contrib/Ltac2/tac2core.cmx - lib/coq/user-contrib/Ltac2/tac2core.cmi - lib/coq/user-contrib/Ltac2/ltac2_plugin.o - lib/coq/user-contrib/Ltac2/ltac2_plugin.cmxs - lib/coq/user-contrib/Ltac2/ltac2_plugin.cmx - lib/coq/user-contrib/Ltac2/ltac2_plugin.cmo - lib/coq/user-contrib/Ltac2/ltac2_plugin.cmi - lib/coq/user-contrib/Ltac2/g_ltac2.cmx - lib/coq/user-contrib/Ltac2/String.vos - lib/coq/user-contrib/Ltac2/String.vo - lib/coq/user-contrib/Ltac2/String.v - lib/coq/user-contrib/Ltac2/String.glob - lib/coq/user-contrib/Ltac2/Std.vos - lib/coq/user-contrib/Ltac2/Std.vo - lib/coq/user-contrib/Ltac2/Std.v - lib/coq/user-contrib/Ltac2/Std.glob - lib/coq/user-contrib/Ltac2/Pattern.vos - lib/coq/user-contrib/Ltac2/Pattern.vo - lib/coq/user-contrib/Ltac2/Pattern.v - lib/coq/user-contrib/Ltac2/Pattern.glob - lib/coq/user-contrib/Ltac2/Option.vos - lib/coq/user-contrib/Ltac2/Option.vo - lib/coq/user-contrib/Ltac2/Option.v - lib/coq/user-contrib/Ltac2/Option.glob - lib/coq/user-contrib/Ltac2/Notations.vos - lib/coq/user-contrib/Ltac2/Notations.vo - lib/coq/user-contrib/Ltac2/Notations.v - lib/coq/user-contrib/Ltac2/Notations.glob - lib/coq/user-contrib/Ltac2/Message.vos - lib/coq/user-contrib/Ltac2/Message.vo - lib/coq/user-contrib/Ltac2/Message.v - lib/coq/user-contrib/Ltac2/Message.glob - lib/coq/user-contrib/Ltac2/Ltac2.vos - lib/coq/user-contrib/Ltac2/Ltac2.vo - lib/coq/user-contrib/Ltac2/Ltac2.v - lib/coq/user-contrib/Ltac2/Ltac2.glob - lib/coq/user-contrib/Ltac2/Ltac1.vos - lib/coq/user-contrib/Ltac2/Ltac1.vo - lib/coq/user-contrib/Ltac2/Ltac1.v - lib/coq/user-contrib/Ltac2/Ltac1.glob - lib/coq/user-contrib/Ltac2/List.vos - lib/coq/user-contrib/Ltac2/List.vo - lib/coq/user-contrib/Ltac2/List.v - lib/coq/user-contrib/Ltac2/List.glob - lib/coq/user-contrib/Ltac2/Int.vos - lib/coq/user-contrib/Ltac2/Int.vo - lib/coq/user-contrib/Ltac2/Int.v - lib/coq/user-contrib/Ltac2/Int.glob - lib/coq/user-contrib/Ltac2/Init.vos - lib/coq/user-contrib/Ltac2/Init.vo - lib/coq/user-contrib/Ltac2/Init.v - lib/coq/user-contrib/Ltac2/Init.glob - lib/coq/user-contrib/Ltac2/Ident.vos - lib/coq/user-contrib/Ltac2/Ident.vo - lib/coq/user-contrib/Ltac2/Ident.v - lib/coq/user-contrib/Ltac2/Ident.glob - lib/coq/user-contrib/Ltac2/Fresh.vos - lib/coq/user-contrib/Ltac2/Fresh.vo - lib/coq/user-contrib/Ltac2/Fresh.v - lib/coq/user-contrib/Ltac2/Fresh.glob - lib/coq/user-contrib/Ltac2/Env.vos - lib/coq/user-contrib/Ltac2/Env.vo - lib/coq/user-contrib/Ltac2/Env.v - lib/coq/user-contrib/Ltac2/Env.glob - lib/coq/user-contrib/Ltac2/Control.vos - lib/coq/user-contrib/Ltac2/Control.vo - lib/coq/user-contrib/Ltac2/Control.v - lib/coq/user-contrib/Ltac2/Control.glob - lib/coq/user-contrib/Ltac2/Constr.vos - lib/coq/user-contrib/Ltac2/Constr.vo - lib/coq/user-contrib/Ltac2/Constr.v - lib/coq/user-contrib/Ltac2/Constr.glob - lib/coq/user-contrib/Ltac2/Char.vos - lib/coq/user-contrib/Ltac2/Char.vo - lib/coq/user-contrib/Ltac2/Char.v - lib/coq/user-contrib/Ltac2/Char.glob - lib/coq/user-contrib/Ltac2/Bool.vos - lib/coq/user-contrib/Ltac2/Bool.vo - lib/coq/user-contrib/Ltac2/Bool.v - lib/coq/user-contrib/Ltac2/Bool.glob - lib/coq/user-contrib/Ltac2/Array.vos - lib/coq/user-contrib/Ltac2/Array.vo - lib/coq/user-contrib/Ltac2/Array.v - lib/coq/user-contrib/Ltac2/Array.glob - lib/coq/toplevel/workerLoop.cmx - lib/coq/toplevel/workerLoop.cmi - lib/coq/toplevel/vernac.cmx - lib/coq/toplevel/vernac.cmi - lib/coq/toplevel/usage.cmx - lib/coq/toplevel/usage.cmi - lib/coq/toplevel/toplevel.cmxa - lib/coq/toplevel/toplevel.cma - lib/coq/toplevel/toplevel.a - lib/coq/toplevel/g_toplevel.cmx - lib/coq/toplevel/g_toplevel.cmi - lib/coq/toplevel/coqtop.cmx - lib/coq/toplevel/coqtop.cmi - lib/coq/toplevel/coqloop.cmx - lib/coq/toplevel/coqloop.cmi - lib/coq/toplevel/coqinit.cmx - lib/coq/toplevel/coqinit.cmi - lib/coq/toplevel/coqcargs.cmx - lib/coq/toplevel/coqcargs.cmi - lib/coq/toplevel/coqc.cmx - lib/coq/toplevel/coqc.cmi - lib/coq/toplevel/coqargs.cmx - lib/coq/toplevel/coqargs.cmi - lib/coq/toplevel/ccompile.cmx - lib/coq/toplevel/ccompile.cmi - lib/coq/topbin/coqtop_bin.cmx - lib/coq/topbin/coqtacticworker_bin.cmx - lib/coq/topbin/coqqueryworker_bin.cmx - lib/coq/topbin/coqproofworker_bin.cmx - lib/coq/topbin/coqc_bin.cmx - lib/coq/tools/make-one-time-file.py - lib/coq/tools/make-both-time-files.py - lib/coq/tools/make-both-single-timing-files.py - lib/coq/tools/coqdoc/coqdoc.sty - lib/coq/tools/coqdoc/coqdoc.css - lib/coq/tools/TimeFileMaker.py - lib/coq/tools/CoqMakefile.in - lib/coq/theories/ZArith/auxiliary.vos - lib/coq/theories/ZArith/auxiliary.vo - lib/coq/theories/ZArith/auxiliary.v - lib/coq/theories/ZArith/auxiliary.glob - lib/coq/theories/ZArith/Zwf.vos - lib/coq/theories/ZArith/Zwf.vo - lib/coq/theories/ZArith/Zwf.v - lib/coq/theories/ZArith/Zwf.glob - lib/coq/theories/ZArith/Zquot.vos - lib/coq/theories/ZArith/Zquot.vo - lib/coq/theories/ZArith/Zquot.v - lib/coq/theories/ZArith/Zquot.glob - lib/coq/theories/ZArith/Zpower.vos - lib/coq/theories/ZArith/Zpower.vo - lib/coq/theories/ZArith/Zpower.v - lib/coq/theories/ZArith/Zpower.glob - lib/coq/theories/ZArith/Zpow_facts.vos - lib/coq/theories/ZArith/Zpow_facts.vo - lib/coq/theories/ZArith/Zpow_facts.v - lib/coq/theories/ZArith/Zpow_facts.glob - lib/coq/theories/ZArith/Zpow_def.vos - lib/coq/theories/ZArith/Zpow_def.vo - lib/coq/theories/ZArith/Zpow_def.v - lib/coq/theories/ZArith/Zpow_def.glob - lib/coq/theories/ZArith/Zpow_alt.vos - lib/coq/theories/ZArith/Zpow_alt.vo - lib/coq/theories/ZArith/Zpow_alt.v - lib/coq/theories/ZArith/Zpow_alt.glob - lib/coq/theories/ZArith/Zorder.vos - lib/coq/theories/ZArith/Zorder.vo - lib/coq/theories/ZArith/Zorder.v - lib/coq/theories/ZArith/Zorder.glob - lib/coq/theories/ZArith/Znumtheory.vos - lib/coq/theories/ZArith/Znumtheory.vo - lib/coq/theories/ZArith/Znumtheory.v - lib/coq/theories/ZArith/Znumtheory.glob - lib/coq/theories/ZArith/Znat.vos - lib/coq/theories/ZArith/Znat.vo - lib/coq/theories/ZArith/Znat.v - lib/coq/theories/ZArith/Znat.glob - lib/coq/theories/ZArith/Zmisc.vos - lib/coq/theories/ZArith/Zmisc.vo - lib/coq/theories/ZArith/Zmisc.v - lib/coq/theories/ZArith/Zmisc.glob - lib/coq/theories/ZArith/Zminmax.vos - lib/coq/theories/ZArith/Zminmax.vo - lib/coq/theories/ZArith/Zminmax.v - lib/coq/theories/ZArith/Zminmax.glob - lib/coq/theories/ZArith/Zmin.vos - lib/coq/theories/ZArith/Zmin.vo - lib/coq/theories/ZArith/Zmin.v - lib/coq/theories/ZArith/Zmin.glob - lib/coq/theories/ZArith/Zmax.vos - lib/coq/theories/ZArith/Zmax.vo - lib/coq/theories/ZArith/Zmax.v - lib/coq/theories/ZArith/Zmax.glob - lib/coq/theories/ZArith/Zhints.vos - lib/coq/theories/ZArith/Zhints.vo - lib/coq/theories/ZArith/Zhints.v - lib/coq/theories/ZArith/Zhints.glob - lib/coq/theories/ZArith/Zgcd_alt.vos - lib/coq/theories/ZArith/Zgcd_alt.vo - lib/coq/theories/ZArith/Zgcd_alt.v - lib/coq/theories/ZArith/Zgcd_alt.glob - lib/coq/theories/ZArith/Zeven.vos - lib/coq/theories/ZArith/Zeven.vo - lib/coq/theories/ZArith/Zeven.v - lib/coq/theories/ZArith/Zeven.glob - lib/coq/theories/ZArith/Zeuclid.vos - lib/coq/theories/ZArith/Zeuclid.vo - lib/coq/theories/ZArith/Zeuclid.v - lib/coq/theories/ZArith/Zeuclid.glob - lib/coq/theories/ZArith/Zdiv.vos - lib/coq/theories/ZArith/Zdiv.vo - lib/coq/theories/ZArith/Zdiv.v - lib/coq/theories/ZArith/Zdiv.glob - lib/coq/theories/ZArith/Zdigits.vos - lib/coq/theories/ZArith/Zdigits.vo - lib/coq/theories/ZArith/Zdigits.v - lib/coq/theories/ZArith/Zdigits.glob - lib/coq/theories/ZArith/Zcomplements.vos - lib/coq/theories/ZArith/Zcomplements.vo - lib/coq/theories/ZArith/Zcomplements.v - lib/coq/theories/ZArith/Zcomplements.glob - lib/coq/theories/ZArith/Zcompare.vos - lib/coq/theories/ZArith/Zcompare.vo - lib/coq/theories/ZArith/Zcompare.v - lib/coq/theories/ZArith/Zcompare.glob - lib/coq/theories/ZArith/Zbool.vos - lib/coq/theories/ZArith/Zbool.vo - lib/coq/theories/ZArith/Zbool.v - lib/coq/theories/ZArith/Zbool.glob - lib/coq/theories/ZArith/Zabs.vos - lib/coq/theories/ZArith/Zabs.vo - lib/coq/theories/ZArith/Zabs.v - lib/coq/theories/ZArith/Zabs.glob - lib/coq/theories/ZArith/ZArith_dec.vos - lib/coq/theories/ZArith/ZArith_dec.vo - lib/coq/theories/ZArith/ZArith_dec.v - lib/coq/theories/ZArith/ZArith_dec.glob - lib/coq/theories/ZArith/ZArith_base.vos - lib/coq/theories/ZArith/ZArith_base.vo - lib/coq/theories/ZArith/ZArith_base.v - lib/coq/theories/ZArith/ZArith_base.glob - lib/coq/theories/ZArith/ZArith.vos - lib/coq/theories/ZArith/ZArith.vo - lib/coq/theories/ZArith/ZArith.v - lib/coq/theories/ZArith/ZArith.glob - lib/coq/theories/ZArith/Wf_Z.vos - lib/coq/theories/ZArith/Wf_Z.vo - lib/coq/theories/ZArith/Wf_Z.v - lib/coq/theories/ZArith/Wf_Z.glob - lib/coq/theories/ZArith/Int.vos - lib/coq/theories/ZArith/Int.vo - lib/coq/theories/ZArith/Int.v - lib/coq/theories/ZArith/Int.glob - lib/coq/theories/ZArith/BinIntDef.vos - lib/coq/theories/ZArith/BinIntDef.vo - lib/coq/theories/ZArith/BinIntDef.v - lib/coq/theories/ZArith/BinIntDef.glob - lib/coq/theories/ZArith/BinInt.vos - lib/coq/theories/ZArith/BinInt.vo - lib/coq/theories/ZArith/BinInt.v - lib/coq/theories/ZArith/BinInt.glob - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_auxiliary.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zwf.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zquot.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpower.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_facts.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_def.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zpow_alt.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zorder.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znumtheory.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Znat.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmisc.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zminmax.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmin.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zmax.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zhints.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zgcd_alt.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeven.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zeuclid.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdiv.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdigits.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdigits.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdigits.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zdigits.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcomplements.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zcompare.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zbool.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Zabs.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_dec.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith_base.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_ZArith.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Wf_Z.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_Int.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinIntDef.cmi - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.o - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.cmxs - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.cmx - lib/coq/theories/ZArith/.coq-native/NCoq_ZArith_BinInt.cmi - lib/coq/theories/Wellfounded/Wellfounded.vos - lib/coq/theories/Wellfounded/Wellfounded.vo - lib/coq/theories/Wellfounded/Wellfounded.v - lib/coq/theories/Wellfounded/Wellfounded.glob - lib/coq/theories/Wellfounded/Well_Ordering.vos - lib/coq/theories/Wellfounded/Well_Ordering.vo - lib/coq/theories/Wellfounded/Well_Ordering.v - lib/coq/theories/Wellfounded/Well_Ordering.glob - lib/coq/theories/Wellfounded/Union.vos - lib/coq/theories/Wellfounded/Union.vo - lib/coq/theories/Wellfounded/Union.v - lib/coq/theories/Wellfounded/Union.glob - lib/coq/theories/Wellfounded/Transitive_Closure.vos - lib/coq/theories/Wellfounded/Transitive_Closure.vo - lib/coq/theories/Wellfounded/Transitive_Closure.v - lib/coq/theories/Wellfounded/Transitive_Closure.glob - lib/coq/theories/Wellfounded/Lexicographic_Product.vos - lib/coq/theories/Wellfounded/Lexicographic_Product.vo - lib/coq/theories/Wellfounded/Lexicographic_Product.v - lib/coq/theories/Wellfounded/Lexicographic_Product.glob - lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vos - lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo - lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.v - lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.glob - lib/coq/theories/Wellfounded/Inverse_Image.vos - lib/coq/theories/Wellfounded/Inverse_Image.vo - lib/coq/theories/Wellfounded/Inverse_Image.v - lib/coq/theories/Wellfounded/Inverse_Image.glob - lib/coq/theories/Wellfounded/Inclusion.vos - lib/coq/theories/Wellfounded/Inclusion.vo - lib/coq/theories/Wellfounded/Inclusion.v - lib/coq/theories/Wellfounded/Inclusion.glob - lib/coq/theories/Wellfounded/Disjoint_Union.vos - lib/coq/theories/Wellfounded/Disjoint_Union.vo - lib/coq/theories/Wellfounded/Disjoint_Union.v - lib/coq/theories/Wellfounded/Disjoint_Union.glob - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Wellfounded.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Well_Ordering.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Union.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Transitive_Closure.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Product.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Lexicographic_Exponentiation.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inverse_Image.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Inclusion.cmi - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.o - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmxs - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmx - lib/coq/theories/Wellfounded/.coq-native/NCoq_Wellfounded_Disjoint_Union.cmi - lib/coq/theories/Vectors/VectorSpec.vos - lib/coq/theories/Vectors/VectorSpec.vo - lib/coq/theories/Vectors/VectorSpec.v - lib/coq/theories/Vectors/VectorSpec.glob - lib/coq/theories/Vectors/VectorEq.vos - lib/coq/theories/Vectors/VectorEq.vo - lib/coq/theories/Vectors/VectorEq.v - lib/coq/theories/Vectors/VectorEq.glob - lib/coq/theories/Vectors/VectorDef.vos - lib/coq/theories/Vectors/VectorDef.vo - lib/coq/theories/Vectors/VectorDef.v - lib/coq/theories/Vectors/VectorDef.glob - lib/coq/theories/Vectors/Vector.vos - lib/coq/theories/Vectors/Vector.vo - lib/coq/theories/Vectors/Vector.v - lib/coq/theories/Vectors/Vector.glob - lib/coq/theories/Vectors/Fin.vos - lib/coq/theories/Vectors/Fin.vo - lib/coq/theories/Vectors/Fin.v - lib/coq/theories/Vectors/Fin.glob - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.o - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.cmxs - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.cmx - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorSpec.cmi - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.o - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.cmxs - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.cmx - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorEq.cmi - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.o - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.cmxs - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.cmx - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_VectorDef.cmi - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.o - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.cmxs - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.cmx - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Vector.cmi - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.o - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.cmxs - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.cmx - lib/coq/theories/Vectors/.coq-native/NCoq_Vectors_Fin.cmi - lib/coq/theories/Unicode/Utf8_core.vos - lib/coq/theories/Unicode/Utf8_core.vo - lib/coq/theories/Unicode/Utf8_core.v - lib/coq/theories/Unicode/Utf8_core.glob - lib/coq/theories/Unicode/Utf8.vos - lib/coq/theories/Unicode/Utf8.vo - lib/coq/theories/Unicode/Utf8.v - lib/coq/theories/Unicode/Utf8.glob - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.o - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmxs - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmx - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8_core.cmi - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.o - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.cmxs - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.cmx - lib/coq/theories/Unicode/.coq-native/NCoq_Unicode_Utf8.cmi - lib/coq/theories/Structures/OrdersTac.vos - lib/coq/theories/Structures/OrdersTac.vo - lib/coq/theories/Structures/OrdersTac.v - lib/coq/theories/Structures/OrdersTac.glob - lib/coq/theories/Structures/OrdersLists.vos - lib/coq/theories/Structures/OrdersLists.vo - lib/coq/theories/Structures/OrdersLists.v - lib/coq/theories/Structures/OrdersLists.glob - lib/coq/theories/Structures/OrdersFacts.vos - lib/coq/theories/Structures/OrdersFacts.vo - lib/coq/theories/Structures/OrdersFacts.v - lib/coq/theories/Structures/OrdersFacts.glob - lib/coq/theories/Structures/OrdersEx.vos - lib/coq/theories/Structures/OrdersEx.vo - lib/coq/theories/Structures/OrdersEx.v - lib/coq/theories/Structures/OrdersEx.glob - lib/coq/theories/Structures/OrdersAlt.vos - lib/coq/theories/Structures/OrdersAlt.vo - lib/coq/theories/Structures/OrdersAlt.v - lib/coq/theories/Structures/OrdersAlt.glob - lib/coq/theories/Structures/Orders.vos - lib/coq/theories/Structures/Orders.vo - lib/coq/theories/Structures/Orders.v - lib/coq/theories/Structures/Orders.glob - lib/coq/theories/Structures/OrderedTypeEx.vos - lib/coq/theories/Structures/OrderedTypeEx.vo - lib/coq/theories/Structures/OrderedTypeEx.v - lib/coq/theories/Structures/OrderedTypeEx.glob - lib/coq/theories/Structures/OrderedTypeAlt.vos - lib/coq/theories/Structures/OrderedTypeAlt.vo - lib/coq/theories/Structures/OrderedTypeAlt.v - lib/coq/theories/Structures/OrderedTypeAlt.glob - lib/coq/theories/Structures/OrderedType.vos - lib/coq/theories/Structures/OrderedType.vo - lib/coq/theories/Structures/OrderedType.v - lib/coq/theories/Structures/OrderedType.glob - lib/coq/theories/Structures/GenericMinMax.vos - lib/coq/theories/Structures/GenericMinMax.vo - lib/coq/theories/Structures/GenericMinMax.v - lib/coq/theories/Structures/GenericMinMax.glob - lib/coq/theories/Structures/EqualitiesFacts.vos - lib/coq/theories/Structures/EqualitiesFacts.vo - lib/coq/theories/Structures/EqualitiesFacts.v - lib/coq/theories/Structures/EqualitiesFacts.glob - lib/coq/theories/Structures/Equalities.vos - lib/coq/theories/Structures/Equalities.vo - lib/coq/theories/Structures/Equalities.v - lib/coq/theories/Structures/Equalities.glob - lib/coq/theories/Structures/DecidableTypeEx.vos - lib/coq/theories/Structures/DecidableTypeEx.vo - lib/coq/theories/Structures/DecidableTypeEx.v - lib/coq/theories/Structures/DecidableTypeEx.glob - lib/coq/theories/Structures/DecidableType.vos - lib/coq/theories/Structures/DecidableType.vo - lib/coq/theories/Structures/DecidableType.v - lib/coq/theories/Structures/DecidableType.glob - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersTac.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersLists.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersFacts.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersEx.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrdersAlt.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Orders.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeEx.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedTypeAlt.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_OrderedType.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_GenericMinMax.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_EqualitiesFacts.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_Equalities.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableTypeEx.cmi - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.o - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.cmxs - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.cmx - lib/coq/theories/Structures/.coq-native/NCoq_Structures_DecidableType.cmi - lib/coq/theories/Strings/String.vos - lib/coq/theories/Strings/String.vo - lib/coq/theories/Strings/String.v - lib/coq/theories/Strings/String.glob - lib/coq/theories/Strings/OctalString.vos - lib/coq/theories/Strings/OctalString.vo - lib/coq/theories/Strings/OctalString.v - lib/coq/theories/Strings/OctalString.glob - lib/coq/theories/Strings/HexString.vos - lib/coq/theories/Strings/HexString.vo - lib/coq/theories/Strings/HexString.v - lib/coq/theories/Strings/HexString.glob - lib/coq/theories/Strings/ByteVector.vos - lib/coq/theories/Strings/ByteVector.vo - lib/coq/theories/Strings/ByteVector.v - lib/coq/theories/Strings/ByteVector.glob - lib/coq/theories/Strings/Byte.vos - lib/coq/theories/Strings/Byte.vo - lib/coq/theories/Strings/Byte.v - lib/coq/theories/Strings/Byte.glob - lib/coq/theories/Strings/BinaryString.vos - lib/coq/theories/Strings/BinaryString.vo - lib/coq/theories/Strings/BinaryString.v - lib/coq/theories/Strings/BinaryString.glob - lib/coq/theories/Strings/Ascii.vos - lib/coq/theories/Strings/Ascii.vo - lib/coq/theories/Strings/Ascii.v - lib/coq/theories/Strings/Ascii.glob - lib/coq/theories/Strings/.coq-native/NCoq_Strings_String.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_String.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_String.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_String.cmi - lib/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_OctalString.cmi - lib/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_HexString.cmi - lib/coq/theories/Strings/.coq-native/NCoq_Strings_ByteVector.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_ByteVector.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_ByteVector.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_ByteVector.cmi - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Byte.cmi - lib/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_BinaryString.cmi - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.o - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmxs - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmx - lib/coq/theories/Strings/.coq-native/NCoq_Strings_Ascii.cmi - lib/coq/theories/Sorting/Sorting.vos - lib/coq/theories/Sorting/Sorting.vo - lib/coq/theories/Sorting/Sorting.v - lib/coq/theories/Sorting/Sorting.glob - lib/coq/theories/Sorting/Sorted.vos - lib/coq/theories/Sorting/Sorted.vo - lib/coq/theories/Sorting/Sorted.v - lib/coq/theories/Sorting/Sorted.glob - lib/coq/theories/Sorting/Permutation.vos - lib/coq/theories/Sorting/Permutation.vo - lib/coq/theories/Sorting/Permutation.v - lib/coq/theories/Sorting/Permutation.glob - lib/coq/theories/Sorting/PermutSetoid.vos - lib/coq/theories/Sorting/PermutSetoid.vo - lib/coq/theories/Sorting/PermutSetoid.v - lib/coq/theories/Sorting/PermutSetoid.glob - lib/coq/theories/Sorting/PermutEq.vos - lib/coq/theories/Sorting/PermutEq.vo - lib/coq/theories/Sorting/PermutEq.v - lib/coq/theories/Sorting/PermutEq.glob - lib/coq/theories/Sorting/Mergesort.vos - lib/coq/theories/Sorting/Mergesort.vo - lib/coq/theories/Sorting/Mergesort.v - lib/coq/theories/Sorting/Mergesort.glob - lib/coq/theories/Sorting/Heap.vos - lib/coq/theories/Sorting/Heap.vo - lib/coq/theories/Sorting/Heap.v - lib/coq/theories/Sorting/Heap.glob - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorting.cmi - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Sorted.cmi - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Permutation.cmi - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutSetoid.cmi - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_PermutEq.cmi - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Mergesort.cmi - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.o - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.cmxs - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.cmx - lib/coq/theories/Sorting/.coq-native/NCoq_Sorting_Heap.cmi - lib/coq/theories/Sets/Uniset.vos - lib/coq/theories/Sets/Uniset.vo - lib/coq/theories/Sets/Uniset.v - lib/coq/theories/Sets/Uniset.glob - lib/coq/theories/Sets/Relations_3_facts.vos - lib/coq/theories/Sets/Relations_3_facts.vo - lib/coq/theories/Sets/Relations_3_facts.v - lib/coq/theories/Sets/Relations_3_facts.glob - lib/coq/theories/Sets/Relations_3.vos - lib/coq/theories/Sets/Relations_3.vo - lib/coq/theories/Sets/Relations_3.v - lib/coq/theories/Sets/Relations_3.glob - lib/coq/theories/Sets/Relations_2_facts.vos - lib/coq/theories/Sets/Relations_2_facts.vo - lib/coq/theories/Sets/Relations_2_facts.v - lib/coq/theories/Sets/Relations_2_facts.glob - lib/coq/theories/Sets/Relations_2.vos - lib/coq/theories/Sets/Relations_2.vo - lib/coq/theories/Sets/Relations_2.v - lib/coq/theories/Sets/Relations_2.glob - lib/coq/theories/Sets/Relations_1_facts.vos - lib/coq/theories/Sets/Relations_1_facts.vo - lib/coq/theories/Sets/Relations_1_facts.v - lib/coq/theories/Sets/Relations_1_facts.glob - lib/coq/theories/Sets/Relations_1.vos - lib/coq/theories/Sets/Relations_1.vo - lib/coq/theories/Sets/Relations_1.v - lib/coq/theories/Sets/Relations_1.glob - lib/coq/theories/Sets/Powerset_facts.vos - lib/coq/theories/Sets/Powerset_facts.vo - lib/coq/theories/Sets/Powerset_facts.v - lib/coq/theories/Sets/Powerset_facts.glob - lib/coq/theories/Sets/Powerset_Classical_facts.vos - lib/coq/theories/Sets/Powerset_Classical_facts.vo - lib/coq/theories/Sets/Powerset_Classical_facts.v - lib/coq/theories/Sets/Powerset_Classical_facts.glob - lib/coq/theories/Sets/Powerset.vos - lib/coq/theories/Sets/Powerset.vo - lib/coq/theories/Sets/Powerset.v - lib/coq/theories/Sets/Powerset.glob - lib/coq/theories/Sets/Permut.vos - lib/coq/theories/Sets/Permut.vo - lib/coq/theories/Sets/Permut.v - lib/coq/theories/Sets/Permut.glob - lib/coq/theories/Sets/Partial_Order.vos - lib/coq/theories/Sets/Partial_Order.vo - lib/coq/theories/Sets/Partial_Order.v - lib/coq/theories/Sets/Partial_Order.glob - lib/coq/theories/Sets/Multiset.vos - lib/coq/theories/Sets/Multiset.vo - lib/coq/theories/Sets/Multiset.v - lib/coq/theories/Sets/Multiset.glob - lib/coq/theories/Sets/Integers.vos - lib/coq/theories/Sets/Integers.vo - lib/coq/theories/Sets/Integers.v - lib/coq/theories/Sets/Integers.glob - lib/coq/theories/Sets/Infinite_sets.vos - lib/coq/theories/Sets/Infinite_sets.vo - lib/coq/theories/Sets/Infinite_sets.v - lib/coq/theories/Sets/Infinite_sets.glob - lib/coq/theories/Sets/Image.vos - lib/coq/theories/Sets/Image.vo - lib/coq/theories/Sets/Image.v - lib/coq/theories/Sets/Image.glob - lib/coq/theories/Sets/Finite_sets_facts.vos - lib/coq/theories/Sets/Finite_sets_facts.vo - lib/coq/theories/Sets/Finite_sets_facts.v - lib/coq/theories/Sets/Finite_sets_facts.glob - lib/coq/theories/Sets/Finite_sets.vos - lib/coq/theories/Sets/Finite_sets.vo - lib/coq/theories/Sets/Finite_sets.v - lib/coq/theories/Sets/Finite_sets.glob - lib/coq/theories/Sets/Ensembles.vos - lib/coq/theories/Sets/Ensembles.vo - lib/coq/theories/Sets/Ensembles.v - lib/coq/theories/Sets/Ensembles.glob - lib/coq/theories/Sets/Cpo.vos - lib/coq/theories/Sets/Cpo.vo - lib/coq/theories/Sets/Cpo.v - lib/coq/theories/Sets/Cpo.glob - lib/coq/theories/Sets/Constructive_sets.vos - lib/coq/theories/Sets/Constructive_sets.vo - lib/coq/theories/Sets/Constructive_sets.v - lib/coq/theories/Sets/Constructive_sets.glob - lib/coq/theories/Sets/Classical_sets.vos - lib/coq/theories/Sets/Classical_sets.vo - lib/coq/theories/Sets/Classical_sets.v - lib/coq/theories/Sets/Classical_sets.glob - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Uniset.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3_facts.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_3.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2_facts.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_2.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1_facts.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Relations_1.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_facts.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset_Classical_facts.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Powerset.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Permut.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Partial_Order.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Multiset.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Integers.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Infinite_sets.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Image.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Image.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Image.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Image.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets_facts.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Finite_sets.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Ensembles.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Cpo.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Constructive_sets.cmi - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.o - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.cmxs - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.cmx - lib/coq/theories/Sets/.coq-native/NCoq_Sets_Classical_sets.cmi - lib/coq/theories/Setoids/Setoid.vos - lib/coq/theories/Setoids/Setoid.vo - lib/coq/theories/Setoids/Setoid.v - lib/coq/theories/Setoids/Setoid.glob - lib/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.o - lib/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.cmxs - lib/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.cmx - lib/coq/theories/Setoids/.coq-native/NCoq_Setoids_Setoid.cmi - lib/coq/theories/Relations/Relations.vos - lib/coq/theories/Relations/Relations.vo - lib/coq/theories/Relations/Relations.v - lib/coq/theories/Relations/Relations.glob - lib/coq/theories/Relations/Relation_Operators.vos - lib/coq/theories/Relations/Relation_Operators.vo - lib/coq/theories/Relations/Relation_Operators.v - lib/coq/theories/Relations/Relation_Operators.glob - lib/coq/theories/Relations/Relation_Definitions.vos - lib/coq/theories/Relations/Relation_Definitions.vo - lib/coq/theories/Relations/Relation_Definitions.v - lib/coq/theories/Relations/Relation_Definitions.glob - lib/coq/theories/Relations/Operators_Properties.vos - lib/coq/theories/Relations/Operators_Properties.vo - lib/coq/theories/Relations/Operators_Properties.v - lib/coq/theories/Relations/Operators_Properties.glob - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.o - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmxs - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmx - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relations.cmi - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.o - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.cmxs - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.cmx - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Operators.cmi - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.o - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.cmxs - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.cmx - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Relation_Definitions.cmi - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.o - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.cmxs - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.cmx - lib/coq/theories/Relations/.coq-native/NCoq_Relations_Operators_Properties.cmi - lib/coq/theories/Reals/Sqrt_reg.vos - lib/coq/theories/Reals/Sqrt_reg.vo - lib/coq/theories/Reals/Sqrt_reg.v - lib/coq/theories/Reals/Sqrt_reg.glob - lib/coq/theories/Reals/SplitRmult.vos - lib/coq/theories/Reals/SplitRmult.vo - lib/coq/theories/Reals/SplitRmult.v - lib/coq/theories/Reals/SplitRmult.glob - lib/coq/theories/Reals/SplitAbsolu.vos - lib/coq/theories/Reals/SplitAbsolu.vo - lib/coq/theories/Reals/SplitAbsolu.v - lib/coq/theories/Reals/SplitAbsolu.glob - lib/coq/theories/Reals/SeqSeries.vos - lib/coq/theories/Reals/SeqSeries.vo - lib/coq/theories/Reals/SeqSeries.v - lib/coq/theories/Reals/SeqSeries.glob - lib/coq/theories/Reals/SeqProp.vos - lib/coq/theories/Reals/SeqProp.vo - lib/coq/theories/Reals/SeqProp.v - lib/coq/theories/Reals/SeqProp.glob - lib/coq/theories/Reals/Runcountable.vos - lib/coq/theories/Reals/Runcountable.vo - lib/coq/theories/Reals/Runcountable.v - lib/coq/theories/Reals/Runcountable.glob - lib/coq/theories/Reals/Rtrigo_reg.vos - lib/coq/theories/Reals/Rtrigo_reg.vo - lib/coq/theories/Reals/Rtrigo_reg.v - lib/coq/theories/Reals/Rtrigo_reg.glob - lib/coq/theories/Reals/Rtrigo_fun.vos - lib/coq/theories/Reals/Rtrigo_fun.vo - lib/coq/theories/Reals/Rtrigo_fun.v - lib/coq/theories/Reals/Rtrigo_fun.glob - lib/coq/theories/Reals/Rtrigo_def.vos - lib/coq/theories/Reals/Rtrigo_def.vo - lib/coq/theories/Reals/Rtrigo_def.v - lib/coq/theories/Reals/Rtrigo_def.glob - lib/coq/theories/Reals/Rtrigo_calc.vos - lib/coq/theories/Reals/Rtrigo_calc.vo - lib/coq/theories/Reals/Rtrigo_calc.v - lib/coq/theories/Reals/Rtrigo_calc.glob - lib/coq/theories/Reals/Rtrigo_alt.vos - lib/coq/theories/Reals/Rtrigo_alt.vo - lib/coq/theories/Reals/Rtrigo_alt.v - lib/coq/theories/Reals/Rtrigo_alt.glob - lib/coq/theories/Reals/Rtrigo1.vos - lib/coq/theories/Reals/Rtrigo1.vo - lib/coq/theories/Reals/Rtrigo1.v - lib/coq/theories/Reals/Rtrigo1.glob - lib/coq/theories/Reals/Rtrigo.vos - lib/coq/theories/Reals/Rtrigo.vo - lib/coq/theories/Reals/Rtrigo.v - lib/coq/theories/Reals/Rtrigo.glob - lib/coq/theories/Reals/Rtopology.vos - lib/coq/theories/Reals/Rtopology.vo - lib/coq/theories/Reals/Rtopology.v - lib/coq/theories/Reals/Rtopology.glob - lib/coq/theories/Reals/Rsqrt_def.vos - lib/coq/theories/Reals/Rsqrt_def.vo - lib/coq/theories/Reals/Rsqrt_def.v - lib/coq/theories/Reals/Rsqrt_def.glob - lib/coq/theories/Reals/Rsigma.vos - lib/coq/theories/Reals/Rsigma.vo - lib/coq/theories/Reals/Rsigma.v - lib/coq/theories/Reals/Rsigma.glob - lib/coq/theories/Reals/Rseries.vos - lib/coq/theories/Reals/Rseries.vo - lib/coq/theories/Reals/Rseries.v - lib/coq/theories/Reals/Rseries.glob - lib/coq/theories/Reals/Rprod.vos - lib/coq/theories/Reals/Rprod.vo - lib/coq/theories/Reals/Rprod.v - lib/coq/theories/Reals/Rprod.glob - lib/coq/theories/Reals/Rpower.vos - lib/coq/theories/Reals/Rpower.vo - lib/coq/theories/Reals/Rpower.v - lib/coq/theories/Reals/Rpower.glob - lib/coq/theories/Reals/Rpow_def.vos - lib/coq/theories/Reals/Rpow_def.vo - lib/coq/theories/Reals/Rpow_def.v - lib/coq/theories/Reals/Rpow_def.glob - lib/coq/theories/Reals/Rminmax.vos - lib/coq/theories/Reals/Rminmax.vo - lib/coq/theories/Reals/Rminmax.v - lib/coq/theories/Reals/Rminmax.glob - lib/coq/theories/Reals/Rlogic.vos - lib/coq/theories/Reals/Rlogic.vo - lib/coq/theories/Reals/Rlogic.v - lib/coq/theories/Reals/Rlogic.glob - lib/coq/theories/Reals/Rlimit.vos - lib/coq/theories/Reals/Rlimit.vo - lib/coq/theories/Reals/Rlimit.v - lib/coq/theories/Reals/Rlimit.glob - lib/coq/theories/Reals/RiemannInt_SF.vos - lib/coq/theories/Reals/RiemannInt_SF.vo - lib/coq/theories/Reals/RiemannInt_SF.v - lib/coq/theories/Reals/RiemannInt_SF.glob - lib/coq/theories/Reals/RiemannInt.vos - lib/coq/theories/Reals/RiemannInt.vo - lib/coq/theories/Reals/RiemannInt.v - lib/coq/theories/Reals/RiemannInt.glob - lib/coq/theories/Reals/Rgeom.vos - lib/coq/theories/Reals/Rgeom.vo - lib/coq/theories/Reals/Rgeom.v - lib/coq/theories/Reals/Rgeom.glob - lib/coq/theories/Reals/Rfunctions.vos - lib/coq/theories/Reals/Rfunctions.vo - lib/coq/theories/Reals/Rfunctions.v - lib/coq/theories/Reals/Rfunctions.glob - lib/coq/theories/Reals/Reals.vos - lib/coq/theories/Reals/Reals.vo - lib/coq/theories/Reals/Reals.v - lib/coq/theories/Reals/Reals.glob - lib/coq/theories/Reals/Rderiv.vos - lib/coq/theories/Reals/Rderiv.vo - lib/coq/theories/Reals/Rderiv.v - lib/coq/theories/Reals/Rderiv.glob - lib/coq/theories/Reals/Rdefinitions.vos - lib/coq/theories/Reals/Rdefinitions.vo - lib/coq/theories/Reals/Rdefinitions.v - lib/coq/theories/Reals/Rdefinitions.glob - lib/coq/theories/Reals/Rcomplete.vos - lib/coq/theories/Reals/Rcomplete.vo - lib/coq/theories/Reals/Rcomplete.v - lib/coq/theories/Reals/Rcomplete.glob - lib/coq/theories/Reals/Rbasic_fun.vos - lib/coq/theories/Reals/Rbasic_fun.vo - lib/coq/theories/Reals/Rbasic_fun.v - lib/coq/theories/Reals/Rbasic_fun.glob - lib/coq/theories/Reals/Rbase.vos - lib/coq/theories/Reals/Rbase.vo - lib/coq/theories/Reals/Rbase.v - lib/coq/theories/Reals/Rbase.glob - lib/coq/theories/Reals/Raxioms.vos - lib/coq/theories/Reals/Raxioms.vo - lib/coq/theories/Reals/Raxioms.v - lib/coq/theories/Reals/Raxioms.glob - lib/coq/theories/Reals/Ratan.vos - lib/coq/theories/Reals/Ratan.vo - lib/coq/theories/Reals/Ratan.v - lib/coq/theories/Reals/Ratan.glob - lib/coq/theories/Reals/Ranalysis_reg.vos - lib/coq/theories/Reals/Ranalysis_reg.vo - lib/coq/theories/Reals/Ranalysis_reg.v - lib/coq/theories/Reals/Ranalysis_reg.glob - lib/coq/theories/Reals/Ranalysis5.vos - lib/coq/theories/Reals/Ranalysis5.vo - lib/coq/theories/Reals/Ranalysis5.v - lib/coq/theories/Reals/Ranalysis5.glob - lib/coq/theories/Reals/Ranalysis4.vos - lib/coq/theories/Reals/Ranalysis4.vo - lib/coq/theories/Reals/Ranalysis4.v - lib/coq/theories/Reals/Ranalysis4.glob - lib/coq/theories/Reals/Ranalysis3.vos - lib/coq/theories/Reals/Ranalysis3.vo - lib/coq/theories/Reals/Ranalysis3.v - lib/coq/theories/Reals/Ranalysis3.glob - lib/coq/theories/Reals/Ranalysis2.vos - lib/coq/theories/Reals/Ranalysis2.vo - lib/coq/theories/Reals/Ranalysis2.v - lib/coq/theories/Reals/Ranalysis2.glob - lib/coq/theories/Reals/Ranalysis1.vos - lib/coq/theories/Reals/Ranalysis1.vo - lib/coq/theories/Reals/Ranalysis1.v - lib/coq/theories/Reals/Ranalysis1.glob - lib/coq/theories/Reals/Ranalysis.vos - lib/coq/theories/Reals/Ranalysis.vo - lib/coq/theories/Reals/Ranalysis.v - lib/coq/theories/Reals/Ranalysis.glob - lib/coq/theories/Reals/R_sqrt.vos - lib/coq/theories/Reals/R_sqrt.vo - lib/coq/theories/Reals/R_sqrt.v - lib/coq/theories/Reals/R_sqrt.glob - lib/coq/theories/Reals/R_sqr.vos - lib/coq/theories/Reals/R_sqr.vo - lib/coq/theories/Reals/R_sqr.v - lib/coq/theories/Reals/R_sqr.glob - lib/coq/theories/Reals/R_Ifp.vos - lib/coq/theories/Reals/R_Ifp.vo - lib/coq/theories/Reals/R_Ifp.v - lib/coq/theories/Reals/R_Ifp.glob - lib/coq/theories/Reals/ROrderedType.vos - lib/coq/theories/Reals/ROrderedType.vo - lib/coq/theories/Reals/ROrderedType.v - lib/coq/theories/Reals/ROrderedType.glob - lib/coq/theories/Reals/RList.vos - lib/coq/theories/Reals/RList.vo - lib/coq/theories/Reals/RList.v - lib/coq/theories/Reals/RList.glob - lib/coq/theories/Reals/RIneq.vos - lib/coq/theories/Reals/RIneq.vo - lib/coq/theories/Reals/RIneq.v - lib/coq/theories/Reals/RIneq.glob - lib/coq/theories/Reals/PartSum.vos - lib/coq/theories/Reals/PartSum.vo - lib/coq/theories/Reals/PartSum.v - lib/coq/theories/Reals/PartSum.glob - lib/coq/theories/Reals/PSeries_reg.vos - lib/coq/theories/Reals/PSeries_reg.vo - lib/coq/theories/Reals/PSeries_reg.v - lib/coq/theories/Reals/PSeries_reg.glob - lib/coq/theories/Reals/NewtonInt.vos - lib/coq/theories/Reals/NewtonInt.vo - lib/coq/theories/Reals/NewtonInt.v - lib/coq/theories/Reals/NewtonInt.glob - lib/coq/theories/Reals/Machin.vos - lib/coq/theories/Reals/Machin.vo - lib/coq/theories/Reals/Machin.v - lib/coq/theories/Reals/Machin.glob - lib/coq/theories/Reals/MVT.vos - lib/coq/theories/Reals/MVT.vo - lib/coq/theories/Reals/MVT.v - lib/coq/theories/Reals/MVT.glob - lib/coq/theories/Reals/Integration.vos - lib/coq/theories/Reals/Integration.vo - lib/coq/theories/Reals/Integration.v - lib/coq/theories/Reals/Integration.glob - lib/coq/theories/Reals/Exp_prop.vos - lib/coq/theories/Reals/Exp_prop.vo - lib/coq/theories/Reals/Exp_prop.v - lib/coq/theories/Reals/Exp_prop.glob - lib/coq/theories/Reals/DiscrR.vos - lib/coq/theories/Reals/DiscrR.vo - lib/coq/theories/Reals/DiscrR.v - lib/coq/theories/Reals/DiscrR.glob - lib/coq/theories/Reals/Cos_rel.vos - lib/coq/theories/Reals/Cos_rel.vo - lib/coq/theories/Reals/Cos_rel.v - lib/coq/theories/Reals/Cos_rel.glob - lib/coq/theories/Reals/Cos_plus.vos - lib/coq/theories/Reals/Cos_plus.vo - lib/coq/theories/Reals/Cos_plus.v - lib/coq/theories/Reals/Cos_plus.glob - lib/coq/theories/Reals/ConstructiveRealsMorphisms.vos - lib/coq/theories/Reals/ConstructiveRealsMorphisms.vo - lib/coq/theories/Reals/ConstructiveRealsMorphisms.v - lib/coq/theories/Reals/ConstructiveRealsMorphisms.glob - lib/coq/theories/Reals/ConstructiveRealsLUB.vos - lib/coq/theories/Reals/ConstructiveRealsLUB.vo - lib/coq/theories/Reals/ConstructiveRealsLUB.v - lib/coq/theories/Reals/ConstructiveRealsLUB.glob - lib/coq/theories/Reals/ConstructiveReals.vos - lib/coq/theories/Reals/ConstructiveReals.vo - lib/coq/theories/Reals/ConstructiveReals.v - lib/coq/theories/Reals/ConstructiveReals.glob - lib/coq/theories/Reals/ConstructiveRcomplete.vos - lib/coq/theories/Reals/ConstructiveRcomplete.vo - lib/coq/theories/Reals/ConstructiveRcomplete.v - lib/coq/theories/Reals/ConstructiveRcomplete.glob - lib/coq/theories/Reals/ConstructiveCauchyRealsMult.vos - lib/coq/theories/Reals/ConstructiveCauchyRealsMult.vo - lib/coq/theories/Reals/ConstructiveCauchyRealsMult.v - lib/coq/theories/Reals/ConstructiveCauchyRealsMult.glob - lib/coq/theories/Reals/ConstructiveCauchyReals.vos - lib/coq/theories/Reals/ConstructiveCauchyReals.vo - lib/coq/theories/Reals/ConstructiveCauchyReals.v - lib/coq/theories/Reals/ConstructiveCauchyReals.glob - lib/coq/theories/Reals/ClassicalDedekindReals.vos - lib/coq/theories/Reals/ClassicalDedekindReals.vo - lib/coq/theories/Reals/ClassicalDedekindReals.v - lib/coq/theories/Reals/ClassicalDedekindReals.glob - lib/coq/theories/Reals/Cauchy_prod.vos - lib/coq/theories/Reals/Cauchy_prod.vo - lib/coq/theories/Reals/Cauchy_prod.v - lib/coq/theories/Reals/Cauchy_prod.glob - lib/coq/theories/Reals/Binomial.vos - lib/coq/theories/Reals/Binomial.vo - lib/coq/theories/Reals/Binomial.v - lib/coq/theories/Reals/Binomial.glob - lib/coq/theories/Reals/ArithProp.vos - lib/coq/theories/Reals/ArithProp.vo - lib/coq/theories/Reals/ArithProp.v - lib/coq/theories/Reals/ArithProp.glob - lib/coq/theories/Reals/AltSeries.vos - lib/coq/theories/Reals/AltSeries.vo - lib/coq/theories/Reals/AltSeries.v - lib/coq/theories/Reals/AltSeries.glob - lib/coq/theories/Reals/Alembert.vos - lib/coq/theories/Reals/Alembert.vo - lib/coq/theories/Reals/Alembert.v - lib/coq/theories/Reals/Alembert.glob - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Sqrt_reg.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitRmult.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SplitAbsolu.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqSeries.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_SeqProp.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Runcountable.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_reg.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_fun.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_def.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_calc.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo_alt.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo1.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtrigo.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rtopology.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsqrt_def.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rsigma.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rseries.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rprod.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpower.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rpow_def.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rminmax.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlogic.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rlimit.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt_SF.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RiemannInt.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rgeom.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rfunctions.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Reals.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rderiv.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rdefinitions.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rcomplete.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbasic_fun.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Rbase.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Raxioms.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ratan.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis_reg.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis5.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis4.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis3.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis2.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis1.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Ranalysis.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqrt.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_sqr.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_R_Ifp.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ROrderedType.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RList.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RList.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RList.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RList.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_RIneq.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PartSum.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_PSeries_reg.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_NewtonInt.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Machin.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_MVT.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Integration.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Exp_prop.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_DiscrR.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_rel.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cos_plus.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsMorphisms.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsMorphisms.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsMorphisms.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsMorphisms.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsLUB.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsLUB.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsLUB.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRealsLUB.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveReals.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveReals.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveReals.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveReals.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRcomplete.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRcomplete.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRcomplete.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveRcomplete.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyRealsMult.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyRealsMult.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyRealsMult.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyRealsMult.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyReals.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyReals.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyReals.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ConstructiveCauchyReals.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_ClassicalDedekindReals.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Cauchy_prod.cmi - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.o - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmxs - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmx - lib/coq/theories/Reals/.coq-native/NCoq_Reals_Binomial.cmi - lib/coq/the [...] Truncated (maximum 100000 characters)
true
true
No files were installed.
true


Prentice Hall Core Series
Core J2EE Patterns, Second Edition, Alur/Malks/Crupi
Core PHP Programming, Third Edition, Atkinson/Suraski
Core Lego Mindstorms, Bagnall
Core JSTL, Geary
Core JavaServer Faces, Geary/Horstmann
Core Web Programming, Second Edition, Hall/Brown
Core Servlets and JavaServer Pages, Second Edition, Hall/Brown
Core Java™ 2, Volume IFundamentals, Horstmann/Cornell
Core Java™ 2, Volume IIAdvanced Features, Horstmann/Cornell
Core C# and .NET, Perry
Core CSS, Second Edition, Schengili-Roberts
Core Security Patterns, Steel/Nagappan/Lai
Core Java Data Objects, Tyagi/Vorburger/McCammon/Bobzin
Core Web Application Development with PHP and MySQL, Wandschneider
|


Start
Cols
Preview & Save
🖱
Click mouse icon and point your mouse on desire element then press "S" on keyboard
Text
URL
HTML
🖱
Click mouse icon and point your mouse on desire element then press "S" on keyboard
ADD ANOTHER
Run
Save Schema


You have recieved a mention on twitter, check it out!
Valid Thru 11/18
User Number: 582 458
User ID: WX84579522CY


{% extends "document_download_template.html" %} {%- from "govuk_frontend_jinja/components/button/macro.html" import govukButton -%} {% block per_page_title %} You have a file to download {% endblock %} {% block main_content %}
{{ service_name or '[SERVICE_NAME]'}} sent you a file to download.
{{ govukButton({ "href": continue_url, "text": "Continue", "element": "a", }) }}
If you’re not sure why you’ve been sent a file, or you have any questions, {% if contact_info_type == "link" %} contact {{ service_name }}. {% elif contact_info_type == "email" %} email {{service_contact_info}}. {% else %} call {{ service_contact_info }}. {% endif %}
{% endblock %}


 It often screws up formatting and requires the user to tinker with the source HTML. And, as it's currently set up, we can't correctly format inline code snippets. I'm just wondering if the admin of this forum might consider enabling markdown as an additional input format option? (There's a Drupal markdown module). markdown is an elegant, easy-to-use text-to-HTML conversion tool which is becoming increasingly popular on web forums.  It often screws up formatting and requires the user to tinker with the source HTML. And, as it's currently set up, we can't correctly format inline code snippets. I'm just wondering if the admin of this forum might consider enabling markdown as an additional input format option? (There's a Drupal markdown module). markdown is an elegant, easy-to-use text-to-HTML conversion tool which is becoming increasingly popular on web forums. Some quick examples:
No worries if not, of course!


Infinispan 9.1 "Bastille"
Dear Infinispan users,
after 3½ months, we are proud to present to you our latest stable release, Infinispan 9.1, codenamed "https://revbrew.com/beer/archive/bastille[Bastille]".
While minor releases are traditionally evolutionary instead of revolutionary, this release still comes loaded with a number of great features:
Scattered cache
A new clustered cache, similar to a distributed cache, but with a higher write throughput.
Consistency Checker, Conflict Resolution and Automatic merge policies
An overhaul to partition handling which allows much finer control about whether to allow reads and writes in split clusters and how data is reconciled when partitions are merged.
Clustered Counters
An implementation of clustered counters with both strong and weak semantics, threshold events, optional persistence and bounding. Currently these are only available in embedded mode, but they will be usable over Hot Rod in Infinispan 9.2.
Locked Streams
Locked streams allow you to run your stream processing operations knowing that another update cannot be performed while the Consumer is executed on an entry. Note this only works in non transactional and pessimistic transactional caches (optimistic transactional caches are not supported).
API improvements
The compute(), computeIfPresent() and computeIfAbsent() methods on the Cache interface are now implemented as proper distributed operations so that they run local to the entries. The DeltaAware interface for supporting granular clustered operations has been deprecated in favour of functional commands.
Persistence improvements
The CacheStore SPI now supports write batching. The JDBC, JPA, RocksDB, Remote and File stores have been modified to take advantage of this. You should see great benefits when using write-behind or when using putAll operations.
Remote query with JBoss Marshalling
Remote query now also works with Java entities annotated with Hibernate Search annotations and JBoss Marshalling without requiring ProtoBuf.
HTTP/2 and ALPN support on the REST endpoint
The REST endpoint has been completely rewritten so that it now supports both HTTP/1.1 and HTTP/2 as well as ALPN (even on Java 8). The new endpoint is also 30% faster during reads and 6% faster during writes.
Hot Rod Java client improvements
The Java Hot Rod client now has proper entrySet(), keySet() and values() implementations which iterate over the remote data instead of pulling it all locally. It is now also finally possible to create and remove caches directly from the client.
Server Administration console improvements
The console has received a number of updates for usability and consistency. It is also finally possible to configure and manage the remote endpoints.
Component upgrades
Hibernate Search 5.8, JGroups 4.0.4, KUBE Ping 1.0.0.Beta1
Bug fixes
We have also dropped the guillotine on a large number of bugs.
If all goes well, we plan to release Infinispan 9.2 at the end of October, with lots of great updates.
So, head over to our download page, consult the upgrading guide and let us know about how you use Infinispan.
Cheers !
The Infinispan team


 There are seven continents: Asia, Africa, North America, South America, Antarctica, Europe, and Australia (listed from largest to smallest in size). Sometimes Europe and Asia are considered one continent called Eurasia.
Asia, the most populous of the continents, contains some three-fifths of the world's people. Asia is the birthplace of all the world's major religions—Buddhism, Christianity, Hinduism, Islam, and Judaism—and of many minor ones.
Population: 4,651 millions
Africa is the most centrally-located continent on the planet.Nearly half of all gold mined has come from Witwatersrand, South Africa.
Population: 1,351 millions
There Are 50 Countries in Europe.The name Europe Comes from Greek.The Louvre is the most visited attraction in Europe.
Population: 744 millions
Latin America is the most urbanized continent in the world with almost 80% of its citizens living in cities. Mambo, salsa, cha-cha-cha, rumba and tango dances all come from Latin America.
Population: 656 millions
What are 2 fun facts about Australia? Australia is the only continent in the world without an active volcano. Australia has three times more sheep than people. The largest Greek population in the world beside Athens in Greece can be found in Melbourne Victoria. An Australian man once tried to sell New Zealand on eBay.


\usebox{cmd}
Prints the box most recently saved in cmd by a \savebox or \sbox command.
The \usebox command is robust.
See Spaces and Boxes See \newsavebox, \savebox Back to the Table of Contents


The instance can be added to a reactor and notified of selection.
Public Methods | |
| void | onOutOfBand () |
| Called by the reactor when the socket has readable out-of-band data. More... | |
| void | onReadable () |
| Called by the reactor when the socket has readable data. More... | |
| Public Methods inherited from SocketInterface | |
| int | getId () |
| Returns the underlying socket resource as an integer. More... | |
| resource | getResource () |
| Returns the underlying socket resource. More... | |
| bool | isOpen () |
| Whether the underlying resource is usable. More... | |
Additional Inherited Members | |
| Public Properties inherited from SocketInterface | |
| const | CH_EXCEPT = 2 |
| Out-of-band channel. More... | |
| const | CH_READ = 0 |
| Read channel. More... | |
| const | CH_WRITE = 1 |
| Write channel. More... | |
| void onOutOfBand | ( | ) |
Called by the reactor when the socket has readable out-of-band data.
Implemented in WebSocketClient, and WebSocketServer.
| void onReadable | ( | ) |
Called by the reactor when the socket has readable data.
Implemented in WebSocketClient, and WebSocketServer.


|
VirtualSCADA
1.0
VirtualSCADA Senior Design Project
|
Public Member Functions | |
| find ($ip, $url, $limit, $method, $start=null, $end=null) | |
| read ($token) | |
| write (Profile $profile) | |
| purge () | |
Definition at line 19 of file ProfilerStorageInterface.php.
| find | ( | $ip, | |
| $url, | |||
| $limit, | |||
| $method, | |||
$start = null , |
|||
$end = null |
|||
| ) |
Finds profiler tokens for the given criteria.
| string | $ip | The IP |
| string | $url | The URL |
| string | $limit | The maximum number of tokens to return |
| string | $method | The request method |
| int | null | $start | The start date to search from |
| int | null | $end | The end date to search to |
Implemented in RedisProfilerStorage, FileProfilerStorage, PdoProfilerStorage, BaseMemcacheProfilerStorage, and MongoDbProfilerStorage.
| purge | ( | ) |
Purges all data from the database.
Implemented in PdoProfilerStorage, RedisProfilerStorage, BaseMemcacheProfilerStorage, FileProfilerStorage, and MongoDbProfilerStorage.
| read | ( | $token | ) |
Reads data associated with the given token.
The method returns false if the token does not exist in the storage.
| string | $token | A token |
Implemented in RedisProfilerStorage, BaseMemcacheProfilerStorage, FileProfilerStorage, PdoProfilerStorage, and MongoDbProfilerStorage.
| write | ( | Profile | $profile | ) |
Saves a Profile.
Implemented in RedisProfilerStorage, BaseMemcacheProfilerStorage, FileProfilerStorage, PdoProfilerStorage, and MongoDbProfilerStorage.


Head Blacksmith Kusto:
Long time no see. How is Lorain progressing with her assignment?
Explain what has happened.


| OLD line(s): 153,154
<!-- Qualified Cellulosic Biofuel Produced for Fuel - Gallons --> <xsd:element name="QualCellBiofuelProdFuelGlln" type="Form6478NumGallonsType" minOccurs="0"> | NEW line(s): 153,154
<!-- Qualified Second Generation Biofuel Produced for Fuel - Gallons --> <xsd:element name="Qual2ndGenBiofuelProdFuelGlln" type="Form6478NumGallonsType" minOccurs="0"> |
| OLD line(s): 157
<Description>Qualified cellulosic biofuel produced for fuel - Gallons</Description> | NEW line(s): 157
<Description>Qualified second generation biofuel produced for fuel - Gallons</Description> |
| OLD line(s): 163,164
<!-- Qualified Cellulosic Biofuel Produced for Fuel - Credit --> <xsd:element name="QualCellBiofuelProdFuelCrAmt" type="USAmountType" minOccurs="0"> | NEW line(s): 163,164
<!-- Qualified Second Generation Biofuel Produced for Fuel - Credit --> <xsd:element name="Qual2ndGenBiofuelProdFuelCrAmt" type="USAmountType" minOccurs="0"> |
| OLD line(s): 167
<Description>Qualified cellulosic biofuel produced for fuel - Credit</Description> | NEW line(s): 167
<Description>Qualified second generation biofuel produced for fuel - Credit</Description> |


New figures to sell, click here$500
Some strange alien thing with details about this and special offers Some strange alien thing with details about this and special offers
Recent News : Click to view $400
This would basiclaly be a bit of info about this particular set of figures and some of the background etc.
More tanks, click here for more.. $800
Some strange alien thing with details about this and special offers Some strange alien thing with details about this and special offers.


下面的内容来自于《The Java Virtual Machine Specification, Java SE 8 Edition》的4.7.16. The RuntimeVisibleAnnotations Attribute部分。
The annotation
structure has the following format:
annotation { u2 type_index; u2 num_element_value_pairs; { u2 element_name_index; element_value value; } element_value_pairs[num_element_value_pairs]; }
The items of the annotation
structure are as follows:
type_index
item must be a valid index into the constant_pool
table. The constant_pool
entry at that index must be a CONSTANT_Utf8_info
structure representing a field descriptor. The field descriptor denotes the type of the annotation represented by this annotation structure.
num_element_value_pairs
item gives the number of element-value
pairs of the annotation represented by this annotation
structure.
element_value_pairs
table represents a single element-value pair in the annotation represented by this annotation
structure. Each element_value_pairs
entry contains the following two items:
element_name_index
item must be a valid index into the constant_pool
table. The constant_pool
entry at that index must be a CONSTANT_Utf8_info
structure. The constant_pool
entry denotes the name of the element of the element-value pair represented by this element_value_pairs
entry.
value
item represents the value of the element-value pair represented by this element_value_pairs
entry.
对于element_value
的类型，可以参考这里。


Considering the fact that my Ritalin reports have not been posted before, yet there are no other ritalin reports on this site, I decided I will try again, I think that people have the right to know about every drug there is.
Well, it took a long time to finally get some ritalin, I finally talked someone into giving me some. I ended up paying 50 cents for a bottle full of half 5 mg and half 10 mg, about 70 tabs in all. But, then I found out that ritalin is easy to get and later aquired a bottle of about 70 10 mg tabs and 70 5 mg tabs for free.
Mindset:
I had a slight cold, but I was in a ok mood and ready to go snort some of the tabs.
Experience:
I always snort ritalin, it gets in my bloodstream faster and gives a bit of a buzz.
6:00 -- Two friends of mine chop up 60 mg, the usual amount to get the ritalin buzz, I do 65 mg because I had been using ritalin all week.
Normal Ritalin Buzz kicked in. The ritalin buzz is hard to explain, it's reminiscent of speed, but different. I feel a pretty nice euphoria, the need for sleep dies out completely, and I get the urge to talk alot. I mean alot.
It lasts for about an hour to me, and then I get about a half hour of a still buzzing, yet coming down feeling. I've did it with some people that the buzz stays with them for hours and hours. So, I guess it all depends on how your body takes it.
8:00? -- Well, after this wore down, I snorted about 50 more mgs, for a total for 105 mgs. By the way, after I've been high on ritalin and am on the comedown, I can snort all the ritalin I want and I won't be as high as the first time for some reason. (There is a way to get around this, and that's smoking it, gotta smoke it over a tin foil, like with meth.)
9:40
Well, I decided to go for about 45 more mgs, I didn't even get a buzz this time, it just kept me from feeling like crap.
12:30
I felt like crap, I didn't want to snort any more ritalin because I wanted to go to sleep, I thought I could, but I couldn't, I just sat on my friend's couch all night and didn't sleep a wink until 9:00 the next morning.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


Oil Drilling
Burn-off from the oil drilling industry impacts the carbon dioxide released into the atmosphere. Fossil fuel retrieval, processing and distribution accounts for roughly eight percent of carbon dioxide and thirty percent of methane pollution.


MovieWorld
User:
userId
Choose genre:
Genres
Tytuł filmu
Description
description
Release year
year
Language
language
Average rating
average rating
Your rating
your rating
Genre
genre
Rate movie
You may also like...
Movie title


This class provides functionalities to display a bitmap image. More...
#include <CBitmap.h>
Public Member Functions | |
| cBitmap () | |
| Constructor of cBitmap. | |
| virtual | ~cBitmap () |
| Destructor of cBitmap. | |
| unsigned char * | getData () |
| Get a pointer to the actual image data... use with care... | |
| unsigned int | getBitmapWidth () |
| Get width of image. | |
| unsigned int | getBitmapHeight () |
| Get height of image. | |
| unsigned int | getBitmapFormat () |
| Get the format (GL_RGB or GL_RGBA) of the image. | |
| void | setZoomHV (float a_zoomHorizontal, float a_zoomVertical) |
| Set zoom factors. | |
| float | getZoomH () |
| Get zoom factor along horizontal axis. | |
| float | getZoomV () |
| Get zoom factor along vertical axis. | |
| void | enableTransparency (bool a_enableTransparency) |
| enable or disable the use of transparency. | |
Public Attributes | |
| cImageLoader | m_image |
| Image loader. |
This class provides functionalities to display a bitmap image.
| void cBitmap::setZoomHV | ( | float | a_zoomHorizontal, | |
| float | a_zoomVertical | |||
| ) |
Set zoom factors.
Set zoom factors for the horizontal and vertical directions
| a_zoomHorizontal | Zoom factor along the horizontal direction | |
| a_zoomVertical | Zoom factor along the vertical direction |