coq-doc-8.13.1-1.fc34 - Fedora Packages

Date	Author	Change
2021-03-03	Jerry James <loganjerry at gmail dot com> - 8.13.1-1	- Version 8.13.1
2021-02-20	Jerry James <loganjerry at gmail dot com> - 8.13.0-1	- Version 8.13.0 - Revert to make; dune is unable to build the native compilation version - Install into the metainfo dir instead of the appdata dir
2021-01-26	Fedora Release Engineering <releng at fedoraproject dot org> - 8.12.2-2	- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild
2020-12-23	Jerry James <loganjerry at gmail dot com> - 8.12.2-1	- Version 8.12.2
2020-12-02	Jerry James <loganjerry at gmail dot com> - 8.12.1-1	- Version 8.12.1 - Drop upstreamed sphinx 3 support patch
2020-09-02	Richard W.M. Jones <rjones at redhat dot com> - 8.12.0-3	- OCaml 4.11.1 rebuild - ExcludeArch s390x (RHBZ#1874879).
2020-08-31	Jerry James <loganjerry at gmail dot com> - 8.12.0-1	- Version 8.12.0 - Build with dune - Add coqide-server subpackage - Unbundle fonts from the documentation
2020-08-21	Richard W.M. Jones <rjones at redhat dot com> - 8.11.2-5	- OCaml 4.11.0 rebuild
2020-08-06	Jerry James <loganjerry at gmail dot com> - 8.11.2-4	- Rebuild to fix ocamlx(Dynlink) dependency
2020-08-01	Fedora Release Engineering <releng at fedoraproject dot org> - 8.11.2-3	- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

usr/
- share/
  - doc/
    - coq/
      - CREDITS
      - FAQ-CoqIde
      - LICENSE.doc
      - README.md
      - changes.md
      - html/
        
        stdlib/
        
        Coq.Arith.Arith.html
        
        Coq.Arith.Arith_base.html
        
        Coq.Arith.Between.html
        
        Coq.Arith.Bool_nat.html
        
        Coq.Arith.Compare.html
        
        Coq.Arith.Compare_dec.html
        
        Coq.Arith.Div2.html
        
        Coq.Arith.EqNat.html
        
        Coq.Arith.Euclid.html
        
        Coq.Arith.Even.html
        
        Coq.Arith.Factorial.html
        
        Coq.Arith.Gt.html
        
        Coq.Arith.Le.html
        
        Coq.Arith.Lt.html
        
        Coq.Arith.Max.html
        
        Coq.Arith.Min.html
        
        Coq.Arith.Minus.html
        
        Coq.Arith.Mult.html
        
        Coq.Arith.PeanoNat.html
        
        Coq.Arith.Peano_dec.html
        
        Coq.Arith.Plus.html
        
        Coq.Arith.Wf_nat.html
        
        Coq.Array.PArray.html
        
        Coq.Bool.Bool.html
        
        Coq.Bool.BoolEq.html
        
        Coq.Bool.BoolOrder.html
        
        Coq.Bool.Bvector.html
        
        Coq.Bool.DecBool.html
        
        Coq.Bool.IfProp.html
        
        Coq.Bool.Sumbool.html
        
        Coq.Bool.Zerob.html
        
        Coq.Classes.CEquivalence.html
        
        Coq.Classes.CMorphisms.html
        
        Coq.Classes.CRelationClasses.html
        
        Coq.Classes.DecidableClass.html
        
        Coq.Classes.EquivDec.html
        
        Coq.Classes.Equivalence.html
        
        Coq.Classes.Init.html
        
        Coq.Classes.Morphisms.html
        
        Coq.Classes.Morphisms_Prop.html
        
        Coq.Classes.Morphisms_Relations.html
        
        Coq.Classes.RelationClasses.html
        
        Coq.Classes.RelationPairs.html
        
        Coq.Classes.SetoidClass.html
        
        Coq.Classes.SetoidDec.html
        
        Coq.Classes.SetoidTactics.html
        
        Coq.Compat.AdmitAxiom.html
        
        Coq.Compat.Coq811.html
        
        Coq.Compat.Coq812.html
        
        Coq.Compat.Coq813.html
        
        Coq.FSets.FMapAVL.html
        
        Coq.FSets.FMapFacts.html
        
        Coq.FSets.FMapFullAVL.html
        
        Coq.FSets.FMapInterface.html
        
        Coq.FSets.FMapList.html
        
        Coq.FSets.FMapPositive.html
        
        Coq.FSets.FMapWeakList.html
        
        Coq.FSets.FMaps.html
        
        Coq.FSets.FSetAVL.html
        
        Coq.FSets.FSetBridge.html
        
        Coq.FSets.FSetCompat.html
        
        Coq.FSets.FSetDecide.html
        
        Coq.FSets.FSetEqProperties.html
        
        Coq.FSets.FSetFacts.html
        
        Coq.FSets.FSetInterface.html
        
        Coq.FSets.FSetList.html
        
        Coq.FSets.FSetPositive.html
        
        Coq.FSets.FSetProperties.html
        
        Coq.FSets.FSetToFiniteSet.html
        
        Coq.FSets.FSetWeakList.html
        
        Coq.FSets.FSets.html
        
        Coq.Floats.FloatAxioms.html
        
        Coq.Floats.FloatClass.html
        
        Coq.Floats.FloatLemmas.html
        
        Coq.Floats.FloatOps.html
        
        Coq.Floats.Floats.html
        
        Coq.Floats.PrimFloat.html
        
        Coq.Floats.SpecFloat.html
        
        Coq.Init.Byte.html
        
        Coq.Init.Datatypes.html
        
        Coq.Init.Decimal.html
        
        Coq.Init.Hexadecimal.html
        
        Coq.Init.Logic.html
        
        Coq.Init.Logic_Type.html
        
        Coq.Init.Ltac.html
        
        Coq.Init.Nat.html
        
        Coq.Init.Notations.html
        
        Coq.Init.Number.html
        
        Coq.Init.Numeral.html
        
        Coq.Init.Peano.html
        
        Coq.Init.Prelude.html
        
        Coq.Init.Specif.html
        
        Coq.Init.Tactics.html
        
        Coq.Init.Tauto.html
        
        Coq.Init.Wf.html
        
        Coq.Lists.List.html
        
        Coq.Lists.ListDec.html
        
        Coq.Lists.ListSet.html
        
        Coq.Lists.ListTactics.html
        
        Coq.Lists.SetoidList.html
        
        Coq.Lists.SetoidPermutation.html
        
        Coq.Lists.StreamMemo.html
        
        Coq.Lists.Streams.html
        
        Coq.Logic.Berardi.html
        
        Coq.Logic.ChoiceFacts.html
        
        Coq.Logic.Classical.html
        
        Coq.Logic.ClassicalChoice.html
        
        Coq.Logic.ClassicalDescription.html
        
        Coq.Logic.ClassicalEpsilon.html
        
        Coq.Logic.ClassicalFacts.html
        
        Coq.Logic.ClassicalUniqueChoice.html
        
        Coq.Logic.Classical_Pred_Type.html
        
        Coq.Logic.Classical_Prop.html
        
        Coq.Logic.ConstructiveEpsilon.html
        
        Coq.Logic.Decidable.html
        
        Coq.Logic.Description.html
        
        Coq.Logic.Diaconescu.html
        
        Coq.Logic.Epsilon.html
        
        Coq.Logic.Eqdep.html
        
        Coq.Logic.EqdepFacts.html
        
        Coq.Logic.Eqdep_dec.html
        
        Coq.Logic.ExtensionalFunctionRepresentative.html
        
        Coq.Logic.ExtensionalityFacts.html
        
        Coq.Logic.FinFun.html
        
        Coq.Logic.FunctionalExtensionality.html
        
        Coq.Logic.HLevels.html
        
        Coq.Logic.Hurkens.html
        
        Coq.Logic.IndefiniteDescription.html
        
        Coq.Logic.JMeq.html
        
        Coq.Logic.ProofIrrelevance.html
        
        Coq.Logic.ProofIrrelevanceFacts.html
        
        Coq.Logic.PropExtensionality.html
        
        Coq.Logic.PropExtensionalityFacts.html
        
        Coq.Logic.PropFacts.html
        
        Coq.Logic.RelationalChoice.html
        
        Coq.Logic.SetIsType.html
        
        Coq.Logic.SetoidChoice.html
        
        Coq.Logic.StrictProp.html
        
        Coq.Logic.WKL.html
        
        Coq.Logic.WeakFan.html
        
        Coq.MSets.MSetAVL.html
        
        Coq.MSets.MSetDecide.html
        
        Coq.MSets.MSetEqProperties.html
        
        Coq.MSets.MSetFacts.html
        
        Coq.MSets.MSetGenTree.html
        
        Coq.MSets.MSetInterface.html
        
        Coq.MSets.MSetList.html
        
        Coq.MSets.MSetPositive.html
        
        Coq.MSets.MSetProperties.html
        
        Coq.MSets.MSetRBT.html
        
        Coq.MSets.MSetToFiniteSet.html
        
        Coq.MSets.MSetWeakList.html
        
        Coq.MSets.MSets.html
        
        Coq.NArith.BinNat.html
        
        Coq.NArith.BinNatDef.html
        
        Coq.NArith.NArith.html
        
        Coq.NArith.Ndec.html
        
        Coq.NArith.Ndigits.html
        
        Coq.NArith.Ndist.html
        
        Coq.NArith.Ndiv_def.html
        
        Coq.NArith.Ngcd_def.html
        
        Coq.NArith.Nnat.html
        
        Coq.NArith.Nsqrt_def.html
        
        Coq.Numbers.AltBinNotations.html
        
        Coq.Numbers.BinNums.html
        
        Coq.Numbers.Cyclic.Abstract.CyclicAxioms.html
        
        Coq.Numbers.Cyclic.Abstract.DoubleType.html
        
        Coq.Numbers.Cyclic.Abstract.NZCyclic.html
        
        Coq.Numbers.Cyclic.Int31.Cyclic31.html
        
        Coq.Numbers.Cyclic.Int31.Int31.html
        
        Coq.Numbers.Cyclic.Int31.Ring31.html
        
        Coq.Numbers.Cyclic.Int63.Cyclic63.html
        
        Coq.Numbers.Cyclic.Int63.Int63.html
        
        Coq.Numbers.Cyclic.Int63.Ring63.html
        
        Coq.Numbers.Cyclic.ZModulo.ZModulo.html
        
        Coq.Numbers.DecimalFacts.html
        
        Coq.Numbers.DecimalN.html
        
        Coq.Numbers.DecimalNat.html
        
        Coq.Numbers.DecimalPos.html
        
        Coq.Numbers.DecimalQ.html
        
        Coq.Numbers.DecimalR.html
        
        Coq.Numbers.DecimalString.html
        
        Coq.Numbers.DecimalZ.html
        
        Coq.Numbers.HexadecimalFacts.html
        
        Coq.Numbers.HexadecimalN.html
        
        Coq.Numbers.HexadecimalNat.html
        
        Coq.Numbers.HexadecimalPos.html
        
        Coq.Numbers.HexadecimalQ.html
        
        Coq.Numbers.HexadecimalR.html
        
        Coq.Numbers.HexadecimalString.html
        
        Coq.Numbers.HexadecimalZ.html
        
        Coq.Numbers.Integer.Abstract.ZAdd.html
        
        Coq.Numbers.Integer.Abstract.ZAddOrder.html
        
        Coq.Numbers.Integer.Abstract.ZAxioms.html
        
        Coq.Numbers.Integer.Abstract.ZBase.html
        
        Coq.Numbers.Integer.Abstract.ZBits.html
        
        Coq.Numbers.Integer.Abstract.ZDivEucl.html
        
        Coq.Numbers.Integer.Abstract.ZDivFloor.html
        
        Coq.Numbers.Integer.Abstract.ZDivTrunc.html
        
        Coq.Numbers.Integer.Abstract.ZGcd.html
        
        Coq.Numbers.Integer.Abstract.ZLcm.html
        
        Coq.Numbers.Integer.Abstract.ZLt.html
        
        Coq.Numbers.Integer.Abstract.ZMaxMin.html
        
        Coq.Numbers.Integer.Abstract.ZMul.html
        
        Coq.Numbers.Integer.Abstract.ZMulOrder.html
        
        Coq.Numbers.Integer.Abstract.ZParity.html
        
        Coq.Numbers.Integer.Abstract.ZPow.html
        
        Coq.Numbers.Integer.Abstract.ZProperties.html
        
        Coq.Numbers.Integer.Abstract.ZSgnAbs.html
        
        Coq.Numbers.Integer.Binary.ZBinary.html
        
        Coq.Numbers.Integer.NatPairs.ZNatPairs.html
        
        Coq.Numbers.NaryFunctions.html
        
        Coq.Numbers.NatInt.NZAdd.html
        
        Coq.Numbers.NatInt.NZAddOrder.html
        
        Coq.Numbers.NatInt.NZAxioms.html
        
        Coq.Numbers.NatInt.NZBase.html
        
        Coq.Numbers.NatInt.NZBits.html
        
        Coq.Numbers.NatInt.NZDiv.html
        
        Coq.Numbers.NatInt.NZDomain.html
        
        Coq.Numbers.NatInt.NZGcd.html
        
        Coq.Numbers.NatInt.NZLog.html
        
        Coq.Numbers.NatInt.NZMul.html
        
        Coq.Numbers.NatInt.NZMulOrder.html
        
        Coq.Numbers.NatInt.NZOrder.html
        
        Coq.Numbers.NatInt.NZParity.html
        
        Coq.Numbers.NatInt.NZPow.html
        
        Coq.Numbers.NatInt.NZProperties.html
        
        Coq.Numbers.NatInt.NZSqrt.html
        
        Coq.Numbers.Natural.Abstract.NAdd.html
        
        Coq.Numbers.Natural.Abstract.NAddOrder.html
        
        Coq.Numbers.Natural.Abstract.NAxioms.html
        
        Coq.Numbers.Natural.Abstract.NBase.html
        
        Coq.Numbers.Natural.Abstract.NBits.html
        
        Coq.Numbers.Natural.Abstract.NDefOps.html
        
        Coq.Numbers.Natural.Abstract.NDiv.html
        
        Coq.Numbers.Natural.Abstract.NGcd.html
        
        Coq.Numbers.Natural.Abstract.NIso.html
        
        Coq.Numbers.Natural.Abstract.NLcm.html
        
        Coq.Numbers.Natural.Abstract.NLog.html
        
        Coq.Numbers.Natural.Abstract.NMaxMin.html
        
        Coq.Numbers.Natural.Abstract.NMulOrder.html
        
        Coq.Numbers.Natural.Abstract.NOrder.html
        
        Coq.Numbers.Natural.Abstract.NParity.html
        
        Coq.Numbers.Natural.Abstract.NPow.html
        
        Coq.Numbers.Natural.Abstract.NProperties.html
        
        Coq.Numbers.Natural.Abstract.NSqrt.html
        
        Coq.Numbers.Natural.Abstract.NStrongRec.html
        
        Coq.Numbers.Natural.Abstract.NSub.html
        
        Coq.Numbers.Natural.Binary.NBinary.html
        
        Coq.Numbers.Natural.Peano.NPeano.html
        
        Coq.Numbers.NumPrelude.html
        
        Coq.PArith.BinPos.html
        
        Coq.PArith.BinPosDef.html
        
        Coq.PArith.PArith.html
        
        Coq.PArith.POrderedType.html
        
        Coq.PArith.Pnat.html
        
        Coq.Program.Basics.html
        
        Coq.Program.Combinators.html
        
        Coq.Program.Equality.html
        
        Coq.Program.Program.html
        
        Coq.Program.Subset.html
        
        Coq.Program.Syntax.html
        
        Coq.Program.Tactics.html
        
        Coq.Program.Utils.html
        
        Coq.Program.Wf.html
        
        Coq.QArith.QArith.html
        
        Coq.QArith.QArith_base.html
        
        Coq.QArith.QOrderedType.html
        
        Coq.QArith.Qabs.html
        
        Coq.QArith.Qcabs.html
        
        Coq.QArith.Qcanon.html
        
        Coq.QArith.Qfield.html
        
        Coq.QArith.Qminmax.html
        
        Coq.QArith.Qpower.html
        
        Coq.QArith.Qreals.html
        
        Coq.QArith.Qreduction.html
        
        Coq.QArith.Qring.html
        
        Coq.QArith.Qround.html
        
        Coq.Reals.Abstract.ConstructiveAbs.html
        
        Coq.Reals.Abstract.ConstructiveLUB.html
        
        Coq.Reals.Abstract.ConstructiveLimits.html
        
        Coq.Reals.Abstract.ConstructiveMinMax.html
        
        Coq.Reals.Abstract.ConstructivePower.html
        
        Coq.Reals.Abstract.ConstructiveReals.html
        
        Coq.Reals.Abstract.ConstructiveRealsMorphisms.html
        
        Coq.Reals.Abstract.ConstructiveSum.html
        
        Coq.Reals.Alembert.html
        
        Coq.Reals.AltSeries.html
        
        Coq.Reals.ArithProp.html
        
        Coq.Reals.Binomial.html
        
        Coq.Reals.Cauchy.ConstructiveCauchyAbs.html
        
        Coq.Reals.Cauchy.ConstructiveCauchyReals.html
        
        Coq.Reals.Cauchy.ConstructiveCauchyRealsMult.html
        
        Coq.Reals.Cauchy.ConstructiveExtra.html
        
        Coq.Reals.Cauchy.ConstructiveRcomplete.html
        
        Coq.Reals.Cauchy.PosExtra.html
        
        Coq.Reals.Cauchy.QExtra.html
        
        Coq.Reals.Cauchy_prod.html
        
        Coq.Reals.ClassicalConstructiveReals.html
        
        Coq.Reals.ClassicalDedekindReals.html
        
        Coq.Reals.Cos_plus.html
        
        Coq.Reals.Cos_rel.html
        
        Coq.Reals.DiscrR.html
        
        Coq.Reals.Exp_prop.html
        
        Coq.Reals.Integration.html
        
        Coq.Reals.MVT.html
        
        Coq.Reals.Machin.html
        
        Coq.Reals.NewtonInt.html
        
        Coq.Reals.PSeries_reg.html
        
        Coq.Reals.PartSum.html
        
        Coq.Reals.RIneq.html
        
        Coq.Reals.RList.html
        
        Coq.Reals.ROrderedType.html
        
        Coq.Reals.R_Ifp.html
        
        Coq.Reals.R_sqr.html
        
        Coq.Reals.R_sqrt.html
        
        Coq.Reals.Ranalysis.html
        
        Coq.Reals.Ranalysis1.html
        
        Coq.Reals.Ranalysis2.html
        
        Coq.Reals.Ranalysis3.html
        
        Coq.Reals.Ranalysis4.html
        
        Coq.Reals.Ranalysis5.html
        
        Coq.Reals.Ranalysis_reg.html
        
        Coq.Reals.Ratan.html
        
        Coq.Reals.Raxioms.html
        
        Coq.Reals.Rbase.html
        
        Coq.Reals.Rbasic_fun.html
        
        Coq.Reals.Rcomplete.html
        
        Coq.Reals.Rdefinitions.html
        
        Coq.Reals.Rderiv.html
        
        Coq.Reals.Reals.html
        
        Coq.Reals.Rfunctions.html
        
        Coq.Reals.Rgeom.html
        
        Coq.Reals.RiemannInt.html
        
        Coq.Reals.RiemannInt_SF.html
        
        Coq.Reals.Rlimit.html
        
        Coq.Reals.Rlogic.html
        
        Coq.Reals.Rminmax.html
        
        Coq.Reals.Rpow_def.html
        
        Coq.Reals.Rpower.html
        
        Coq.Reals.Rprod.html
        
        Coq.Reals.Rregisternames.html
        
        Coq.Reals.Rseries.html
        
        Coq.Reals.Rsigma.html
        
        Coq.Reals.Rsqrt_def.html
        
        Coq.Reals.Rtopology.html
        
        Coq.Reals.Rtrigo.html
        
        Coq.Reals.Rtrigo1.html
        
        Coq.Reals.Rtrigo_alt.html
        
        Coq.Reals.Rtrigo_calc.html
        
        Coq.Reals.Rtrigo_def.html
        
        Coq.Reals.Rtrigo_facts.html
        
        Coq.Reals.Rtrigo_fun.html
        
        Coq.Reals.Rtrigo_reg.html
        
        Coq.Reals.Runcountable.html
        
        Coq.Reals.SeqProp.html
        
        Coq.Reals.SeqSeries.html
        
        Coq.Reals.SplitAbsolu.html
        
        Coq.Reals.SplitRmult.html
        
        Coq.Reals.Sqrt_reg.html
        
        Coq.Relations.Operators_Properties.html
        
        Coq.Relations.Relation_Definitions.html
        
        Coq.Relations.Relation_Operators.html
        
        Coq.Relations.Relations.html
        
        Coq.Setoids.Setoid.html
        
        Coq.Sets.Classical_sets.html
        
        Coq.Sets.Constructive_sets.html
        
        Coq.Sets.Cpo.html
        
        Coq.Sets.Ensembles.html
        
        Coq.Sets.Finite_sets.html
        
        Coq.Sets.Finite_sets_facts.html
        
        Coq.Sets.Image.html
        
        Coq.Sets.Infinite_sets.html
        
        Coq.Sets.Integers.html
        
        Coq.Sets.Multiset.html
        
        Coq.Sets.Partial_Order.html
        
        Coq.Sets.Permut.html
        
        Coq.Sets.Powerset.html
        
        Coq.Sets.Powerset_Classical_facts.html
        
        Coq.Sets.Powerset_facts.html
        
        Coq.Sets.Relations_1.html
        
        Coq.Sets.Relations_1_facts.html
        
        Coq.Sets.Relations_2.html
        
        Coq.Sets.Relations_2_facts.html
        
        Coq.Sets.Relations_3.html
        
        Coq.Sets.Relations_3_facts.html
        
        Coq.Sets.Uniset.html
        
        Coq.Sorting.CPermutation.html
        
        Coq.Sorting.Heap.html
        
        Coq.Sorting.Mergesort.html
        
        Coq.Sorting.PermutEq.html
        
        Coq.Sorting.PermutSetoid.html
        
        Coq.Sorting.Permutation.html
        
        Coq.Sorting.Sorted.html
        
        Coq.Sorting.Sorting.html
        
        Coq.Strings.Ascii.html
        
        Coq.Strings.BinaryString.html
        
        Coq.Strings.Byte.html
        
        Coq.Strings.ByteVector.html
        
        Coq.Strings.HexString.html
        
        Coq.Strings.OctalString.html
        
        Coq.Strings.String.html
        
        Coq.Structures.DecidableType.html
        
        Coq.Structures.DecidableTypeEx.html
        
        Coq.Structures.Equalities.html
        
        Coq.Structures.EqualitiesFacts.html
        
        Coq.Structures.GenericMinMax.html
        
        Coq.Structures.OrderedType.html
        
        Coq.Structures.OrderedTypeAlt.html
        
        Coq.Structures.OrderedTypeEx.html
        
        Coq.Structures.Orders.html
        
        Coq.Structures.OrdersAlt.html
        
        Coq.Structures.OrdersEx.html
        
        Coq.Structures.OrdersFacts.html
        
        Coq.Structures.OrdersLists.html
        
        Coq.Structures.OrdersTac.html
        
        Coq.Unicode.Utf8.html
        
        Coq.Unicode.Utf8_core.html
        
        Coq.Vectors.Fin.html
        
        Coq.Vectors.Vector.html
        
        Coq.Vectors.VectorDef.html
        
        Coq.Vectors.VectorEq.html
        
        Coq.Vectors.VectorSpec.html
        
        Coq.Wellfounded.Disjoint_Union.html
        
        Coq.Wellfounded.Inclusion.html
        
        Coq.Wellfounded.Inverse_Image.html
        
        Coq.Wellfounded.Lexicographic_Exponentiation.html
        
        Coq.Wellfounded.Lexicographic_Product.html
        
        Coq.Wellfounded.Transitive_Closure.html
        
        Coq.Wellfounded.Union.html
        
        Coq.Wellfounded.Well_Ordering.html
        
        Coq.Wellfounded.Wellfounded.html
        
        Coq.ZArith.BinInt.html
        
        Coq.ZArith.BinIntDef.html
        
        Coq.ZArith.Int.html
        
        Coq.ZArith.Wf_Z.html
        
        Coq.ZArith.ZArith.html
        
        Coq.ZArith.ZArith_base.html
        
        Coq.ZArith.ZArith_dec.html
        
        Coq.ZArith.Zabs.html
        
        Coq.ZArith.Zbool.html
        
        Coq.ZArith.Zcompare.html
        
        Coq.ZArith.Zcomplements.html
        
        Coq.ZArith.Zdigits.html
        
        Coq.ZArith.Zdiv.html
        
        Coq.ZArith.Zeuclid.html
        
        Coq.ZArith.Zeven.html
        
        Coq.ZArith.Zgcd_alt.html
        
        Coq.ZArith.Zhints.html
        
        Coq.ZArith.Zmax.html
        
        Coq.ZArith.Zmin.html
        
        Coq.ZArith.Zminmax.html
        
        Coq.ZArith.Zmisc.html
        
        Coq.ZArith.Znat.html
        
        Coq.ZArith.Znumtheory.html
        
        Coq.ZArith.Zorder.html
        
        Coq.ZArith.Zpow_alt.html
        
        Coq.ZArith.Zpow_def.html
        
        Coq.ZArith.Zpow_facts.html
        
        Coq.ZArith.Zpower.html
        
        Coq.ZArith.Zquot.html
        
        Coq.ZArith.Zwf.html
        
        Coq.ZArith.auxiliary.html
        
        Coq.btauto.Algebra.html
        
        Coq.btauto.Btauto.html
        
        Coq.btauto.Reflect.html
        
        Coq.derive.Derive.html
        
        Coq.extraction.ExtrHaskellBasic.html
        
        Coq.extraction.ExtrHaskellNatInt.html
        
        Coq.extraction.ExtrHaskellNatInteger.html
        
        Coq.extraction.ExtrHaskellNatNum.html
        
        Coq.extraction.ExtrHaskellString.html
        
        Coq.extraction.ExtrHaskellZInt.html
        
        Coq.extraction.ExtrHaskellZInteger.html
        
        Coq.extraction.ExtrHaskellZNum.html
        
        Coq.extraction.ExtrOCamlFloats.html
        
        Coq.extraction.ExtrOCamlInt63.html
        
        Coq.extraction.ExtrOCamlPArray.html
        
        Coq.extraction.ExtrOcamlBasic.html
        
        Coq.extraction.ExtrOcamlBigIntConv.html
        
        Coq.extraction.ExtrOcamlChar.html
        
        Coq.extraction.ExtrOcamlIntConv.html
        
        Coq.extraction.ExtrOcamlNatBigInt.html
        
        Coq.extraction.ExtrOcamlNatInt.html
        
        Coq.extraction.ExtrOcamlNativeString.html
        
        Coq.extraction.ExtrOcamlString.html
        
        Coq.extraction.ExtrOcamlZBigInt.html
        
        Coq.extraction.ExtrOcamlZInt.html
        
        Coq.extraction.Extraction.html
        
        Coq.funind.FunInd.html
        
        Coq.funind.Recdef.html
        
        Coq.micromega.DeclConstant.html
        
        Coq.micromega.Env.html
        
        Coq.micromega.EnvRing.html
        
        Coq.micromega.Fourier.html
        
        Coq.micromega.Fourier_util.html
        
        Coq.micromega.Lia.html
        
        Coq.micromega.Lqa.html
        
        Coq.micromega.Lra.html
        
        Coq.micromega.MExtraction.html
        
        Coq.micromega.OrderedRing.html
        
        Coq.micromega.Psatz.html
        
        Coq.micromega.QMicromega.html
        
        Coq.micromega.RMicromega.html
        
        Coq.micromega.Refl.html
        
        Coq.micromega.RingMicromega.html
        
        Coq.micromega.Tauto.html
        
        Coq.micromega.VarMap.html
        
        Coq.micromega.ZArith_hints.html
        
        Coq.micromega.ZCoeff.html
        
        Coq.micromega.ZMicromega.html
        
        Coq.micromega.Zify.html
        
        Coq.micromega.ZifyBool.html
        
        Coq.micromega.ZifyClasses.html
        
        Coq.micromega.ZifyComparison.html
        
        Coq.micromega.ZifyInst.html
        
        Coq.micromega.ZifyInt63.html
        
        Coq.micromega.ZifyPow.html
        
        Coq.micromega.Ztac.html
        
        Coq.nsatz.Nsatz.html
        
        Coq.nsatz.NsatzTactic.html
        
        Coq.omega.Omega.html
        
        Coq.omega.OmegaLemmas.html
        
        Coq.omega.OmegaPlugin.html
        
        Coq.omega.OmegaTactic.html
        
        Coq.omega.PreOmega.html
        
        Coq.rtauto.Bintree.html
        
        Coq.rtauto.Rtauto.html
        
        Coq.setoid_ring.Algebra_syntax.html
        
        Coq.setoid_ring.ArithRing.html
        
        Coq.setoid_ring.BinList.html
        
        Coq.setoid_ring.Cring.html
        
        Coq.setoid_ring.Field.html
        
        Coq.setoid_ring.Field_tac.html
        
        Coq.setoid_ring.Field_theory.html
        
        Coq.setoid_ring.InitialRing.html
        
        Coq.setoid_ring.Integral_domain.html
        
        Coq.setoid_ring.NArithRing.html
        
        Coq.setoid_ring.Ncring.html
        
        Coq.setoid_ring.Ncring_initial.html
        
        Coq.setoid_ring.Ncring_polynom.html
        
        Coq.setoid_ring.Ncring_tac.html
        
        Coq.setoid_ring.RealField.html
        
        Coq.setoid_ring.Ring.html
        
        Coq.setoid_ring.Ring_base.html
        
        Coq.setoid_ring.Ring_polynom.html
        
        Coq.setoid_ring.Ring_tac.html
        
        Coq.setoid_ring.Ring_theory.html
        
        Coq.setoid_ring.Rings_Q.html
        
        Coq.setoid_ring.Rings_R.html
        
        Coq.setoid_ring.Rings_Z.html
        
        Coq.setoid_ring.ZArithRing.html
        
        Coq.ssr.ssrbool.html
        
        Coq.ssr.ssrclasses.html
        
        Coq.ssr.ssreflect.html
        
        Coq.ssr.ssrfun.html
        
        Coq.ssr.ssrsetoid.html
        
        Coq.ssr.ssrunder.html
        
        Coq.ssrmatching.ssrmatching.html
        
        Coq.ssrsearch.ssrsearch.html
        
        Ltac2.Array.html
        
        Ltac2.Bool.html
        
        Ltac2.Char.html
        
        Ltac2.Constr.html
        
        Ltac2.Control.html
        
        Ltac2.Env.html
        
        Ltac2.Fresh.html
        
        Ltac2.Ident.html
        
        Ltac2.Init.html
        
        Ltac2.Int.html
        
        Ltac2.List.html
        
        Ltac2.Ltac1.html
        
        Ltac2.Ltac2.html
        
        Ltac2.Message.html
        
        Ltac2.Notations.html
        
        Ltac2.Option.html
        
        Ltac2.Pattern.html
        
        Ltac2.Std.html
        
        Ltac2.String.html
        
        coqdoc.css
        
        genindex.html
        
        index.html
        
        index_abbreviation_*.html
        
        index_abbreviation_A.html
        
        index_abbreviation_B.html
        
        index_abbreviation_C.html
        
        index_abbreviation_D.html
        
        index_abbreviation_E.html
        
        index_abbreviation_F.html
        
        index_abbreviation_G.html
        
        index_abbreviation_H.html
        
        index_abbreviation_I.html
        
        index_abbreviation_J.html
        
        index_abbreviation_K.html
        
        index_abbreviation_L.html
        
        index_abbreviation_M.html
        
        index_abbreviation_N.html
        
        index_abbreviation_O.html
        
        index_abbreviation_P.html
        
        index_abbreviation_Q.html
        
        index_abbreviation_R.html
        
        index_abbreviation_S.html
        
        index_abbreviation_T.html
        
        index_abbreviation_U.html
        
        index_abbreviation_V.html
        
        index_abbreviation_W.html
        
        index_abbreviation_X.html
        
        index_abbreviation_Y.html
        
        index_abbreviation_Z.html
        
        index_abbreviation__.html
        
        index_axiom_*.html
        
        index_axiom_A.html
        
        index_axiom_B.html
        
        index_axiom_C.html
        
        index_axiom_D.html
        
        index_axiom_E.html
        
        index_axiom_F.html
        
        index_axiom_G.html
        
        index_axiom_H.html
        
        index_axiom_I.html
        
        index_axiom_J.html
        
        index_axiom_K.html
        
        index_axiom_L.html
        
        index_axiom_M.html
        
        index_axiom_N.html
        
        index_axiom_O.html
        
        index_axiom_P.html
        
        index_axiom_Q.html
        
        index_axiom_R.html
        
        index_axiom_S.html
        
        index_axiom_T.html
        
        index_axiom_U.html
        
        index_axiom_V.html
        
        index_axiom_W.html
        
        index_axiom_X.html
        
        index_axiom_Y.html
        
        index_axiom_Z.html
        
        index_axiom__.html
        
        index_binder_*.html
        
        index_binder_A.html
        
        index_binder_B.html
        
        index_binder_C.html
        
        index_binder_D.html
        
        index_binder_E.html
        
        index_binder_F.html
        
        index_binder_G.html
        
        index_binder_H.html
        
        index_binder_I.html
        
        index_binder_J.html
        
        index_binder_K.html
        
        index_binder_L.html
        
        index_binder_M.html
        
        index_binder_N.html
        
        index_binder_O.html
        
        index_binder_P.html
        
        index_binder_Q.html
        
        index_binder_R.html
        
        index_binder_S.html
        
        index_binder_T.html
        
        index_binder_U.html
        
        index_binder_V.html
        
        index_binder_W.html
        
        index_binder_X.html
        
        index_binder_Y.html
        
        index_binder_Z.html
        
        index_binder__.html
        
        index_constructor_*.html
        
        index_constructor_A.html
        
        index_constructor_B.html
        
        index_constructor_C.html
        
        index_constructor_D.html
        
        index_constructor_E.html
        
        index_constructor_F.html
        
        index_constructor_G.html
        
        index_constructor_H.html
        
        index_constructor_I.html
        
        index_constructor_J.html
        
        index_constructor_K.html
        
        index_constructor_L.html
        
        index_constructor_M.html
        
        index_constructor_N.html
        
        index_constructor_O.html
        
        index_constructor_P.html
        
        index_constructor_Q.html
        
        index_constructor_R.html
        
        index_constructor_S.html
        
        index_constructor_T.html
        
        index_constructor_U.html
        
        index_constructor_V.html
        
        index_constructor_W.html
        
        index_constructor_X.html
        
        index_constructor_Y.html
        
        index_constructor_Z.html
        
        index_constructor__.html
        
        index_definition_*.html
        
        index_definition_A.html
        
        index_definition_B.html
        
        index_definition_C.html
        
        index_definition_D.html
        
        index_definition_E.html
        
        index_definition_F.html
        
        index_definition_G.html
        
        index_definition_H.html
        
        index_definition_I.html
        
        index_definition_J.html
        
        index_definition_K.html
        
        index_definition_L.html
        
        index_definition_M.html
        
        index_definition_N.html
        
        index_definition_O.html
        
        index_definition_P.html
        
        index_definition_Q.html
        
        index_definition_R.html
        
        index_definition_S.html
        
        index_definition_T.html
        
        index_definition_U.html
        
        index_definition_V.html
        
        index_definition_W.html
        
        index_definition_X.html
        
        index_definition_Y.html
        
        index_definition_Z.html
        
        index_definition__.html
        
        index_global_*.html
        
        index_global_A.html
        
        index_global_B.html
        
        index_global_C.html
        
        index_global_D.html
        
        index_global_E.html
        
        index_global_F.html
        
        index_global_G.html
        
        index_global_H.html
        
        index_global_I.html
        
        index_global_J.html
        
        index_global_K.html
        
        index_global_L.html
        
        index_global_M.html
        
        index_global_N.html
        
        index_global_O.html
        
        index_global_P.html
        
        index_global_Q.html
        
        index_global_R.html
        
        index_global_S.html
        
        index_global_T.html
        
        index_global_U.html
        
        index_global_V.html
        
        index_global_W.html
        
        index_global_X.html
        
        index_global_Y.html
        
        index_global_Z.html
        
        index_global__.html
        
        index_inductive_*.html
        
        index_inductive_A.html
        
        index_inductive_B.html
        
        index_inductive_C.html
        
        index_inductive_D.html
        
        index_inductive_E.html
        
        index_inductive_F.html
        
        index_inductive_G.html
        
        index_inductive_H.html
        
        index_inductive_I.html
        
        index_inductive_J.html
        
        index_inductive_K.html
        
        index_inductive_L.html
        
        index_inductive_M.html
        
        index_inductive_N.html
        
        index_inductive_O.html
        
        index_inductive_P.html
        
        index_inductive_Q.html
        
        index_inductive_R.html
        
        index_inductive_S.html
        
        index_inductive_T.html
        
        index_inductive_U.html
        
        index_inductive_V.html
        
        index_inductive_W.html
        
        index_inductive_X.html
        
        index_inductive_Y.html
        
        index_inductive_Z.html
        
        index_inductive__.html
        
        index_instance_*.html
        
        index_instance_A.html
        
        index_instance_B.html
        
        index_instance_C.html
        
        index_instance_D.html
        
        index_instance_E.html
        
        index_instance_F.html
        
        index_instance_G.html
        
        index_instance_H.html
        
        index_instance_I.html
        
        index_instance_J.html
        
        index_instance_K.html
        
        index_instance_L.html
        
        index_instance_M.html
        
        index_instance_N.html
        
        index_instance_O.html
        
        index_instance_P.html
        
        index_instance_Q.html
        
        index_instance_R.html
        
        index_instance_S.html
        
        index_instance_T.html
        
        index_instance_U.html
        
        index_instance_V.html
        
        index_instance_W.html
        
        index_instance_X.html
        
        index_instance_Y.html
        
        index_instance_Z.html
        
        index_instance__.html
        
        index_lemma_*.html
        
        index_lemma_A.html
        
        index_lemma_B.html
        
        index_lemma_C.html
        
        index_lemma_D.html
        
        index_lemma_E.html
        
        index_lemma_F.html
        
        index_lemma_G.html
        
        index_lemma_H.html
        
        index_lemma_I.html
        
        index_lemma_J.html
        
        index_lemma_K.html
        
        index_lemma_L.html
        
        index_lemma_M.html
        
        index_lemma_N.html
        
        index_lemma_O.html
        
        index_lemma_P.html
        
        index_lemma_Q.html
        
        index_lemma_R.html
        
        index_lemma_S.html
        
        index_lemma_T.html
        
        index_lemma_U.html
        
        index_lemma_V.html
        
        index_lemma_W.html
        
        index_lemma_X.html
        
        index_lemma_Y.html
        
        index_lemma_Z.html
        
        index_lemma__.html
        
        index_library_*.html
        
        index_library_A.html
        
        index_library_B.html
        
        index_library_C.html
        
        index_library_D.html
        
        index_library_E.html
        
        index_library_F.html
        
        index_library_G.html
        
        index_library_H.html
        
        index_library_I.html
        
        index_library_J.html
        
        index_library_K.html
        
        index_library_L.html
        
        index_library_M.html
        
        index_library_N.html
        
        index_library_O.html
        
        index_library_P.html
        
        index_library_Q.html
        
        index_library_R.html
        
        index_library_S.html
        
        index_library_T.html
        
        index_library_U.html
        
        index_library_V.html
        
        index_library_W.html
        
        index_library_X.html
        
        index_library_Y.html
        
        index_library_Z.html
        
        index_library__.html
        
        index_module_*.html
        
        index_module_A.html
        
        index_module_B.html
        
        index_module_C.html
        
        index_module_D.html
        
        index_module_E.html
        
        index_module_F.html
        
        index_module_G.html
        
        index_module_H.html
        
        index_module_I.html
        
        index_module_J.html
        
        index_module_K.html
        
        index_module_L.html
        
        index_module_M.html
        
        index_module_N.html
        
        index_module_O.html
        
        index_module_P.html
        
        index_module_Q.html
        
        index_module_R.html
        
        index_module_S.html
        
        index_module_T.html
        
        index_module_U.html
        
        index_module_V.html
        
        index_module_W.html
        
        index_module_X.html
        
        index_module_Y.html
        
        index_module_Z.html
        
        index_module__.html
        
        index_notation_*.html
        
        index_notation_A.html
        
        index_notation_B.html
        
        index_notation_C.html
        
        index_notation_D.html
        
        index_notation_E.html
        
        index_notation_F.html
        
        index_notation_G.html
        
        index_notation_H.html
        
        index_notation_I.html
        
        index_notation_J.html
        
        index_notation_K.html
        
        index_notation_L.html
        
        index_notation_M.html
        
        index_notation_N.html
        
        index_notation_O.html
        
        index_notation_P.html
        
        index_notation_Q.html
        
        index_notation_R.html
        
        index_notation_S.html
        
        index_notation_T.html
        
        index_notation_U.html
        
        index_notation_V.html
        
        index_notation_W.html
        
        index_notation_X.html
        
        index_notation_Y.html
        
        index_notation_Z.html
        
        index_notation__.html
        
        index_projection_*.html
        
        index_projection_A.html
        
        index_projection_B.html
        
        index_projection_C.html
        
        index_projection_D.html
        
        index_projection_E.html
        
        index_projection_F.html
        
        index_projection_G.html
        
        index_projection_H.html
        
        index_projection_I.html
        
        index_projection_J.html
        
        index_projection_K.html
        
        index_projection_L.html
        
        index_projection_M.html
        
        index_projection_N.html
        
        index_projection_O.html
        
        index_projection_P.html
        
        index_projection_Q.html
        
        index_projection_R.html
        
        index_projection_S.html
        
        index_projection_T.html
        
        index_projection_U.html
        
        index_projection_V.html
        
        index_projection_W.html
        
        index_projection_X.html
        
        index_projection_Y.html
        
        index_projection_Z.html
        
        index_projection__.html
        
        index_record_*.html
        
        index_record_A.html
        
        index_record_B.html
        
        index_record_C.html
        
        index_record_D.html
        
        index_record_E.html
        
        index_record_F.html
        
        index_record_G.html
        
        index_record_H.html
        
        index_record_I.html
        
        index_record_J.html
        
        index_record_K.html
        
        index_record_L.html
        
        index_record_M.html
        
        index_record_N.html
        
        index_record_O.html
        
        index_record_P.html
        
        index_record_Q.html
        
        index_record_R.html
        
        index_record_S.html
        
        index_record_T.html
        
        index_record_U.html
        
        index_record_V.html
        
        index_record_W.html
        
        index_record_X.html
        
        index_record_Y.html
        
        index_record_Z.html
        
        index_record__.html
        
        index_section_*.html
        
        index_section_A.html
        
        index_section_B.html
        
        index_section_C.html
        
        index_section_D.html
        
        index_section_E.html
        
        index_section_F.html
        
        index_section_G.html
        
        index_section_H.html
        
        index_section_I.html
        
        index_section_J.html
        
        index_section_K.html
        
        index_section_L.html
        
        index_section_M.html
        
        index_section_N.html
        
        index_section_O.html
        
        index_section_P.html
        
        index_section_Q.html
        
        index_section_R.html
        
        index_section_S.html
        
        index_section_T.html
        
        index_section_U.html
        
        index_section_V.html
        
        index_section_W.html
        
        index_section_X.html
        
        index_section_Y.html
        
        index_section_Z.html
        
        index_section__.html
        
        index_variable_*.html
        
        index_variable_A.html
        
        index_variable_B.html
        
        index_variable_C.html
        
        index_variable_D.html
        
        index_variable_E.html
        
        index_variable_F.html
        
        index_variable_G.html
        
        index_variable_H.html
        
        index_variable_I.html
        
        index_variable_J.html
        
        index_variable_K.html
        
        index_variable_L.html
        
        index_variable_M.html
        
        index_variable_N.html
        
        index_variable_O.html
        
        index_variable_P.html
        
        index_variable_Q.html
        
        index_variable_R.html
        
        index_variable_S.html
        
        index_variable_T.html
        
        index_variable_U.html
        
        index_variable_V.html
        
        index_variable_W.html
        
        index_variable_X.html
        
        index_variable_Y.html
        
        index_variable_Z.html
        
        index_variable__.html
      - pdf/
        
        Library.pdf
      - sphinx/
        
        html/
        
        .buildinfo
        
        _images/
        
        coqide-queries.png
        
        coqide.png
        
        diffs-coqide-compacted.png
        
        diffs-coqide-multigoal.png
        
        diffs-coqide-on.png
        
        diffs-coqide-removed.png
        
        diffs-coqtop-on3.png
        
        diffs-error-message.png
        
        diffs-show-proof.png
        
        _sources/
        
        addendum/
        
        canonical-structures.rst.txt
        
        extended-pattern-matching.rst.txt
        
        extraction.rst.txt
        
        generalized-rewriting.rst.txt
        
        implicit-coercions.rst.txt
        
        micromega.rst.txt
        
        miscellaneous-extensions.rst.txt
        
        nsatz.rst.txt
        
        omega.rst.txt
        
        parallel-proof-processing.rst.txt
        
        program.rst.txt
        
        ring.rst.txt
        
        sprop.rst.txt
        
        type-classes.rst.txt
        
        universe-polymorphism.rst.txt
        
        appendix/
        
        history-and-changes/
        
        index.rst.txt
        
        indexes/
        
        index.rst.txt
        
        changes.rst.txt
        
        coq-attrindex.rst.txt
        
        coq-cmdindex.rst.txt
        
        coq-exnindex.rst.txt
        
        coq-optindex.rst.txt
        
        coq-tacindex.rst.txt
        
        genindex.rst.txt
        
        history.rst.txt
        
        index.rst.txt
        
        language/
        
        cic.rst.txt
        
        coq-library.rst.txt
        
        core/
        
        assumptions.rst.txt
        
        basic.rst.txt
        
        coinductive.rst.txt
        
        conversion.rst.txt
        
        definitions.rst.txt
        
        index.rst.txt
        
        inductive.rst.txt
        
        modules.rst.txt
        
        primitive.rst.txt
        
        records.rst.txt
        
        sections.rst.txt
        
        sorts.rst.txt
        
        variants.rst.txt
        
        extensions/
        
        arguments-command.rst.txt
        
        canonical.rst.txt
        
        evars.rst.txt
        
        implicit-arguments.rst.txt
        
        index.rst.txt
        
        match.rst.txt
        
        gallina-extensions.rst.txt
        
        gallina-specification-language.rst.txt
        
        module-system.rst.txt
        
        license.rst.txt
        
        practical-tools/
        
        coq-commands.rst.txt
        
        coqide.rst.txt
        
        utilities.rst.txt
        
        proof-engine/
        
        detailed-tactic-examples.rst.txt
        
        ltac.rst.txt
        
        ltac2.rst.txt
        
        proof-handling.rst.txt
        
        ssreflect-proof-language.rst.txt
        
        tactics.rst.txt
        
        vernacular-commands.rst.txt
        
        proofs/
        
        automatic-tactics/
        
        auto.rst.txt
        
        index.rst.txt
        
        logic.rst.txt
        
        creating-tactics/
        
        index.rst.txt
        
        writing-proofs/
        
        index.rst.txt
        
        proof-mode.rst.txt
        
        rewriting.rst.txt
        
        std-glossindex.rst.txt
        
        user-extensions/
        
        proof-schemes.rst.txt
        
        syntax-extensions.rst.txt
        
        using/
        
        libraries/
        
        funind.rst.txt
        
        index.rst.txt
        
        writing.rst.txt
        
        tools/
        
        coqdoc.rst.txt
        
        index.rst.txt
        
        zebibliography.rst.txt
        
        _static/
        
        CoqNotations.ttf
        
        ansi-dark.css
        
        ansi.css
        
        basic.css
        
        coqdoc.css
        
        coqide-queries.png
        
        coqide.png
        
        coqnotations.sty
        
        css/
        
        badge_only.css
        
        theme.css
        
        diffs-coqide-compacted.png
        
        diffs-coqide-multigoal.png
        
        diffs-coqide-on.png
        
        diffs-coqide-removed.png
        
        diffs-coqtop-compacted.png
        
        diffs-coqtop-multigoal.png
        
        diffs-coqtop-on.png
        
        diffs-coqtop-on3.png
        
        diffs-error-message.png
        
        diffs-show-proof.png
        
        doctools.js
        
        documentation_options.js
        
        file.png
        
        jquery-3.5.1.js
        
        jquery.js
        
        js/
        
        badge_only.js
        
        theme.js
        
        language_data.js
        
        minus.png
        
        notations.css
        
        notations.js
        
        plus.png
        
        pre-text.css
        
        pygments.css
        
        searchtools.js
        
        underscore-1.3.1.js
        
        underscore.js
        
        addendum/
        
        canonical-structures.html
        
        extended-pattern-matching.html
        
        extraction.html
        
        generalized-rewriting.html
        
        implicit-coercions.html
        
        micromega.html
        
        miscellaneous-extensions.html
        
        nsatz.html
        
        omega.html
        
        parallel-proof-processing.html
        
        program.html
        
        ring.html
        
        sprop.html
        
        type-classes.html
        
        universe-polymorphism.html
        
        appendix/
        
        history-and-changes/
        
        index.html
        
        indexes/
        
        index.html
        
        changes.html
        
        coq-attrindex.html
        
        coq-cmdindex.html
        
        coq-exnindex.html
        
        coq-optindex.html
        
        coq-tacindex.html
        
        coq-thmindex.html
        
        genindex.html
        
        history.html
        
        index.html
        
        language/
        
        cic.html
        
        coq-library.html
        
        core/
        
        assumptions.html
        
        basic.html
        
        coinductive.html
        
        conversion.html
        
        definitions.html
        
        index.html
        
        inductive.html
        
        modules.html
        
        primitive.html
        
        records.html
        
        sections.html
        
        sorts.html
        
        variants.html
        
        extensions/
        
        arguments-command.html
        
        canonical.html
        
        evars.html
        
        implicit-arguments.html
        
        index.html
        
        match.html
        
        gallina-extensions.html
        
        gallina-specification-language.html
        
        module-system.html
        
        license.html
        
        objects.inv
        
        practical-tools/
        
        coq-commands.html
        
        coqide.html
        
        utilities.html
        
        proof-engine/
        
        detailed-tactic-examples.html
        
        ltac.html
        
        ltac2.html
        
        proof-handling.html
        
        ssreflect-proof-language.html
        
        tactics.html
        
        vernacular-commands.html
        
        proofs/
        
        automatic-tactics/
        
        auto.html
        
        index.html
        
        logic.html
        
        creating-tactics/
        
        index.html
        
        writing-proofs/
        
        index.html
        
        proof-mode.html
        
        rewriting.html
        
        search.html
        
        searchindex.js
        
        std-glossindex.html
        
        user-extensions/
        
        proof-schemes.html
        
        syntax-extensions.html
        
        using/
        
        libraries/
        
        funind.html
        
        index.html
        
        writing.html
        
        tools/
        
        coqdoc.html
        
        index.html
        
        zebibliography.html
        
        latex/
        
        CoqRefMan.aux
        
        CoqRefMan.fdb_latexmk
        
        CoqRefMan.fls
        
        CoqRefMan.idx
        
        CoqRefMan.ilg
        
        CoqRefMan.ind
        
        CoqRefMan.log
        
        CoqRefMan.out
        
        CoqRefMan.pdf
        
        CoqRefMan.tex
        
        CoqRefMan.toc
        
        LICRcyr2utf8.xdy
        
        LICRlatin2utf8.xdy
        
        LatinRules.xdy
        
        Makefile
        
        coqide-queries.png
        
        coqide.png
        
        coqnotations.sty
        
        diffs-coqide-compacted.png
        
        diffs-coqide-multigoal.png
        
        diffs-coqide-on.png
        
        diffs-coqide-removed.png
        
        diffs-coqtop-on3.png
        
        diffs-error-message.png
        
        diffs-show-proof.png
        
        footnotehyper-sphinx.sty
        
        latexmkjarc
        
        latexmkrc
        
        make.bat
        
        python.ist
        
        refman-preamble.sty
        
        sphinx.sty
        
        sphinx.xdy
        
        sphinxcyrillic.sty
        
        sphinxhighlight.sty
        
        sphinxhowto.cls
        
        sphinxmanual.cls
        
        sphinxmessages.sty
        
        sphinxmulticell.sty
  - licenses/
    - coq-doc/
      - LICENSE

coq-doc-8.13.1-1.fc34 in Fedora 34

Changelog

Dependencies

Provides

Files