Sophie: coq-doc-8.2pl1-1.fc12 i686

coq-doc-8.2pl1-1.fc12.i686.rpm

Files

drwxr-xr-x	4096	root	root	/usr/share/coq/RecTutorial
-rw-r--r--	25445	root	root	/usr/share/coq/RecTutorial/RecTutorial.v
-rw-r--r--	32420	root	root	/usr/share/doc/coq-8.2pl1/LICENSE.doc
drwxr-xr-x	4096	root	root	/usr/share/doc/coq-8.2pl1/html
drwxr-xr-x	4096	root	root	/usr/share/doc/coq-8.2pl1/pdf
drwxr-xr-x	4096	root	root	/usr/share/doc/coq-8.2pl1/ps
-rw-r--r--	137999	root	root	/usr/share/doc/coq-8.2pl1/html/RecTutorial.html
-rw-r--r--	143428	root	root	/usr/share/doc/coq-8.2pl1/html/Tutorial.html
drwxr-xr-x	4096	root	root	/usr/share/doc/coq-8.2pl1/html/faq
drwxr-xr-x	4096	root	root	/usr/share/doc/coq-8.2pl1/html/refman
drwxr-xr-x	24576	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib
-rw-r--r--	10075	root	root	/usr/share/doc/coq-8.2pl1/html/faq/axioms.png
-rw-r--r--	225297	root	root	/usr/share/doc/coq-8.2pl1/html/faq/index.html
-rw-r--r--	10315	root	root	/usr/share/doc/coq-8.2pl1/html/faq/interval_discr.v
-rw-r--r--	9325	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual001.html
-rw-r--r--	38732	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual002.html
-rw-r--r--	122576	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual003.html
-rw-r--r--	116139	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual004.html
-rw-r--r--	64324	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual005.html
-rw-r--r--	132472	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual006.html
-rw-r--r--	49027	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual007.html
-rw-r--r--	669	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual008.html
-rw-r--r--	68072	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual009.html
-rw-r--r--	21694	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual010.html
-rw-r--r--	276744	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual011.html
-rw-r--r--	57063	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual012.html
-rw-r--r--	91238	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual013.html
-rw-r--r--	65750	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual014.html
-rw-r--r--	64758	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual015.html
-rw-r--r--	1589	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual016.html
-rw-r--r--	21614	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual017.html
-rw-r--r--	52667	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual018.html
-rw-r--r--	17804	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual019.html
-rw-r--r--	977	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual020.html
-rw-r--r--	3287	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual021.html
-rw-r--r--	34483	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual022.html
-rw-r--r--	41091	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual023.html
-rw-r--r--	24253	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual024.html
-rw-r--r--	9723	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual025.html
-rw-r--r--	16378	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual026.html
-rw-r--r--	37405	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual027.html
-rw-r--r--	19827	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual028.html
-rw-r--r--	57158	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual029.html
-rw-r--r--	48146	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual030.html
-rw-r--r--	3478	root	root	/usr/share/doc/coq-8.2pl1/html/refman/Reference-Manual031.html
-rw-r--r--	40392	root	root	/usr/share/doc/coq-8.2pl1/html/refman/biblio.html
-rw-r--r--	36552	root	root	/usr/share/doc/coq-8.2pl1/html/refman/command-index.html
-rw-r--r--	27316	root	root	/usr/share/doc/coq-8.2pl1/html/refman/coqide-queries.png
-rw-r--r--	20953	root	root	/usr/share/doc/coq-8.2pl1/html/refman/coqide.png
-rw-r--r--	20641	root	root	/usr/share/doc/coq-8.2pl1/html/refman/error-index.html
-rw-r--r--	95814	root	root	/usr/share/doc/coq-8.2pl1/html/refman/general-index.html
-rw-r--r--	2230	root	root	/usr/share/doc/coq-8.2pl1/html/refman/index.html
-rw-r--r--	197	root	root	/usr/share/doc/coq-8.2pl1/html/refman/style.css
-rw-r--r--	21825	root	root	/usr/share/doc/coq-8.2pl1/html/refman/tactic-index.html
-rw-r--r--	19123	root	root	/usr/share/doc/coq-8.2pl1/html/refman/toc.html
-rw-r--r--	1025	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Arith.html
-rw-r--r--	2900	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Arith_base.html
-rw-r--r--	28749	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Between.html
-rw-r--r--	8178	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Bool_nat.html
-rw-r--r--	5980	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Compare.html
-rw-r--r--	21350	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Compare_dec.html
-rw-r--r--	21066	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Div2.html
-rw-r--r--	12739	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.EqNat.html
-rw-r--r--	5134	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Euclid.html
-rw-r--r--	25928	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Even.html
-rw-r--r--	3878	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Factorial.html
-rw-r--r--	17785	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Gt.html
-rw-r--r--	13067	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Le.html
-rw-r--r--	19613	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Lt.html
-rw-r--r--	10738	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Max.html
-rw-r--r--	11577	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Min.html
-rw-r--r--	13432	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Minus.html
-rw-r--r--	22751	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Mult.html
-rw-r--r--	3117	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Peano_dec.html
-rw-r--r--	23821	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Plus.html
-rw-r--r--	29454	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Arith.Wf_nat.html
-rw-r--r--	81671	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.Bool.html
-rw-r--r--	6119	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.BoolEq.html
-rw-r--r--	33191	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.Bvector.html
-rw-r--r--	2999	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.DecBool.html
-rw-r--r--	6180	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.IfProp.html
-rw-r--r--	8680	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.Sumbool.html
-rw-r--r--	4775	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Bool.Zerob.html
-rw-r--r--	27128	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.EquivDec.html
-rw-r--r--	18285	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.Equivalence.html
-rw-r--r--	7019	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.Functions.html
-rw-r--r--	3922	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.Init.html
-rw-r--r--	71680	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.Morphisms.html
-rw-r--r--	12631	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.Morphisms_Prop.html
-rw-r--r--	9158	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.Morphisms_Relations.html
-rw-r--r--	69231	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.RelationClasses.html
-rw-r--r--	2546	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.SetoidAxioms.html
-rw-r--r--	18938	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.SetoidClass.html
-rw-r--r--	18792	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.SetoidDec.html
-rw-r--r--	27686	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Classes.SetoidTactics.html
-rw-r--r--	369829	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapAVL.html
-rw-r--r--	238726	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapFacts.html
-rw-r--r--	136948	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapFullAVL.html
-rw-r--r--	76427	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapInterface.html
-rw-r--r--	150028	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapList.html
-rw-r--r--	171332	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapPositive.html
-rw-r--r--	130122	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMapWeakList.html
-rw-r--r--	2338	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FMaps.html
-rw-r--r--	325160	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetAVL.html
-rw-r--r--	139161	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetBridge.html
-rw-r--r--	148338	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetDecide.html
-rw-r--r--	106610	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetEqProperties.html
-rw-r--r--	53365	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetFacts.html
-rw-r--r--	167258	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetFullAVL.html
-rw-r--r--	134028	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetInterface.html
-rw-r--r--	212431	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetList.html
-rw-r--r--	163049	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetProperties.html
-rw-r--r--	13272	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetToFiniteSet.html
-rw-r--r--	172102	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSetWeakList.html
-rw-r--r--	3461	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.FSets.html
-rw-r--r--	111147	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.OrderedType.html
-rw-r--r--	14034	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.OrderedTypeAlt.html
-rw-r--r--	40001	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.FSets.OrderedTypeEx.html
-rw-r--r--	33940	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Datatypes.html
-rw-r--r--	58810	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Logic.html
-rw-r--r--	8817	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Logic_Type.html
-rw-r--r--	11931	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Notations.html
-rw-r--r--	29008	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Peano.html
-rw-r--r--	1941	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Prelude.html
-rw-r--r--	35643	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Specif.html
-rw-r--r--	24274	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Tactics.html
-rw-r--r--	21096	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Init.Wf.html
-rw-r--r--	202707	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.List.html
-rw-r--r--	46647	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.ListSet.html
-rw-r--r--	11427	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.ListTactics.html
-rw-r--r--	29744	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.MonoList.html
-rw-r--r--	87178	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.SetoidList.html
-rw-r--r--	22292	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.StreamMemo.html
-rw-r--r--	31960	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.Streams.html
-rw-r--r--	51595	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Lists.TheoryList.html
-rw-r--r--	15519	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Berardi.html
-rw-r--r--	68784	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ChoiceFacts.html
-rw-r--r--	1076	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Classical.html
-rw-r--r--	5225	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ClassicalChoice.html
-rw-r--r--	9735	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ClassicalDescription.html
-rw-r--r--	10515	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ClassicalEpsilon.html
-rw-r--r--	58292	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ClassicalFacts.html
-rw-r--r--	5687	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ClassicalUniqueChoice.html
-rw-r--r--	5455	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Classical_Pred_Set.html
-rw-r--r--	5362	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Classical_Pred_Type.html
-rw-r--r--	11294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Classical_Prop.html
-rw-r--r--	1190	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Classical_Type.html
-rw-r--r--	17513	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ConstructiveEpsilon.html
-rw-r--r--	22181	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Decidable.html
-rw-r--r--	31863	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.DecidableType.html
-rw-r--r--	18927	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.DecidableTypeEx.html
-rw-r--r--	1792	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Description.html
-rw-r--r--	19739	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Diaconescu.html
-rw-r--r--	9252	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Epsilon.html
-rw-r--r--	3681	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Eqdep.html
-rw-r--r--	38663	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.EqdepFacts.html
-rw-r--r--	36243	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Eqdep_dec.html
-rw-r--r--	6597	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.FunctionalExtensionality.html
-rw-r--r--	9915	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.Hurkens.html
-rw-r--r--	3895	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.IndefiniteDescription.html
-rw-r--r--	13851	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.JMeq.html
-rw-r--r--	2363	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ProofIrrelevance.html
-rw-r--r--	6912	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.ProofIrrelevanceFacts.html
-rw-r--r--	2259	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.RelationalChoice.html
-rw-r--r--	1283	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Logic.SetIsType.html
-rw-r--r--	50603	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.BinNat.html
-rw-r--r--	123064	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.BinPos.html
-rw-r--r--	1713	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.NArith.html
-rw-r--r--	52396	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.Ndec.html
-rw-r--r--	88239	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.Ndigits.html
-rw-r--r--	31401	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.Ndist.html
-rw-r--r--	39251	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.Nnat.html
-rw-r--r--	37784	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.NArith.Pnat.html
-rw-r--r--	30673	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.BigNumPrelude.html
-rw-r--r--	63397	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.Abstract.CyclicAxioms.html
-rw-r--r--	31155	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.Abstract.NZCyclic.html
-rw-r--r--	49995	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleAdd.html
-rw-r--r--	52972	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleBase.html
-rw-r--r--	110141	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleCyclic.html
-rw-r--r--	186359	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleDiv.html
-rw-r--r--	55234	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleDivn1.html
-rw-r--r--	43412	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleLift.html
-rw-r--r--	90737	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleMul.html
-rw-r--r--	85587	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleSqrt.html
-rw-r--r--	51915	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleSub.html
-rw-r--r--	8195	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.DoubleCyclic.DoubleType.html
-rw-r--r--	166618	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.Int31.Cyclic31.html
-rw-r--r--	93844	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.Int31.Int31.html
-rw-r--r--	90817	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Cyclic.ZModulo.ZModulo.html
-rw-r--r--	40805	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZAdd.html
-rw-r--r--	51434	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZAddOrder.html
-rw-r--r--	13474	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZAxioms.html
-rw-r--r--	14040	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZBase.html
-rw-r--r--	87915	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZLt.html
-rw-r--r--	14347	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZMul.html
-rw-r--r--	46058	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Abstract.ZMulOrder.html
-rw-r--r--	12649	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.BigZ.BigZ.html
-rw-r--r--	75692	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.BigZ.ZMake.html
-rw-r--r--	31441	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.Binary.ZBinary.html
-rw-r--r--	56188	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.NatPairs.ZNatPairs.html
-rw-r--r--	24576	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.SpecViaZ.ZSig.html
-rw-r--r--	38367	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Integer.SpecViaZ.ZSigZAxioms.html
-rw-r--r--	26874	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NaryFunctions.html
-rw-r--r--	9080	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZAdd.html
-rw-r--r--	18394	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZAddOrder.html
-rw-r--r--	31020	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZAxioms.html
-rw-r--r--	9849	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZBase.html
-rw-r--r--	6680	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZMul.html
-rw-r--r--	27270	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZMulOrder.html
-rw-r--r--	72402	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NatInt.NZOrder.html
-rw-r--r--	17269	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NAdd.html
-rw-r--r--	18301	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NAddOrder.html
-rw-r--r--	16846	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NAxioms.html
-rw-r--r--	35643	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NBase.html
-rw-r--r--	22162	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NIso.html
-rw-r--r--	9728	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NMul.html
-rw-r--r--	19285	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NMulOrder.html
-rw-r--r--	92816	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NOrder.html
-rw-r--r--	16681	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Abstract.NSub.html
-rw-r--r--	10449	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.BigN.BigN.html
-rw-r--r--	907055	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.BigN.NMake.html
-rw-r--r--	92904	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.BigN.Nbasic.html
-rw-r--r--	36999	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Binary.NBinDefs.html
-rw-r--r--	1066	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Binary.NBinary.html
-rw-r--r--	35039	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.Peano.NPeano.html
-rw-r--r--	25169	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.SpecViaZ.NSig.html
-rw-r--r--	42232	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Natural.SpecViaZ.NSigNAxioms.html
-rw-r--r--	27321	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.NumPrelude.html
-rw-r--r--	23618	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Rational.BigQ.BigQ.html
-rw-r--r--	136693	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Rational.BigQ.QMake.html
-rw-r--r--	19343	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Numbers.Rational.SpecViaQ.QSig.html
-rw-r--r--	7062	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Basics.html
-rw-r--r--	6979	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Combinators.html
-rw-r--r--	96129	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Equality.html
-rw-r--r--	2026	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Program.html
-rw-r--r--	14048	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Subset.html
-rw-r--r--	10030	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Syntax.html
-rw-r--r--	42334	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Tactics.html
-rw-r--r--	5430	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Utils.html
-rw-r--r--	54529	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Program.Wf.html
-rw-r--r--	1164	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.QArith.html
-rw-r--r--	71709	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.QArith_base.html
-rw-r--r--	7717	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qabs.html
-rw-r--r--	43840	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qcanon.html
-rw-r--r--	13391	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qfield.html
-rw-r--r--	12615	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qpower.html
-rw-r--r--	14306	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qreals.html
-rw-r--r--	12475	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qreduction.html
-rw-r--r--	753	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qring.html
-rw-r--r--	9781	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.QArith.Qround.html
-rw-r--r--	14673	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Alembert.html
-rw-r--r--	19438	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.AltSeries.html
-rw-r--r--	6385	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.ArithProp.html
-rw-r--r--	8044	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Binomial.html
-rw-r--r--	6651	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Cauchy_prod.html
-rw-r--r--	8564	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Cos_plus.html
-rw-r--r--	15307	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Cos_rel.html
-rw-r--r--	12150	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.DiscrR.html
-rw-r--r--	15763	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Exp_prop.html
-rw-r--r--	1177	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Integration.html
-rw-r--r--	3889	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.LegacyRfield.html
-rw-r--r--	36033	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.MVT.html
-rw-r--r--	26746	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.NewtonInt.html
-rw-r--r--	20561	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.PSeries_reg.html
-rw-r--r--	35918	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.PartSum.html
-rw-r--r--	174612	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.RIneq.html
-rw-r--r--	66206	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.RList.html
-rw-r--r--	17511	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.R_Ifp.html
-rw-r--r--	27179	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.R_sqr.html
-rw-r--r--	22838	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.R_sqrt.html
-rw-r--r--	185436	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Ranalysis.html
-rw-r--r--	95193	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Ranalysis1.html
-rw-r--r--	30311	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Ranalysis2.html
-rw-r--r--	8116	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Ranalysis3.html
-rw-r--r--	24596	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Ranalysis4.html
-rw-r--r--	18935	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Raxioms.html
-rw-r--r--	1351	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rbase.html
-rw-r--r--	25810	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rbasic_fun.html
-rw-r--r--	2464	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rcomplete.html
-rw-r--r--	9500	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rdefinitions.html
-rw-r--r--	21031	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rderiv.html
-rw-r--r--	2640	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Reals.html
-rw-r--r--	47683	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rfunctions.html
-rw-r--r--	24305	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rgeom.html
-rw-r--r--	96404	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.RiemannInt.html
-rw-r--r--	91373	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.RiemannInt_SF.html
-rw-r--r--	30037	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rlimit.html
-rw-r--r--	10036	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rlogic.html
-rw-r--r--	2093	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rpow_def.html
-rw-r--r--	31352	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rpower.html
-rw-r--r--	12754	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rprod.html
-rw-r--r--	14103	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rseries.html
-rw-r--r--	9213	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rsigma.html
-rw-r--r--	30657	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rsqrt_def.html
-rw-r--r--	73211	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtopology.html
-rw-r--r--	80817	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtrigo.html
-rw-r--r--	6946	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtrigo_alt.html
-rw-r--r--	21126	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtrigo_calc.html
-rw-r--r--	19395	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtrigo_def.html
-rw-r--r--	2638	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtrigo_fun.html
-rw-r--r--	10909	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Rtrigo_reg.html
-rw-r--r--	46640	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.SeqProp.html
-rw-r--r--	11336	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.SeqSeries.html
-rw-r--r--	2966	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.SplitAbsolu.html
-rw-r--r--	1510	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.SplitRmult.html
-rw-r--r--	6578	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Reals.Sqrt_reg.html
-rw-r--r--	37385	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Relations.Operators_Properties.html
-rw-r--r--	15154	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Relations.Relation_Definitions.html
-rw-r--r--	46877	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Relations.Relation_Operators.html
-rw-r--r--	3279	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Relations.Relations.html
-rw-r--r--	8526	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Setoids.Setoid.html
-rw-r--r--	12299	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Classical_sets.html
-rw-r--r--	17942	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Constructive_sets.html
-rw-r--r--	21464	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Cpo.html
-rw-r--r--	19818	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Ensembles.html
-rw-r--r--	10864	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Finite_sets.html
-rw-r--r--	22675	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Finite_sets_facts.html
-rw-r--r--	20407	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Image.html
-rw-r--r--	18466	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Infinite_sets.html
-rw-r--r--	11264	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Integers.html
-rw-r--r--	25740	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Multiset.html
-rw-r--r--	10647	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Partial_Order.html
-rw-r--r--	11787	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Permut.html
-rw-r--r--	27077	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Powerset.html
-rw-r--r--	30982	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Powerset_Classical_facts.html
-rw-r--r--	28779	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Powerset_facts.html
-rw-r--r--	10163	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Relations_1.html
-rw-r--r--	11026	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Relations_1_facts.html
-rw-r--r--	8206	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Relations_2.html
-rw-r--r--	13429	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Relations_2_facts.html
-rw-r--r--	8870	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Relations_3.html
-rw-r--r--	6944	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Relations_3_facts.html
-rw-r--r--	29273	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sets.Uniset.html
-rw-r--r--	31662	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sorting.Heap.html
-rw-r--r--	16296	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sorting.PermutEq.html
-rw-r--r--	18766	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sorting.PermutSetoid.html
-rw-r--r--	20403	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sorting.Permutation.html
-rw-r--r--	18538	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Sorting.Sorting.html
-rw-r--r--	23351	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Strings.Ascii.html
-rw-r--r--	40606	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Strings.String.html
-rw-r--r--	10312	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Unicode.Utf8.html
-rw-r--r--	5109	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Disjoint_Union.html
-rw-r--r--	3462	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Inclusion.html
-rw-r--r--	6422	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Inverse_Image.html
-rw-r--r--	17809	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Lexicographic_Exponentiation.html
-rw-r--r--	13217	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Lexicographic_Product.html
-rw-r--r--	5145	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Transitive_Closure.html
-rw-r--r--	6553	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Union.html
-rw-r--r--	5964	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Well_Ordering.html
-rw-r--r--	2336	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.Wellfounded.Wellfounded.html
-rw-r--r--	110347	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.BinInt.html
-rw-r--r--	101863	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Int.html
-rw-r--r--	19247	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Wf_Z.html
-rw-r--r--	2223	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.ZArith.html
-rw-r--r--	5871	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.ZArith_base.html
-rw-r--r--	12399	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.ZArith_dec.html
-rw-r--r--	54667	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.ZOdiv.html
-rw-r--r--	22342	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.ZOdiv_def.html
-rw-r--r--	21254	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zabs.html
-rw-r--r--	30706	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zbinary.html
-rw-r--r--	28281	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zbool.html
-rw-r--r--	30854	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zcompare.html
-rw-r--r--	15228	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zcomplements.html
-rw-r--r--	84987	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zdiv.html
-rw-r--r--	27127	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zeven.html
-rw-r--r--	20375	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zgcd_alt.html
-rw-r--r--	26140	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zhints.html
-rw-r--r--	26056	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zlogarithm.html
-rw-r--r--	16876	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zmax.html
-rw-r--r--	14945	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zmin.html
-rw-r--r--	8588	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zminmax.html
-rw-r--r--	11001	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zmisc.html
-rw-r--r--	23222	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Znat.html
-rw-r--r--	113640	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Znumtheory.html
-rw-r--r--	76667	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zorder.html
-rw-r--r--	4457	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zpow_def.html
-rw-r--r--	28984	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zpow_facts.html
-rw-r--r--	38483	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zpower.html
-rw-r--r--	11768	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zsqrt.html
-rw-r--r--	7591	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.Zwf.html
-rw-r--r--	8380	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/Coq.ZArith.auxiliary.html
-rw-r--r--	16228	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/genindex.html
-rw-r--r--	20765	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index.html
-rw-r--r--	17673	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_A.html
-rw-r--r--	17118	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_B.html
-rw-r--r--	16912	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_C.html
-rw-r--r--	17618	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_D.html
-rw-r--r--	17301	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_E.html
-rw-r--r--	17284	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_F.html
-rw-r--r--	16861	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_G.html
-rw-r--r--	17819	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_H.html
-rw-r--r--	19986	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_J.html
-rw-r--r--	16979	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_K.html
-rw-r--r--	18031	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_L.html
-rw-r--r--	17663	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_M.html
-rw-r--r--	21357	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_N.html
-rw-r--r--	18875	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_O.html
-rw-r--r--	18971	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_P.html
-rw-r--r--	16960	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_Q.html
-rw-r--r--	20163	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_R.html
-rw-r--r--	18139	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_S.html
-rw-r--r--	16644	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_T.html
-rw-r--r--	16485	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_V.html
-rw-r--r--	37991	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_W.html
-rw-r--r--	16693	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_Y.html
-rw-r--r--	38754	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_abbreviation__.html
-rw-r--r--	16587	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_A.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_B.html
-rw-r--r--	18027	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_C.html
-rw-r--r--	18073	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_D.html
-rw-r--r--	17733	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_E.html
-rw-r--r--	16558	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_F.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_G.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_H.html
-rw-r--r--	19061	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_I.html
-rw-r--r--	16454	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_K.html
-rw-r--r--	16468	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_L.html
-rw-r--r--	18119	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_M.html
-rw-r--r--	45800	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_N.html
-rw-r--r--	17181	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_O.html
-rw-r--r--	17110	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_P.html
-rw-r--r--	38116	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_Q.html
-rw-r--r--	19280	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_R.html
-rw-r--r--	40709	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_S.html
-rw-r--r--	16475	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_T.html
-rw-r--r--	17816	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_V.html
-rw-r--r--	48399	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_Y.html
-rw-r--r--	40073	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_axiom__.html
-rw-r--r--	18021	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_A.html
-rw-r--r--	16962	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_B.html
-rw-r--r--	18247	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_C.html
-rw-r--r--	19745	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_D.html
-rw-r--r--	19169	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_E.html
-rw-r--r--	17503	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_F.html
-rw-r--r--	16705	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_G.html
-rw-r--r--	16722	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_H.html
-rw-r--r--	36325	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_I.html
-rw-r--r--	16470	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_K.html
-rw-r--r--	18588	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_L.html
-rw-r--r--	39513	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_M.html
-rw-r--r--	18739	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_N.html
-rw-r--r--	16797	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_O.html
-rw-r--r--	17790	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_P.html
-rw-r--r--	16602	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_Q.html
-rw-r--r--	39942	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_R.html
-rw-r--r--	17755	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_S.html
-rw-r--r--	18769	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_T.html
-rw-r--r--	17022	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_U.html
-rw-r--r--	16577	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_V.html
-rw-r--r--	19356	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_W.html
-rw-r--r--	16681	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_Y.html
-rw-r--r--	17647	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_constructor__.html
-rw-r--r--	38004	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_A.html
-rw-r--r--	39124	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_B.html
-rw-r--r--	41459	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_C.html
-rw-r--r--	50588	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_D.html
-rw-r--r--	40065	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_E.html
-rw-r--r--	38235	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_F.html
-rw-r--r--	20089	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_G.html
-rw-r--r--	18307	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_H.html
-rw-r--r--	64333	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_J.html
-rw-r--r--	18176	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_K.html
-rw-r--r--	37628	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_L.html
-rw-r--r--	144419	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_M.html
-rw-r--r--	68419	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_N.html
-rw-r--r--	39931	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_O.html
-rw-r--r--	58062	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_P.html
-rw-r--r--	37811	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_Q.html
-rw-r--r--	66553	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_R.html
-rw-r--r--	58835	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_S.html
-rw-r--r--	36905	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_T.html
-rw-r--r--	19664	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_U.html
-rw-r--r--	17749	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_V.html
-rw-r--r--	72200	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_W.html
-rw-r--r--	16789	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_X.html
-rw-r--r--	16559	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_Y.html
-rw-r--r--	69905	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition_Z.html
-rw-r--r--	16962	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_definition__.html
-rw-r--r--	82446	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_A.html
-rw-r--r--	55929	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_B.html
-rw-r--r--	95006	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_C.html
-rw-r--r--	189342	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_D.html
-rw-r--r--	89351	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_E.html
-rw-r--r--	64866	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_F.html
-rw-r--r--	48927	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_G.html
-rw-r--r--	39143	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_H.html
-rw-r--r--	163750	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_I.html
-rw-r--r--	17841	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_J.html
-rw-r--r--	44241	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_K.html
-rw-r--r--	74824	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_L.html
-rw-r--r--	274467	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_M.html
-rw-r--r--	279267	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_N.html
-rw-r--r--	74130	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_O.html
-rw-r--r--	165493	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_P.html
-rw-r--r--	74356	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_Q.html
-rw-r--r--	248419	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_R.html
-rw-r--r--	175289	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_S.html
-rw-r--r--	61740	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_T.html
-rw-r--r--	46712	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_U.html
-rw-r--r--	36298	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_V.html
-rw-r--r--	222720	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_W.html
-rw-r--r--	19590	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_X.html
-rw-r--r--	16567	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_Y.html
-rw-r--r--	309326	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global_Z.html
-rw-r--r--	17110	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_global__.html
-rw-r--r--	17653	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_A.html
-rw-r--r--	17071	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_B.html
-rw-r--r--	19057	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_C.html
-rw-r--r--	17307	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_D.html
-rw-r--r--	18656	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_E.html
-rw-r--r--	17213	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_F.html
-rw-r--r--	16448	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_G.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_H.html
-rw-r--r--	18220	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_I.html
-rw-r--r--	16456	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_K.html
-rw-r--r--	17629	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_L.html
-rw-r--r--	17981	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_M.html
-rw-r--r--	17465	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_N.html
-rw-r--r--	16795	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_O.html
-rw-r--r--	17876	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_P.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_Q.html
-rw-r--r--	18203	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_R.html
-rw-r--r--	18627	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_S.html
-rw-r--r--	16957	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_T.html
-rw-r--r--	16933	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_U.html
-rw-r--r--	16466	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_V.html
-rw-r--r--	16895	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_Y.html
-rw-r--r--	17218	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_inductive__.html
-rw-r--r--	17188	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_A.html
-rw-r--r--	16925	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_B.html
-rw-r--r--	16827	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_C.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_D.html
-rw-r--r--	18414	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_E.html
-rw-r--r--	17481	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_F.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_G.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_H.html
-rw-r--r--	18470	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_K.html
-rw-r--r--	16484	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_L.html
-rw-r--r--	17185	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_M.html
-rw-r--r--	16956	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_N.html
-rw-r--r--	16675	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_O.html
-rw-r--r--	17816	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_P.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_Q.html
-rw-r--r--	18337	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_R.html
-rw-r--r--	17776	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_S.html
-rw-r--r--	17377	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_T.html
-rw-r--r--	16620	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_V.html
-rw-r--r--	16495	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_Y.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_instance__.html
-rw-r--r--	58989	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_A.html
-rw-r--r--	37496	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_B.html
-rw-r--r--	60568	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_C.html
-rw-r--r--	64081	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_D.html
-rw-r--r--	54763	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_E.html
-rw-r--r--	44821	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_F.html
-rw-r--r--	37014	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_G.html
-rw-r--r--	18021	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_H.html
-rw-r--r--	95968	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_I.html
-rw-r--r--	17150	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_J.html
-rw-r--r--	40279	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_K.html
-rw-r--r--	51828	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_L.html
-rw-r--r--	109474	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_M.html
-rw-r--r--	187002	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_N.html
-rw-r--r--	54355	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_O.html
-rw-r--r--	94499	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_P.html
-rw-r--r--	58285	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_Q.html
-rw-r--r--	157388	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_R.html
-rw-r--r--	106742	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_S.html
-rw-r--r--	44298	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_T.html
-rw-r--r--	37246	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_U.html
-rw-r--r--	17807	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_V.html
-rw-r--r--	113882	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_W.html
-rw-r--r--	18263	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_Y.html
-rw-r--r--	219989	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma_Z.html
-rw-r--r--	16466	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_lemma__.html
-rw-r--r--	16721	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_A.html
-rw-r--r--	17146	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_B.html
-rw-r--r--	17830	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_C.html
-rw-r--r--	17707	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_D.html
-rw-r--r--	16978	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_E.html
-rw-r--r--	17828	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_F.html
-rw-r--r--	16390	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_G.html
-rw-r--r--	16447	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_H.html
-rw-r--r--	16978	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_I.html
-rw-r--r--	16394	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_K.html
-rw-r--r--	16933	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_L.html
-rw-r--r--	16876	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_M.html
-rw-r--r--	34228	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_N.html
-rw-r--r--	16617	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_O.html
-rw-r--r--	17391	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_P.html
-rw-r--r--	16989	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_Q.html
-rw-r--r--	34822	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_R.html
-rw-r--r--	17445	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_S.html
-rw-r--r--	16588	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_T.html
-rw-r--r--	16546	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_V.html
-rw-r--r--	16661	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_Y.html
-rw-r--r--	34503	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_library__.html
-rw-r--r--	16883	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_A.html
-rw-r--r--	17633	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_B.html
-rw-r--r--	16540	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_C.html
-rw-r--r--	18353	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_D.html
-rw-r--r--	19671	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_E.html
-rw-r--r--	17390	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_F.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_G.html
-rw-r--r--	17171	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_H.html
-rw-r--r--	18302	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_J.html
-rw-r--r--	16645	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_K.html
-rw-r--r--	16787	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_L.html
-rw-r--r--	37214	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_M.html
-rw-r--r--	42831	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_N.html
-rw-r--r--	17919	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_O.html
-rw-r--r--	19671	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_P.html
-rw-r--r--	16512	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_Q.html
-rw-r--r--	18089	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_R.html
-rw-r--r--	17273	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_S.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_T.html
-rw-r--r--	16951	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_V.html
-rw-r--r--	18812	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_Y.html
-rw-r--r--	20073	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_module__.html
-rw-r--r--	16665	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_A.html
-rw-r--r--	16710	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_B.html
-rw-r--r--	18163	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_C.html
-rw-r--r--	17291	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_D.html
-rw-r--r--	18321	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_E.html
-rw-r--r--	17248	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_F.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_G.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_H.html
-rw-r--r--	18739	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_I.html
-rw-r--r--	16569	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_K.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_L.html
-rw-r--r--	17683	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_M.html
-rw-r--r--	17197	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_N.html
-rw-r--r--	16876	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_O.html
-rw-r--r--	18897	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_P.html
-rw-r--r--	16609	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_Q.html
-rw-r--r--	17904	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_R.html
-rw-r--r--	41271	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_S.html
-rw-r--r--	16625	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_T.html
-rw-r--r--	16482	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_V.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_Y.html
-rw-r--r--	40052	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_projection__.html
-rw-r--r--	16801	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_A.html
-rw-r--r--	16484	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_B.html
-rw-r--r--	16666	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_C.html
-rw-r--r--	17251	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_D.html
-rw-r--r--	17067	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_E.html
-rw-r--r--	16469	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_F.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_G.html
-rw-r--r--	16496	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_H.html
-rw-r--r--	17307	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_J.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_K.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_L.html
-rw-r--r--	17418	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_M.html
-rw-r--r--	17100	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_N.html
-rw-r--r--	16512	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_O.html
-rw-r--r--	17790	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_P.html
-rw-r--r--	16576	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_Q.html
-rw-r--r--	17261	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_R.html
-rw-r--r--	17217	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_S.html
-rw-r--r--	16501	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_T.html
-rw-r--r--	16474	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_U.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_V.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_Y.html
-rw-r--r--	16721	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_record__.html
-rw-r--r--	17773	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_A.html
-rw-r--r--	18078	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_B.html
-rw-r--r--	18470	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_C.html
-rw-r--r--	20862	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_D.html
-rw-r--r--	19034	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_E.html
-rw-r--r--	17271	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_F.html
-rw-r--r--	17064	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_G.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_H.html
-rw-r--r--	18351	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_J.html
-rw-r--r--	16663	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_K.html
-rw-r--r--	18783	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_L.html
-rw-r--r--	18313	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_M.html
-rw-r--r--	18996	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_N.html
-rw-r--r--	17664	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_O.html
-rw-r--r--	20653	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_P.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_Q.html
-rw-r--r--	37158	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_R.html
-rw-r--r--	18704	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_S.html
-rw-r--r--	17847	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_T.html
-rw-r--r--	16651	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_U.html
-rw-r--r--	16619	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_V.html
-rw-r--r--	39072	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_Y.html
-rw-r--r--	18631	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_section__.html
-rw-r--r--	38446	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_A.html
-rw-r--r--	19183	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_B.html
-rw-r--r--	40348	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_C.html
-rw-r--r--	113965	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_D.html
-rw-r--r--	20589	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_E.html
-rw-r--r--	19361	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_F.html
-rw-r--r--	21886	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_G.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_H.html
-rw-r--r--	37219	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_I.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_J.html
-rw-r--r--	16681	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_K.html
-rw-r--r--	38040	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_L.html
-rw-r--r--	47489	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_M.html
-rw-r--r--	21277	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_N.html
-rw-r--r--	17654	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_O.html
-rw-r--r--	49174	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_P.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_Q.html
-rw-r--r--	45616	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_R.html
-rw-r--r--	20836	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_S.html
-rw-r--r--	20653	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_T.html
-rw-r--r--	17138	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_U.html
-rw-r--r--	16708	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_V.html
-rw-r--r--	56246	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_W.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_X.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_Y.html
-rw-r--r--	21469	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable_Z.html
-rw-r--r--	16294	root	root	/usr/share/doc/coq-8.2pl1/html/stdlib/index_variable__.html
-rw-r--r--	296992	root	root	/usr/share/doc/coq-8.2pl1/pdf/FAQ.pdf
-rw-r--r--	1284950	root	root	/usr/share/doc/coq-8.2pl1/pdf/Library.pdf
-rw-r--r--	297354	root	root	/usr/share/doc/coq-8.2pl1/pdf/RecTutorial.pdf
-rw-r--r--	2124662	root	root	/usr/share/doc/coq-8.2pl1/pdf/Reference-Manual.pdf
-rw-r--r--	209104	root	root	/usr/share/doc/coq-8.2pl1/pdf/Tutorial.pdf
-rw-r--r--	531514	root	root	/usr/share/doc/coq-8.2pl1/ps/FAQ.ps
-rw-r--r--	1733581	root	root	/usr/share/doc/coq-8.2pl1/ps/Library.ps
-rw-r--r--	345552	root	root	/usr/share/doc/coq-8.2pl1/ps/RecTutorial.ps
-rw-r--r--	3819947	root	root	/usr/share/doc/coq-8.2pl1/ps/Reference-Manual.ps
-rw-r--r--	162351	root	root	/usr/share/doc/coq-8.2pl1/ps/Tutorial.ps