| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: rocq-stdlib-doc | Distribution: openSUSE Tumbleweed |
| Version: 9.1.0 | Vendor: openSUSE |
| Release: 2.1 | Build date: Tue Mar 31 23:19:48 2026 |
| Group: Documentation/HTML | Build host: reproducible |
| Size: 63798675 | Source RPM: rocq-stdlib-9.1.0-2.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://rocq-prover.org/ | |
| Summary: Documentation for the Rocq standard library | |
HTML reference manual for the Rocq standard library.
OPUBL-1.0
* Tue Mar 31 2026 Aaron Puchert <aaronpuchert@alice-dsl.net>
- Require ocaml-rpm-macros in build for generation of dependencies.
- Now we no longer need the explicit rocq-devel runtime dependency.
* Wed Feb 25 2026 Aaron Puchert <aaronpuchert@alice-dsl.net>
- Initial (separate) release based on version 9.1.0.
* Changed the requirement prefix of the standard library from Coq
to Stdlib and made it mandatory. As a temporary measure, for
backward compatibility with older versions, Coq, or a missing
From Stdlib, is translated to Stdlib with a warning.
* Detailed change logs are available under
https://rocq-prover.org/doc/v9.0/refman-stdlib/changes.html
and https://rocq-prover.org/doc/v9.1/refman-stdlib/changes.html.
/usr/share/doc/packages/rocq /usr/share/doc/packages/rocq/refman-stdlib /usr/share/doc/packages/rocq/refman-stdlib/_static /usr/share/doc/packages/rocq/refman-stdlib/_static/CoqNotations.ttf /usr/share/doc/packages/rocq/refman-stdlib/_static/ansi-dark.css /usr/share/doc/packages/rocq/refman-stdlib/_static/ansi.css /usr/share/doc/packages/rocq/refman-stdlib/_static/basic.css /usr/share/doc/packages/rocq/refman-stdlib/_static/coqdoc.css /usr/share/doc/packages/rocq/refman-stdlib/_static/coqnotations.sty /usr/share/doc/packages/rocq/refman-stdlib/_static/css /usr/share/doc/packages/rocq/refman-stdlib/_static/css/badge_only.css /usr/share/doc/packages/rocq/refman-stdlib/_static/css/custom.css /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/Roboto-Slab-Bold.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/Roboto-Slab-Bold.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/Roboto-Slab-Regular.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/Roboto-Slab-Regular.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/fontawesome-webfont.eot /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/fontawesome-webfont.svg /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/fontawesome-webfont.ttf /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/fontawesome-webfont.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/fontawesome-webfont.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-bold-italic.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-bold-italic.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-bold.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-bold.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-normal-italic.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-normal-italic.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-normal.woff /usr/share/doc/packages/rocq/refman-stdlib/_static/css/fonts/lato-normal.woff2 /usr/share/doc/packages/rocq/refman-stdlib/_static/css/theme.css /usr/share/doc/packages/rocq/refman-stdlib/_static/doctools.js /usr/share/doc/packages/rocq/refman-stdlib/_static/documentation_options.js /usr/share/doc/packages/rocq/refman-stdlib/_static/file.png /usr/share/doc/packages/rocq/refman-stdlib/_static/jquery-3.5.1.js /usr/share/doc/packages/rocq/refman-stdlib/_static/jquery.js /usr/share/doc/packages/rocq/refman-stdlib/_static/js /usr/share/doc/packages/rocq/refman-stdlib/_static/js/badge_only.js /usr/share/doc/packages/rocq/refman-stdlib/_static/js/html5shiv-printshiv.min.js /usr/share/doc/packages/rocq/refman-stdlib/_static/js/html5shiv.min.js /usr/share/doc/packages/rocq/refman-stdlib/_static/js/theme.js /usr/share/doc/packages/rocq/refman-stdlib/_static/language_data.js /usr/share/doc/packages/rocq/refman-stdlib/_static/minus.png /usr/share/doc/packages/rocq/refman-stdlib/_static/notations.css /usr/share/doc/packages/rocq/refman-stdlib/_static/notations.js /usr/share/doc/packages/rocq/refman-stdlib/_static/plus.png /usr/share/doc/packages/rocq/refman-stdlib/_static/pre-text.css /usr/share/doc/packages/rocq/refman-stdlib/_static/pygments.css /usr/share/doc/packages/rocq/refman-stdlib/_static/searchtools.js /usr/share/doc/packages/rocq/refman-stdlib/_static/underscore-1.13.1.js /usr/share/doc/packages/rocq/refman-stdlib/_static/underscore.js /usr/share/doc/packages/rocq/refman-stdlib/changes.html /usr/share/doc/packages/rocq/refman-stdlib/coq-exnindex.html /usr/share/doc/packages/rocq/refman-stdlib/coq-optindex.html /usr/share/doc/packages/rocq/refman-stdlib/coq-tacindex.html /usr/share/doc/packages/rocq/refman-stdlib/genindex.html /usr/share/doc/packages/rocq/refman-stdlib/index.html /usr/share/doc/packages/rocq/refman-stdlib/language /usr/share/doc/packages/rocq/refman-stdlib/language/coq-library.html /usr/share/doc/packages/rocq/refman-stdlib/license.html /usr/share/doc/packages/rocq/refman-stdlib/objects.inv /usr/share/doc/packages/rocq/refman-stdlib/search.html /usr/share/doc/packages/rocq/refman-stdlib/searchindex.js /usr/share/doc/packages/rocq/refman-stdlib/zebibliography.html /usr/share/doc/packages/rocq/stdlib /usr/share/doc/packages/rocq/stdlib/Stdlib.All.All.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Arith.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Arith_base.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Between.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Bool_nat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Cantor.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Compare.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Compare_dec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.EqNat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Euclid.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Factorial.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.PeanoNat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Peano_dec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Wf_nat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Arith.Zerob.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Array.ArrayAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Array.PArray.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Array.PrimArray.html /usr/share/doc/packages/rocq/stdlib/Stdlib.BinNums.IntDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.BinNums.NatDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.BinNums.PosDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Bool.Bool.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Bool.BoolEq.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Bool.DecBool.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Bool.IfProp.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.CEquivalence.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.CMorphisms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.CRelationClasses.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.DecidableClass.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.EquivDec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.Equivalence.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.Init.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.Morphisms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.Morphisms_Prop.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.Morphisms_Relations.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.RelationClasses.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.RelationPairs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.SetoidClass.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.SetoidDec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Classes.SetoidTactics.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Compat.AdmitAxiom.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Compat.Coq818.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Compat.Coq819.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Compat.Coq820.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Compat.Stdlib818.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapAVL.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapFullAVL.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapInterface.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapPositive.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMapWeakList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FMaps.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetAVL.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetBridge.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetCompat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetDecide.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetEqProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetInterface.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetPositive.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetToFiniteSet.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSetWeakList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.FSets.FSets.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.FloatAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.FloatClass.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.FloatLemmas.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.FloatOps.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.Floats.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.PrimFloat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Floats.SpecFloat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Byte.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Datatypes.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Decimal.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Hexadecimal.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Logic.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Ltac.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Nat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Notations.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Number.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Peano.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Prelude.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Specif.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Sumbool.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Tactics.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Tauto.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Init.Wf.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Lists.Finite.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Lists.List.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Lists.ListDec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Lists.ListDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Lists.ListSet.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Lists.ListTactics.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Adjointification.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Berardi.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ChoiceFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Classical.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ClassicalChoice.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ClassicalDescription.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ClassicalEpsilon.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ClassicalFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ClassicalUniqueChoice.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Classical_Pred_Type.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Classical_Prop.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ConstructiveEpsilon.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Decidable.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Description.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Diaconescu.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Epsilon.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Eqdep.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.EqdepFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Eqdep_dec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ExtensionalFunctionRepresentative.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ExtensionalityFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.FunctionalExtensionality.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.HLevels.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.HLevelsBase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.Hurkens.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.IndefiniteDescription.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.JMeq.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ProofIrrelevance.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.ProofIrrelevanceFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.PropExtensionality.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.PropExtensionalityFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.PropFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.RelationalChoice.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.SetIsType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.SetoidChoice.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.StrictProp.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.WKL.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Logic.WeakFan.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetAVL.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetDecide.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetEqProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetGenTree.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetInterface.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetPositive.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetRBT.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetToFiniteSet.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSetWeakList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.MSets.MSets.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.BinNat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.BinNatDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.NArith.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.NArith_base.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.Ndec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.Ndiv_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.Ngcd_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.Nnat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.NArith.Nsqrt_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.AltBinNotations.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.BinNums.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Abstract.CyclicAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Abstract.DoubleType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Abstract.NZCyclic.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.CarryType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.Cyclic63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.PrimInt63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.Ring63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.Sint63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.Sint63Axioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.Uint63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Cyclic.Int63.Uint63Axioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalN.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalNat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalPos.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalQ.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalR.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.DecimalZ.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalN.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalNat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalPos.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalQ.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalR.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.HexadecimalZ.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZAdd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZAddOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZBase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZBits.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZDivEucl.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZDivFloor.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZDivTrunc.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZGcd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZLcm.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZLt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZMaxMin.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZMul.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZMulOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZParity.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZPow.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Abstract.ZSgnAbs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.Binary.ZBinary.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Integer.NatPairs.ZNatPairs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NaryFunctions.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZAdd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZAddOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZBase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZBits.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZDiv.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZDomain.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZGcd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZLog.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZMul.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZMulOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZParity.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZPow.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NatInt.NZSqrt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NAdd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NAddOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NBase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NBits.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NDefOps.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NDiv.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NDiv0.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NGcd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NIso.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NLcm.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NLcm0.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NLog.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NMaxMin.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NMulOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NParity.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NPow.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NProperties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NSqrt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NStrongRec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Abstract.NSub.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.Natural.Binary.NBinary.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Numbers.NumPrelude.html /usr/share/doc/packages/rocq/stdlib/Stdlib.PArith.BinPos.html /usr/share/doc/packages/rocq/stdlib/Stdlib.PArith.BinPosDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.PArith.PArith.html /usr/share/doc/packages/rocq/stdlib/Stdlib.PArith.POrderedType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.PArith.Pnat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Basics.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Combinators.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Equality.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Program.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Subset.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Syntax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Tactics.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Utils.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.Wf.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Program.WfExtensionality.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.QArith.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.QArith_base.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.QNsatz.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.QOrderedType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qabs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qcabs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qcanon.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qfield.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qminmax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qpower.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qreduction.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qring.html /usr/share/doc/packages/rocq/stdlib/Stdlib.QArith.Qround.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveAbs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveLUB.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveLimits.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveMinMax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructivePower.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveReals.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveRealsMorphisms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Abstract.ConstructiveSum.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Alembert.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.AltSeries.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.ArithProp.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Binomial.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.ConstructiveCauchyAbs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.ConstructiveCauchyReals.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.ConstructiveCauchyRealsMult.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.ConstructiveExtra.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.ConstructiveRcomplete.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.PosExtra.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy.QExtra.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cauchy_prod.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.ClassicalConstructiveReals.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.ClassicalDedekindReals.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cos_plus.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Cos_rel.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.DiscrR.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Exp_prop.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Integration.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.MVT.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Machin.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.NewtonInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Nsatz.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.PSeries_reg.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.PartSum.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Qreals.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.RIneq.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.RList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.RNsatz.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.ROrderedType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.R_Ifp.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.R_sqr.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.R_sqrt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis1.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis2.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis3.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis4.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis5.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ranalysis_reg.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Ratan.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Raxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rbase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rbasic_fun.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rcomplete.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rdefinitions.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rderiv.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Reals.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rfunctions.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rgeom.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.RiemannInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.RiemannInt_SF.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rlimit.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rlogic.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rminmax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rpow_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rpower.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rprod.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rregisternames.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rseries.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rsigma.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rsqrt_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtopology.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo1.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo_alt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo_calc.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo_fun.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Rtrigo_reg.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Runcountable.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.SeqProp.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.SeqSeries.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.SplitAbsolu.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.SplitRmult.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Sqrt_reg.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Reals.Zfloor.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Relations.Operators_Properties.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Relations.Relation_Definitions.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Relations.Relation_Operators.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Relations.Relations.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Setoids.Setoid.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Classical_sets.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Constructive_sets.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Cpo.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Ensembles.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Finite_sets.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Finite_sets_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Image.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Infinite_sets.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Integers.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Multiset.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Partial_Order.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Permut.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Powerset.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Powerset_Classical_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Powerset_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Relations_1.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Relations_1_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Relations_2.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Relations_2_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Relations_3.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Relations_3_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sets.Uniset.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.CPermutation.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.Heap.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.Mergesort.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.PermutEq.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.PermutSetoid.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.Permutation.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.SetoidList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.SetoidPermutation.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.Sorted.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Sorting.Sorting.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Streams.StreamMemo.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Streams.Streams.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.Ascii.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.BinaryString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.Byte.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.HexString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.OctalString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.PString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.PrimString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.PrimStringAxioms.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Strings.String.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.BoolOrder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.DecidableType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.DecidableTypeEx.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.Equalities.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.EqualitiesFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.GenericMinMax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrderedType.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrderedTypeAlt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrderedTypeEx.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.Orders.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrdersAlt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrdersEx.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrdersFacts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrdersLists.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Structures.OrdersTac.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Unicode.Utf8.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Unicode.Utf8_core.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.Bvector.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.Fin.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.FinFun.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.Vector.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.VectorDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.VectorEq.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Vectors.VectorSpec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Disjoint_Union.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Inclusion.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Inverse_Image.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Lexicographic_Exponentiation.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Lexicographic_Product.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.List_Extension.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Transitive_Closure.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Union.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Well_Ordering.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Wellfounded.Wellfounded.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.BinInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.BinIntDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Int.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Wf_Z.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.ZArith.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.ZArith_base.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.ZArith_dec.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.ZModOffset.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.ZNsatz.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zabs.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zbitwise.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zbool.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zcompare.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zcomplements.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zcong.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zdiv.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zdiv_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zdivisibility.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zeuclid.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zeven.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zgcd_alt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zhints.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zmax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zmin.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zminmax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zmisc.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Znat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Znumtheory.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zorder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zpow_alt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zpow_def.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zpow_facts.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zpower.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zquot.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.Zwf.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ZArith.auxiliary.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.Bits.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.Zmod.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.ZmodBase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.ZmodDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.ZmodInv.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.ZmodNsatz.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.Zstar.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.ZstarBase.html /usr/share/doc/packages/rocq/stdlib/Stdlib.Zmod.ZstarDef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.btauto.Algebra.html /usr/share/doc/packages/rocq/stdlib/Stdlib.btauto.Btauto.html /usr/share/doc/packages/rocq/stdlib/Stdlib.btauto.Reflect.html /usr/share/doc/packages/rocq/stdlib/Stdlib.derive.Derive.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellBasic.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellNatInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellNatInteger.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellNatNum.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellZInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellZInteger.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrHaskellZNum.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOCamlFloats.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOCamlInt63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOCamlPArray.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOCamlPString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlBasic.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlChar.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlIntConv.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlNatBigInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlNatInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlNativeString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlString.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlZBigInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.ExtrOcamlZInt.html /usr/share/doc/packages/rocq/stdlib/Stdlib.extraction.Extraction.html /usr/share/doc/packages/rocq/stdlib/Stdlib.funind.FunInd.html /usr/share/doc/packages/rocq/stdlib/Stdlib.funind.Recdef.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.DeclConstant.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.DeclConstantZ.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Env.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.EnvRing.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Fourier.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Fourier_util.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Lia.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Lqa.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Lra.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.OrderedRing.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Psatz.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.QMicromega.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.RMicromega.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Refl.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.RingMicromega.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Tauto.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.VarMap.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZArith_hints.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZCoeff.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZMicromega.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Zify.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyBool.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyClasses.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyComparison.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyInst.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyN.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyNat.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyPow.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifySint63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.ZifyUint63.html /usr/share/doc/packages/rocq/stdlib/Stdlib.micromega.Ztac.html /usr/share/doc/packages/rocq/stdlib/Stdlib.nsatz.NsatzTactic.html /usr/share/doc/packages/rocq/stdlib/Stdlib.omega.OmegaLemmas.html /usr/share/doc/packages/rocq/stdlib/Stdlib.omega.PreOmega.html /usr/share/doc/packages/rocq/stdlib/Stdlib.rtauto.Bintree.html /usr/share/doc/packages/rocq/stdlib/Stdlib.rtauto.Rtauto.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Algebra_syntax.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.ArithRing.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.BinList.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Cring.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Field.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Field_tac.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Field_theory.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.InitialRing.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Integral_domain.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.NArithRing.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ncring.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ncring_initial.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ncring_polynom.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ncring_tac.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.RealField.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ring.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ring_base.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ring_polynom.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ring_tac.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Ring_theory.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Rings_Q.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Rings_R.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.Rings_Z.html /usr/share/doc/packages/rocq/stdlib/Stdlib.setoid_ring.ZArithRing.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssr.ssrbool.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssr.ssrclasses.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssr.ssreflect.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssr.ssrfun.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssr.ssrsetoid.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssr.ssrunder.html /usr/share/doc/packages/rocq/stdlib/Stdlib.ssrmatching.ssrmatching.html /usr/share/doc/packages/rocq/stdlib/coqdoc.css /usr/share/doc/packages/rocq/stdlib/depends.svg /usr/share/doc/packages/rocq/stdlib/genindex.html /usr/share/doc/packages/rocq/stdlib/index.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_*.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_A.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_B.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_C.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_D.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_E.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_F.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_G.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_H.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_I.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_J.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_K.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_L.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_M.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_N.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_O.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_P.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_Q.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_R.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_S.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_T.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_U.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_V.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_W.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_X.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_Y.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation_Z.html /usr/share/doc/packages/rocq/stdlib/index_abbreviation__.html /usr/share/doc/packages/rocq/stdlib/index_axiom_*.html /usr/share/doc/packages/rocq/stdlib/index_axiom_A.html /usr/share/doc/packages/rocq/stdlib/index_axiom_B.html /usr/share/doc/packages/rocq/stdlib/index_axiom_C.html /usr/share/doc/packages/rocq/stdlib/index_axiom_D.html /usr/share/doc/packages/rocq/stdlib/index_axiom_E.html /usr/share/doc/packages/rocq/stdlib/index_axiom_F.html /usr/share/doc/packages/rocq/stdlib/index_axiom_G.html /usr/share/doc/packages/rocq/stdlib/index_axiom_H.html /usr/share/doc/packages/rocq/stdlib/index_axiom_I.html /usr/share/doc/packages/rocq/stdlib/index_axiom_J.html /usr/share/doc/packages/rocq/stdlib/index_axiom_K.html /usr/share/doc/packages/rocq/stdlib/index_axiom_L.html /usr/share/doc/packages/rocq/stdlib/index_axiom_M.html /usr/share/doc/packages/rocq/stdlib/index_axiom_N.html /usr/share/doc/packages/rocq/stdlib/index_axiom_O.html /usr/share/doc/packages/rocq/stdlib/index_axiom_P.html /usr/share/doc/packages/rocq/stdlib/index_axiom_Q.html /usr/share/doc/packages/rocq/stdlib/index_axiom_R.html /usr/share/doc/packages/rocq/stdlib/index_axiom_S.html /usr/share/doc/packages/rocq/stdlib/index_axiom_T.html /usr/share/doc/packages/rocq/stdlib/index_axiom_U.html /usr/share/doc/packages/rocq/stdlib/index_axiom_V.html /usr/share/doc/packages/rocq/stdlib/index_axiom_W.html /usr/share/doc/packages/rocq/stdlib/index_axiom_X.html /usr/share/doc/packages/rocq/stdlib/index_axiom_Y.html /usr/share/doc/packages/rocq/stdlib/index_axiom_Z.html /usr/share/doc/packages/rocq/stdlib/index_axiom__.html /usr/share/doc/packages/rocq/stdlib/index_constructor_*.html /usr/share/doc/packages/rocq/stdlib/index_constructor_A.html /usr/share/doc/packages/rocq/stdlib/index_constructor_B.html /usr/share/doc/packages/rocq/stdlib/index_constructor_C.html /usr/share/doc/packages/rocq/stdlib/index_constructor_D.html /usr/share/doc/packages/rocq/stdlib/index_constructor_E.html /usr/share/doc/packages/rocq/stdlib/index_constructor_F.html /usr/share/doc/packages/rocq/stdlib/index_constructor_G.html /usr/share/doc/packages/rocq/stdlib/index_constructor_H.html /usr/share/doc/packages/rocq/stdlib/index_constructor_I.html /usr/share/doc/packages/rocq/stdlib/index_constructor_J.html /usr/share/doc/packages/rocq/stdlib/index_constructor_K.html /usr/share/doc/packages/rocq/stdlib/index_constructor_L.html /usr/share/doc/packages/rocq/stdlib/index_constructor_M.html /usr/share/doc/packages/rocq/stdlib/index_constructor_N.html /usr/share/doc/packages/rocq/stdlib/index_constructor_O.html /usr/share/doc/packages/rocq/stdlib/index_constructor_P.html /usr/share/doc/packages/rocq/stdlib/index_constructor_Q.html /usr/share/doc/packages/rocq/stdlib/index_constructor_R.html /usr/share/doc/packages/rocq/stdlib/index_constructor_S.html /usr/share/doc/packages/rocq/stdlib/index_constructor_T.html /usr/share/doc/packages/rocq/stdlib/index_constructor_U.html /usr/share/doc/packages/rocq/stdlib/index_constructor_V.html /usr/share/doc/packages/rocq/stdlib/index_constructor_W.html /usr/share/doc/packages/rocq/stdlib/index_constructor_X.html /usr/share/doc/packages/rocq/stdlib/index_constructor_Y.html /usr/share/doc/packages/rocq/stdlib/index_constructor_Z.html /usr/share/doc/packages/rocq/stdlib/index_constructor__.html /usr/share/doc/packages/rocq/stdlib/index_definition_*.html /usr/share/doc/packages/rocq/stdlib/index_definition_A.html /usr/share/doc/packages/rocq/stdlib/index_definition_B.html /usr/share/doc/packages/rocq/stdlib/index_definition_C.html /usr/share/doc/packages/rocq/stdlib/index_definition_D.html /usr/share/doc/packages/rocq/stdlib/index_definition_E.html /usr/share/doc/packages/rocq/stdlib/index_definition_F.html /usr/share/doc/packages/rocq/stdlib/index_definition_G.html /usr/share/doc/packages/rocq/stdlib/index_definition_H.html /usr/share/doc/packages/rocq/stdlib/index_definition_I.html /usr/share/doc/packages/rocq/stdlib/index_definition_J.html /usr/share/doc/packages/rocq/stdlib/index_definition_K.html /usr/share/doc/packages/rocq/stdlib/index_definition_L.html /usr/share/doc/packages/rocq/stdlib/index_definition_M.html /usr/share/doc/packages/rocq/stdlib/index_definition_N.html /usr/share/doc/packages/rocq/stdlib/index_definition_O.html /usr/share/doc/packages/rocq/stdlib/index_definition_P.html /usr/share/doc/packages/rocq/stdlib/index_definition_Q.html /usr/share/doc/packages/rocq/stdlib/index_definition_R.html /usr/share/doc/packages/rocq/stdlib/index_definition_S.html /usr/share/doc/packages/rocq/stdlib/index_definition_T.html /usr/share/doc/packages/rocq/stdlib/index_definition_U.html /usr/share/doc/packages/rocq/stdlib/index_definition_V.html /usr/share/doc/packages/rocq/stdlib/index_definition_W.html /usr/share/doc/packages/rocq/stdlib/index_definition_X.html /usr/share/doc/packages/rocq/stdlib/index_definition_Y.html /usr/share/doc/packages/rocq/stdlib/index_definition_Z.html /usr/share/doc/packages/rocq/stdlib/index_definition__.html /usr/share/doc/packages/rocq/stdlib/index_global_*.html /usr/share/doc/packages/rocq/stdlib/index_global_A.html /usr/share/doc/packages/rocq/stdlib/index_global_B.html /usr/share/doc/packages/rocq/stdlib/index_global_C.html /usr/share/doc/packages/rocq/stdlib/index_global_D.html /usr/share/doc/packages/rocq/stdlib/index_global_E.html /usr/share/doc/packages/rocq/stdlib/index_global_F.html /usr/share/doc/packages/rocq/stdlib/index_global_G.html /usr/share/doc/packages/rocq/stdlib/index_global_H.html /usr/share/doc/packages/rocq/stdlib/index_global_I.html /usr/share/doc/packages/rocq/stdlib/index_global_J.html /usr/share/doc/packages/rocq/stdlib/index_global_K.html /usr/share/doc/packages/rocq/stdlib/index_global_L.html /usr/share/doc/packages/rocq/stdlib/index_global_M.html /usr/share/doc/packages/rocq/stdlib/index_global_N.html /usr/share/doc/packages/rocq/stdlib/index_global_O.html /usr/share/doc/packages/rocq/stdlib/index_global_P.html /usr/share/doc/packages/rocq/stdlib/index_global_Q.html /usr/share/doc/packages/rocq/stdlib/index_global_R.html /usr/share/doc/packages/rocq/stdlib/index_global_S.html /usr/share/doc/packages/rocq/stdlib/index_global_T.html /usr/share/doc/packages/rocq/stdlib/index_global_U.html /usr/share/doc/packages/rocq/stdlib/index_global_V.html /usr/share/doc/packages/rocq/stdlib/index_global_W.html /usr/share/doc/packages/rocq/stdlib/index_global_X.html /usr/share/doc/packages/rocq/stdlib/index_global_Y.html /usr/share/doc/packages/rocq/stdlib/index_global_Z.html /usr/share/doc/packages/rocq/stdlib/index_global__.html /usr/share/doc/packages/rocq/stdlib/index_inductive_*.html /usr/share/doc/packages/rocq/stdlib/index_inductive_A.html /usr/share/doc/packages/rocq/stdlib/index_inductive_B.html /usr/share/doc/packages/rocq/stdlib/index_inductive_C.html /usr/share/doc/packages/rocq/stdlib/index_inductive_D.html /usr/share/doc/packages/rocq/stdlib/index_inductive_E.html /usr/share/doc/packages/rocq/stdlib/index_inductive_F.html /usr/share/doc/packages/rocq/stdlib/index_inductive_G.html /usr/share/doc/packages/rocq/stdlib/index_inductive_H.html /usr/share/doc/packages/rocq/stdlib/index_inductive_I.html /usr/share/doc/packages/rocq/stdlib/index_inductive_J.html /usr/share/doc/packages/rocq/stdlib/index_inductive_K.html /usr/share/doc/packages/rocq/stdlib/index_inductive_L.html /usr/share/doc/packages/rocq/stdlib/index_inductive_M.html /usr/share/doc/packages/rocq/stdlib/index_inductive_N.html /usr/share/doc/packages/rocq/stdlib/index_inductive_O.html /usr/share/doc/packages/rocq/stdlib/index_inductive_P.html /usr/share/doc/packages/rocq/stdlib/index_inductive_Q.html /usr/share/doc/packages/rocq/stdlib/index_inductive_R.html /usr/share/doc/packages/rocq/stdlib/index_inductive_S.html /usr/share/doc/packages/rocq/stdlib/index_inductive_T.html /usr/share/doc/packages/rocq/stdlib/index_inductive_U.html /usr/share/doc/packages/rocq/stdlib/index_inductive_V.html /usr/share/doc/packages/rocq/stdlib/index_inductive_W.html /usr/share/doc/packages/rocq/stdlib/index_inductive_X.html /usr/share/doc/packages/rocq/stdlib/index_inductive_Y.html /usr/share/doc/packages/rocq/stdlib/index_inductive_Z.html /usr/share/doc/packages/rocq/stdlib/index_inductive__.html /usr/share/doc/packages/rocq/stdlib/index_instance_*.html /usr/share/doc/packages/rocq/stdlib/index_instance_A.html /usr/share/doc/packages/rocq/stdlib/index_instance_B.html /usr/share/doc/packages/rocq/stdlib/index_instance_C.html /usr/share/doc/packages/rocq/stdlib/index_instance_D.html /usr/share/doc/packages/rocq/stdlib/index_instance_E.html /usr/share/doc/packages/rocq/stdlib/index_instance_F.html /usr/share/doc/packages/rocq/stdlib/index_instance_G.html /usr/share/doc/packages/rocq/stdlib/index_instance_H.html /usr/share/doc/packages/rocq/stdlib/index_instance_I.html /usr/share/doc/packages/rocq/stdlib/index_instance_J.html /usr/share/doc/packages/rocq/stdlib/index_instance_K.html /usr/share/doc/packages/rocq/stdlib/index_instance_L.html /usr/share/doc/packages/rocq/stdlib/index_instance_M.html /usr/share/doc/packages/rocq/stdlib/index_instance_N.html /usr/share/doc/packages/rocq/stdlib/index_instance_O.html /usr/share/doc/packages/rocq/stdlib/index_instance_P.html /usr/share/doc/packages/rocq/stdlib/index_instance_Q.html /usr/share/doc/packages/rocq/stdlib/index_instance_R.html /usr/share/doc/packages/rocq/stdlib/index_instance_S.html /usr/share/doc/packages/rocq/stdlib/index_instance_T.html /usr/share/doc/packages/rocq/stdlib/index_instance_U.html /usr/share/doc/packages/rocq/stdlib/index_instance_V.html /usr/share/doc/packages/rocq/stdlib/index_instance_W.html /usr/share/doc/packages/rocq/stdlib/index_instance_X.html /usr/share/doc/packages/rocq/stdlib/index_instance_Y.html /usr/share/doc/packages/rocq/stdlib/index_instance_Z.html /usr/share/doc/packages/rocq/stdlib/index_instance__.html /usr/share/doc/packages/rocq/stdlib/index_lemma_*.html /usr/share/doc/packages/rocq/stdlib/index_lemma_A.html /usr/share/doc/packages/rocq/stdlib/index_lemma_B.html /usr/share/doc/packages/rocq/stdlib/index_lemma_C.html /usr/share/doc/packages/rocq/stdlib/index_lemma_D.html /usr/share/doc/packages/rocq/stdlib/index_lemma_E.html /usr/share/doc/packages/rocq/stdlib/index_lemma_F.html /usr/share/doc/packages/rocq/stdlib/index_lemma_G.html /usr/share/doc/packages/rocq/stdlib/index_lemma_H.html /usr/share/doc/packages/rocq/stdlib/index_lemma_I.html /usr/share/doc/packages/rocq/stdlib/index_lemma_J.html /usr/share/doc/packages/rocq/stdlib/index_lemma_K.html /usr/share/doc/packages/rocq/stdlib/index_lemma_L.html /usr/share/doc/packages/rocq/stdlib/index_lemma_M.html /usr/share/doc/packages/rocq/stdlib/index_lemma_N.html /usr/share/doc/packages/rocq/stdlib/index_lemma_O.html /usr/share/doc/packages/rocq/stdlib/index_lemma_P.html /usr/share/doc/packages/rocq/stdlib/index_lemma_Q.html /usr/share/doc/packages/rocq/stdlib/index_lemma_R.html /usr/share/doc/packages/rocq/stdlib/index_lemma_S.html /usr/share/doc/packages/rocq/stdlib/index_lemma_T.html /usr/share/doc/packages/rocq/stdlib/index_lemma_U.html /usr/share/doc/packages/rocq/stdlib/index_lemma_V.html /usr/share/doc/packages/rocq/stdlib/index_lemma_W.html /usr/share/doc/packages/rocq/stdlib/index_lemma_X.html /usr/share/doc/packages/rocq/stdlib/index_lemma_Y.html /usr/share/doc/packages/rocq/stdlib/index_lemma_Z.html /usr/share/doc/packages/rocq/stdlib/index_lemma__.html /usr/share/doc/packages/rocq/stdlib/index_library_*.html /usr/share/doc/packages/rocq/stdlib/index_library_A.html /usr/share/doc/packages/rocq/stdlib/index_library_B.html /usr/share/doc/packages/rocq/stdlib/index_library_C.html /usr/share/doc/packages/rocq/stdlib/index_library_D.html /usr/share/doc/packages/rocq/stdlib/index_library_E.html /usr/share/doc/packages/rocq/stdlib/index_library_F.html /usr/share/doc/packages/rocq/stdlib/index_library_G.html /usr/share/doc/packages/rocq/stdlib/index_library_H.html /usr/share/doc/packages/rocq/stdlib/index_library_I.html /usr/share/doc/packages/rocq/stdlib/index_library_J.html /usr/share/doc/packages/rocq/stdlib/index_library_K.html /usr/share/doc/packages/rocq/stdlib/index_library_L.html /usr/share/doc/packages/rocq/stdlib/index_library_M.html /usr/share/doc/packages/rocq/stdlib/index_library_N.html /usr/share/doc/packages/rocq/stdlib/index_library_O.html /usr/share/doc/packages/rocq/stdlib/index_library_P.html /usr/share/doc/packages/rocq/stdlib/index_library_Q.html /usr/share/doc/packages/rocq/stdlib/index_library_R.html /usr/share/doc/packages/rocq/stdlib/index_library_S.html /usr/share/doc/packages/rocq/stdlib/index_library_T.html /usr/share/doc/packages/rocq/stdlib/index_library_U.html /usr/share/doc/packages/rocq/stdlib/index_library_V.html /usr/share/doc/packages/rocq/stdlib/index_library_W.html /usr/share/doc/packages/rocq/stdlib/index_library_X.html /usr/share/doc/packages/rocq/stdlib/index_library_Y.html /usr/share/doc/packages/rocq/stdlib/index_library_Z.html /usr/share/doc/packages/rocq/stdlib/index_library__.html /usr/share/doc/packages/rocq/stdlib/index_module_*.html /usr/share/doc/packages/rocq/stdlib/index_module_A.html /usr/share/doc/packages/rocq/stdlib/index_module_B.html /usr/share/doc/packages/rocq/stdlib/index_module_C.html /usr/share/doc/packages/rocq/stdlib/index_module_D.html /usr/share/doc/packages/rocq/stdlib/index_module_E.html /usr/share/doc/packages/rocq/stdlib/index_module_F.html /usr/share/doc/packages/rocq/stdlib/index_module_G.html /usr/share/doc/packages/rocq/stdlib/index_module_H.html /usr/share/doc/packages/rocq/stdlib/index_module_I.html /usr/share/doc/packages/rocq/stdlib/index_module_J.html /usr/share/doc/packages/rocq/stdlib/index_module_K.html /usr/share/doc/packages/rocq/stdlib/index_module_L.html /usr/share/doc/packages/rocq/stdlib/index_module_M.html /usr/share/doc/packages/rocq/stdlib/index_module_N.html /usr/share/doc/packages/rocq/stdlib/index_module_O.html /usr/share/doc/packages/rocq/stdlib/index_module_P.html /usr/share/doc/packages/rocq/stdlib/index_module_Q.html /usr/share/doc/packages/rocq/stdlib/index_module_R.html /usr/share/doc/packages/rocq/stdlib/index_module_S.html /usr/share/doc/packages/rocq/stdlib/index_module_T.html /usr/share/doc/packages/rocq/stdlib/index_module_U.html /usr/share/doc/packages/rocq/stdlib/index_module_V.html /usr/share/doc/packages/rocq/stdlib/index_module_W.html /usr/share/doc/packages/rocq/stdlib/index_module_X.html /usr/share/doc/packages/rocq/stdlib/index_module_Y.html /usr/share/doc/packages/rocq/stdlib/index_module_Z.html /usr/share/doc/packages/rocq/stdlib/index_module__.html /usr/share/doc/packages/rocq/stdlib/index_notation_*.html /usr/share/doc/packages/rocq/stdlib/index_notation_A.html /usr/share/doc/packages/rocq/stdlib/index_notation_B.html /usr/share/doc/packages/rocq/stdlib/index_notation_C.html /usr/share/doc/packages/rocq/stdlib/index_notation_D.html /usr/share/doc/packages/rocq/stdlib/index_notation_E.html /usr/share/doc/packages/rocq/stdlib/index_notation_F.html /usr/share/doc/packages/rocq/stdlib/index_notation_G.html /usr/share/doc/packages/rocq/stdlib/index_notation_H.html /usr/share/doc/packages/rocq/stdlib/index_notation_I.html /usr/share/doc/packages/rocq/stdlib/index_notation_J.html /usr/share/doc/packages/rocq/stdlib/index_notation_K.html /usr/share/doc/packages/rocq/stdlib/index_notation_L.html /usr/share/doc/packages/rocq/stdlib/index_notation_M.html /usr/share/doc/packages/rocq/stdlib/index_notation_N.html /usr/share/doc/packages/rocq/stdlib/index_notation_O.html /usr/share/doc/packages/rocq/stdlib/index_notation_P.html /usr/share/doc/packages/rocq/stdlib/index_notation_Q.html /usr/share/doc/packages/rocq/stdlib/index_notation_R.html /usr/share/doc/packages/rocq/stdlib/index_notation_S.html /usr/share/doc/packages/rocq/stdlib/index_notation_T.html /usr/share/doc/packages/rocq/stdlib/index_notation_U.html /usr/share/doc/packages/rocq/stdlib/index_notation_V.html /usr/share/doc/packages/rocq/stdlib/index_notation_W.html /usr/share/doc/packages/rocq/stdlib/index_notation_X.html /usr/share/doc/packages/rocq/stdlib/index_notation_Y.html /usr/share/doc/packages/rocq/stdlib/index_notation_Z.html /usr/share/doc/packages/rocq/stdlib/index_notation__.html /usr/share/doc/packages/rocq/stdlib/index_projection_*.html /usr/share/doc/packages/rocq/stdlib/index_projection_A.html /usr/share/doc/packages/rocq/stdlib/index_projection_B.html /usr/share/doc/packages/rocq/stdlib/index_projection_C.html /usr/share/doc/packages/rocq/stdlib/index_projection_D.html /usr/share/doc/packages/rocq/stdlib/index_projection_E.html /usr/share/doc/packages/rocq/stdlib/index_projection_F.html /usr/share/doc/packages/rocq/stdlib/index_projection_G.html /usr/share/doc/packages/rocq/stdlib/index_projection_H.html /usr/share/doc/packages/rocq/stdlib/index_projection_I.html /usr/share/doc/packages/rocq/stdlib/index_projection_J.html /usr/share/doc/packages/rocq/stdlib/index_projection_K.html /usr/share/doc/packages/rocq/stdlib/index_projection_L.html /usr/share/doc/packages/rocq/stdlib/index_projection_M.html /usr/share/doc/packages/rocq/stdlib/index_projection_N.html /usr/share/doc/packages/rocq/stdlib/index_projection_O.html /usr/share/doc/packages/rocq/stdlib/index_projection_P.html /usr/share/doc/packages/rocq/stdlib/index_projection_Q.html /usr/share/doc/packages/rocq/stdlib/index_projection_R.html /usr/share/doc/packages/rocq/stdlib/index_projection_S.html /usr/share/doc/packages/rocq/stdlib/index_projection_T.html /usr/share/doc/packages/rocq/stdlib/index_projection_U.html /usr/share/doc/packages/rocq/stdlib/index_projection_V.html /usr/share/doc/packages/rocq/stdlib/index_projection_W.html /usr/share/doc/packages/rocq/stdlib/index_projection_X.html /usr/share/doc/packages/rocq/stdlib/index_projection_Y.html /usr/share/doc/packages/rocq/stdlib/index_projection_Z.html /usr/share/doc/packages/rocq/stdlib/index_projection__.html /usr/share/doc/packages/rocq/stdlib/index_record_*.html /usr/share/doc/packages/rocq/stdlib/index_record_A.html /usr/share/doc/packages/rocq/stdlib/index_record_B.html /usr/share/doc/packages/rocq/stdlib/index_record_C.html /usr/share/doc/packages/rocq/stdlib/index_record_D.html /usr/share/doc/packages/rocq/stdlib/index_record_E.html /usr/share/doc/packages/rocq/stdlib/index_record_F.html /usr/share/doc/packages/rocq/stdlib/index_record_G.html /usr/share/doc/packages/rocq/stdlib/index_record_H.html /usr/share/doc/packages/rocq/stdlib/index_record_I.html /usr/share/doc/packages/rocq/stdlib/index_record_J.html /usr/share/doc/packages/rocq/stdlib/index_record_K.html /usr/share/doc/packages/rocq/stdlib/index_record_L.html /usr/share/doc/packages/rocq/stdlib/index_record_M.html /usr/share/doc/packages/rocq/stdlib/index_record_N.html /usr/share/doc/packages/rocq/stdlib/index_record_O.html /usr/share/doc/packages/rocq/stdlib/index_record_P.html /usr/share/doc/packages/rocq/stdlib/index_record_Q.html /usr/share/doc/packages/rocq/stdlib/index_record_R.html /usr/share/doc/packages/rocq/stdlib/index_record_S.html /usr/share/doc/packages/rocq/stdlib/index_record_T.html /usr/share/doc/packages/rocq/stdlib/index_record_U.html /usr/share/doc/packages/rocq/stdlib/index_record_V.html /usr/share/doc/packages/rocq/stdlib/index_record_W.html /usr/share/doc/packages/rocq/stdlib/index_record_X.html /usr/share/doc/packages/rocq/stdlib/index_record_Y.html /usr/share/doc/packages/rocq/stdlib/index_record_Z.html /usr/share/doc/packages/rocq/stdlib/index_record__.html /usr/share/doc/packages/rocq/stdlib/index_section_*.html /usr/share/doc/packages/rocq/stdlib/index_section_A.html /usr/share/doc/packages/rocq/stdlib/index_section_B.html /usr/share/doc/packages/rocq/stdlib/index_section_C.html /usr/share/doc/packages/rocq/stdlib/index_section_D.html /usr/share/doc/packages/rocq/stdlib/index_section_E.html /usr/share/doc/packages/rocq/stdlib/index_section_F.html /usr/share/doc/packages/rocq/stdlib/index_section_G.html /usr/share/doc/packages/rocq/stdlib/index_section_H.html /usr/share/doc/packages/rocq/stdlib/index_section_I.html /usr/share/doc/packages/rocq/stdlib/index_section_J.html /usr/share/doc/packages/rocq/stdlib/index_section_K.html /usr/share/doc/packages/rocq/stdlib/index_section_L.html /usr/share/doc/packages/rocq/stdlib/index_section_M.html /usr/share/doc/packages/rocq/stdlib/index_section_N.html /usr/share/doc/packages/rocq/stdlib/index_section_O.html /usr/share/doc/packages/rocq/stdlib/index_section_P.html /usr/share/doc/packages/rocq/stdlib/index_section_Q.html /usr/share/doc/packages/rocq/stdlib/index_section_R.html /usr/share/doc/packages/rocq/stdlib/index_section_S.html /usr/share/doc/packages/rocq/stdlib/index_section_T.html /usr/share/doc/packages/rocq/stdlib/index_section_U.html /usr/share/doc/packages/rocq/stdlib/index_section_V.html /usr/share/doc/packages/rocq/stdlib/index_section_W.html /usr/share/doc/packages/rocq/stdlib/index_section_X.html /usr/share/doc/packages/rocq/stdlib/index_section_Y.html /usr/share/doc/packages/rocq/stdlib/index_section_Z.html /usr/share/doc/packages/rocq/stdlib/index_section__.html /usr/share/doc/packages/rocq/stdlib/index_variable_*.html /usr/share/doc/packages/rocq/stdlib/index_variable_A.html /usr/share/doc/packages/rocq/stdlib/index_variable_B.html /usr/share/doc/packages/rocq/stdlib/index_variable_C.html /usr/share/doc/packages/rocq/stdlib/index_variable_D.html /usr/share/doc/packages/rocq/stdlib/index_variable_E.html /usr/share/doc/packages/rocq/stdlib/index_variable_F.html /usr/share/doc/packages/rocq/stdlib/index_variable_G.html /usr/share/doc/packages/rocq/stdlib/index_variable_H.html /usr/share/doc/packages/rocq/stdlib/index_variable_I.html /usr/share/doc/packages/rocq/stdlib/index_variable_J.html /usr/share/doc/packages/rocq/stdlib/index_variable_K.html /usr/share/doc/packages/rocq/stdlib/index_variable_L.html /usr/share/doc/packages/rocq/stdlib/index_variable_M.html /usr/share/doc/packages/rocq/stdlib/index_variable_N.html /usr/share/doc/packages/rocq/stdlib/index_variable_O.html /usr/share/doc/packages/rocq/stdlib/index_variable_P.html /usr/share/doc/packages/rocq/stdlib/index_variable_Q.html /usr/share/doc/packages/rocq/stdlib/index_variable_R.html /usr/share/doc/packages/rocq/stdlib/index_variable_S.html /usr/share/doc/packages/rocq/stdlib/index_variable_T.html /usr/share/doc/packages/rocq/stdlib/index_variable_U.html /usr/share/doc/packages/rocq/stdlib/index_variable_V.html /usr/share/doc/packages/rocq/stdlib/index_variable_W.html /usr/share/doc/packages/rocq/stdlib/index_variable_X.html /usr/share/doc/packages/rocq/stdlib/index_variable_Y.html /usr/share/doc/packages/rocq/stdlib/index_variable_Z.html /usr/share/doc/packages/rocq/stdlib/index_variable__.html
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Apr 7 22:37:12 2026