@name coq-7.3.1
@cwd /usr/local
@comment subdir=math/coq cdrom=yes ftp=yes
@libdepend ocaml-3.06:tcl83.1.3:tcl-*:tcl-8.3.5
@libdepend ocaml-3.06:tk83.1.3:tk-*:tk-8.3.5
@libdepend tk-8.3.5:tcl83.1.3:tcl-*:tcl-8.3.5
@newdepend coq-7.3.1:ocaml-3.06:ocaml-3.06
@comment $OpenBSD: PLIST,v 1.3 2002/12/18 09:40:07 sturm Exp $
bin/coq-interface
@comment MD5:c79722654856db52c5c48ca8eaf9dd02
bin/coq-tex
@comment MD5:4b5e68e828cd6080e0a0cb107e217451
bin/coq_makefile
@comment MD5:a9b2c0efcf1a2300be7d6132f089563d
bin/coq_vo2xml
@comment MD5:c161a236444c8308b60ffe861e206d25
bin/coqc
@comment MD5:403a65b6660596de08786fb5d3ba1643
bin/coqdep
@comment MD5:2daf86b8827366e8decc6633638695b6
bin/coqmktop
@comment MD5:7ed1a99eb7cf3be075306c2a7b5ffa64
bin/coqtop
@comment MD5:5ad2969c89ffb43e2c4ed5dc9182e7c3
bin/coqtop.byte
@comment MD5:5ad2969c89ffb43e2c4ed5dc9182e7c3
bin/gallina
@comment MD5:59d3be6a6b5bb309cfb42e40bb5937e3
bin/parser
@comment MD5:a8f18abc84f338dfc0b120f04f337777
lib/coq/contrib/correctness/ArrayPermut.vo
@comment MD5:f4e56f1c23d1466442e3a081b4db375a
lib/coq/contrib/correctness/Arrays.vo
@comment MD5:bf4d7ba466e9a8cf5bf44befd3a34b27
lib/coq/contrib/correctness/Correctness.vo
@comment MD5:18f586df1fb6aaff0c46e28e7395cc50
lib/coq/contrib/correctness/Exchange.vo
@comment MD5:5ff6ca02c8a37acda74cd9e22d287d1c
lib/coq/contrib/correctness/ProgBool.vo
@comment MD5:f0d89ba32153bd7a2e3b56a3d1112b99
lib/coq/contrib/correctness/ProgInt.vo
@comment MD5:5a9b7bb9003c422d4af38464cd9b99e0
lib/coq/contrib/correctness/ProgWf.vo
@comment MD5:bf990db0f378521c60f47718d55aa5b3
lib/coq/contrib/correctness/Sorted.vo
@comment MD5:e97bbc11b7f752aba03c1c9c26ec61ec
lib/coq/contrib/correctness/Tuples.vo
@comment MD5:b33f1f1249a0b7ac760ac42393d20f2c
lib/coq/contrib/extraction/Extraction.vo
@comment MD5:6aefde0f8765e01c9217632a8dc620f2
lib/coq/contrib/field/Field.vo
@comment MD5:d69c0725f631c3dd6b2eaa3411c414ba
lib/coq/contrib/field/Field_Compl.vo
@comment MD5:5cdb0361339769c169c67bea758c18d8
lib/coq/contrib/field/Field_Tactic.vo
@comment MD5:bd9cca93fa2074d84fae86cbf52ed7e0
lib/coq/contrib/field/Field_Theory.vo
@comment MD5:e5b3a1858d857ef562ec0b4fac72d10a
lib/coq/contrib/fourier/Fourier.vo
@comment MD5:a91a3276f863af500c97f8a61d1de0b8
lib/coq/contrib/fourier/Fourier_util.vo
@comment MD5:351183942d8fdd202e0ef63c9c00f0c3
lib/coq/contrib/interface/Centaur.vo
@comment MD5:95979b813b530e330ed7094299e982a7
lib/coq/contrib/interface/vernacrc
@comment MD5:bb4b3c28712f5e8cfb4c617dd9959e95
lib/coq/contrib/jprover/JProver.vo
@comment MD5:dc929028a6ce357968f4bd048052f0f1
lib/coq/contrib/omega/Omega.vo
@comment MD5:b291286596089c6abbbde1c369c84069
lib/coq/contrib/omega/OmegaSyntax.vo
@comment MD5:1b3e890db0b675e19a1e07b109b62be0
lib/coq/contrib/ring/ArithRing.vo
@comment MD5:8d9467c4cb9f85523a2bc4e31d81118c
lib/coq/contrib/ring/Quote.vo
@comment MD5:ff2807844c2bfe7b2e5c6d4ba4619a6d
lib/coq/contrib/ring/Ring.vo
@comment MD5:073857d9d5b205f40403ea953403fadd
lib/coq/contrib/ring/Ring_abstract.vo
@comment MD5:92221c7f97fc998e1a50d6532ffc9ebc
lib/coq/contrib/ring/Ring_normalize.vo
@comment MD5:fb48d543b48b8469b259a359b2c8c176
lib/coq/contrib/ring/Ring_theory.vo
@comment MD5:1cf9207f25fcfd2df489223da65623f8
lib/coq/contrib/ring/Setoid_ring.vo
@comment MD5:8cc5bc1aac10731647d5541252eebd72
lib/coq/contrib/ring/Setoid_ring_normalize.vo
@comment MD5:f3c7de82923073dbfdc63927c4a945a9
lib/coq/contrib/ring/Setoid_ring_theory.vo
@comment MD5:4c39dc5a81449dce7b08032ad26026bc
lib/coq/contrib/ring/ZArithRing.vo
@comment MD5:713e72b15dc0d1dbb2352f2c0ca215b0
lib/coq/contrib/romega/ROmega.vo
@comment MD5:03af04f254208f1fecf09c740fa58c23
lib/coq/contrib/romega/ReflOmegaCore.vo
@comment MD5:5c6ffbaf361b8364c078567cefadb221
lib/coq/contrib/xml/Xml.vo
@comment MD5:1d5d62c8c456802cb25b72ca0d47bd2f
lib/coq/states/barestate.coq
@comment MD5:85318bb78de42deebe4ff6de921d5379
lib/coq/states/initial.coq
@comment MD5:c813009cc316d406633b8acaa63f9f7c
lib/coq/tactics/AutoRewrite.vo
@comment MD5:757e15a841aeec832f5a8bd88cb59bc0
lib/coq/tactics/EAuto.vo
@comment MD5:9006e7d17c84051212a84e79a3d3f2ca
lib/coq/tactics/EqDecide.vo
@comment MD5:a8e24c3e3f58ebd94c43aba1899d8e6b
lib/coq/tactics/Equality.vo
@comment MD5:da3ad2daa957bc3d2cb656f9fdd4d864
lib/coq/tactics/Inv.vo
@comment MD5:ab18e05abf17a69c6eed2a1818559b4b
lib/coq/tactics/Refine.vo
@comment MD5:5d198d9a9b9eb03a85c2946e00ce467d
lib/coq/tactics/Setoid_replace.vo
@comment MD5:73c68c15b9a3ffa658bdcb8c10764530
lib/coq/tactics/Tauto.vo
@comment MD5:ccb7843c48da04f9429b4410a2698a8c
lib/coq/theories/Arith/Arith.vo
@comment MD5:0e29513f9a390b16be692a7a90995972
lib/coq/theories/Arith/Between.vo
@comment MD5:6aa3fcd4e9b0e0be09e2d07037f83acf
lib/coq/theories/Arith/Compare.vo
@comment MD5:411ced7166cc71eb11ac33b32e1ac626
lib/coq/theories/Arith/Compare_dec.vo
@comment MD5:8bcd142ff670c3f00585ded5f593e766
lib/coq/theories/Arith/Div2.vo
@comment MD5:8454f1caf03ddecd08a50e82ea6da769
lib/coq/theories/Arith/EqNat.vo
@comment MD5:46c5bf13de9f09fbcc1e3557bda3428d
lib/coq/theories/Arith/Euclid.vo
@comment MD5:d15c598c208ea078bf68a4d937c7679e
lib/coq/theories/Arith/Even.vo
@comment MD5:7e70dc3c92ee6de35b0fb2c0b0c7f765
lib/coq/theories/Arith/Gt.vo
@comment MD5:2d869fbc96df577444b4e7ccb14bae24
lib/coq/theories/Arith/Le.vo
@comment MD5:ca92972af1d5cd4354d228d4904c3277
lib/coq/theories/Arith/Lt.vo
@comment MD5:76c2e8226ee00727ee0cc1d8d954b702
lib/coq/theories/Arith/Max.vo
@comment MD5:930a2e148de454a93357af4e2a22f080
lib/coq/theories/Arith/Min.vo
@comment MD5:cecea55ca960ff7ebf4f30f8525a8825
lib/coq/theories/Arith/Minus.vo
@comment MD5:639d0328db8b37bd3d02caea7ad2f7b4
lib/coq/theories/Arith/Mult.vo
@comment MD5:fd97324b127dfcc4dffc0cb569e099e9
lib/coq/theories/Arith/Peano_dec.vo
@comment MD5:df0ebef8ab8b33f8cc96627701e8dc03
lib/coq/theories/Arith/Plus.vo
@comment MD5:91970b249c0a736a649ae138f9b0b60d
lib/coq/theories/Arith/Wf_nat.vo
@comment MD5:fc55db074a460da093c513da738c1663
lib/coq/theories/Bool/Bool.vo
@comment MD5:407f61a46fd58e77a2d90b7f9fddc264
lib/coq/theories/Bool/BoolEq.vo
@comment MD5:6b7c58dad594730ffe12189ac726d575
lib/coq/theories/Bool/DecBool.vo
@comment MD5:db9b1591b73359502fafe61e87b80eca
lib/coq/theories/Bool/IfProp.vo
@comment MD5:bdfab04ec68cc2719196c64a7f34cec9
lib/coq/theories/Bool/Sumbool.vo
@comment MD5:cbd12ea4d871d7c61a96154c85572bc4
lib/coq/theories/Bool/Zerob.vo
@comment MD5:c3d346c236588c05c6aa9bcd3c782c33
lib/coq/theories/Init/Datatypes.vo
@comment MD5:1b5c9f677748c1456c6685b0c3e9349b
lib/coq/theories/Init/DatatypesSyntax.vo
@comment MD5:e5eefb1d9aabacfd6d084f5253f3abd0
lib/coq/theories/Init/Logic.vo
@comment MD5:51683cd1fdddd586bd22ea060555509a
lib/coq/theories/Init/LogicSyntax.vo
@comment MD5:8ac071335a788551fd9868259dfbbe2d
lib/coq/theories/Init/Logic_Type.vo
@comment MD5:f62e0d0616641eb9a85a74acb003bfc4
lib/coq/theories/Init/Logic_TypeSyntax.vo
@comment MD5:bfe8061d19485fb9f53439d39d150b87
lib/coq/theories/Init/Peano.vo
@comment MD5:5d1e4ae7b046f963a244b146c0636d40
lib/coq/theories/Init/Prelude.vo
@comment MD5:7602faff754fe446150342027e02f224
lib/coq/theories/Init/Specif.vo
@comment MD5:f32116afaa9c90015b537da47d0ca5ec
lib/coq/theories/Init/SpecifSyntax.vo
@comment MD5:0a400723eefecf0b3a70393b486afc9b
lib/coq/theories/Init/Wf.vo
@comment MD5:1ab857ff08cfe09cc66a280317a5ff0a
lib/coq/theories/IntMap/Adalloc.vo
@comment MD5:4f95a5ae4b856e1e027f931d9bd1cfd2
lib/coq/theories/IntMap/Addec.vo
@comment MD5:fb607687d924e99f9bbe5c40c93fb94f
lib/coq/theories/IntMap/Addr.vo
@comment MD5:e668144c403150f3d181c2010c7777a2
lib/coq/theories/IntMap/Adist.vo
@comment MD5:75be61e275bd4c95db4edd2b3d5e806b
lib/coq/theories/IntMap/Allmaps.vo
@comment MD5:cbbec216ff2c9cf77d352e574dc16ab5
lib/coq/theories/IntMap/Fset.vo
@comment MD5:b2f3370522a61101b3ce472d5fe19d58
lib/coq/theories/IntMap/Lsort.vo
@comment MD5:ccee9cc576bc3076f17bfed4b12502b2
lib/coq/theories/IntMap/Map.vo
@comment MD5:a45285e0e0a6b1776e3dce0ee2f2c958
lib/coq/theories/IntMap/Mapaxioms.vo
@comment MD5:44b0a01afc327a16ff1fc2b81366081d
lib/coq/theories/IntMap/Mapc.vo
@comment MD5:953c70008b0b9367ea54624cfc8d1fd7
lib/coq/theories/IntMap/Mapcanon.vo
@comment MD5:afab2d18a6e60adea902bc2b4e2691e4
lib/coq/theories/IntMap/Mapcard.vo
@comment MD5:f4cee84aee4a7e6d1f79468bfd791d05
lib/coq/theories/IntMap/Mapfold.vo
@comment MD5:57cdbdf0763e8f652aa75f7754a4f112
lib/coq/theories/IntMap/Mapiter.vo
@comment MD5:75a0a88573e7170feb91ea5ba2638b7c
lib/coq/theories/IntMap/Maplists.vo
@comment MD5:ca5645a7deca6123971ce9c932b6491b
lib/coq/theories/IntMap/Mapsubset.vo
@comment MD5:e316e909a747283cb623dbe02bb6dca5
lib/coq/theories/Lists/List.vo
@comment MD5:a7b228b2064c8ae35720eb9563ed2d8f
lib/coq/theories/Lists/ListSet.vo
@comment MD5:fcce9ed94317d14838259cdaa8b6c3e9
lib/coq/theories/Lists/PolyList.vo
@comment MD5:d2c921c959e68675b421418e2914b3a3
lib/coq/theories/Lists/PolyListSyntax.vo
@comment MD5:803803e992a4c498567d570da9907f69
lib/coq/theories/Lists/Streams.vo
@comment MD5:197f7eb437cd676cd9183857383d4fa7
lib/coq/theories/Lists/TheoryList.vo
@comment MD5:1d79454c91cf21eeb77bc85f9813ad1b
lib/coq/theories/Logic/Berardi.vo
@comment MD5:bf3b81c77d8cb01dcc7e4e040aa39f08
lib/coq/theories/Logic/Classical.vo
@comment MD5:9a8c5f63e7ef6be9b651643a8ab13a4a
lib/coq/theories/Logic/Classical_Pred_Set.vo
@comment MD5:9c56048bcbe5406d603ddd3121d5d8af
lib/coq/theories/Logic/Classical_Pred_Type.vo
@comment MD5:a9ab3509193eb1f3221267de65ab6999
lib/coq/theories/Logic/Classical_Prop.vo
@comment MD5:f6690131a54528f810f56202a72f5e6b
lib/coq/theories/Logic/Classical_Type.vo
@comment MD5:806aca896b4bc70b90fbf6ff4220a9c3
lib/coq/theories/Logic/Decidable.vo
@comment MD5:381a9ea8bf15f71348a268cb9d1ee49d
lib/coq/theories/Logic/Eqdep.vo
@comment MD5:fef976012ccb1ade702087e43544b961
lib/coq/theories/Logic/Eqdep_dec.vo
@comment MD5:88991096963e7f455f483e4e74327e13
lib/coq/theories/Logic/JMeq.vo
@comment MD5:eeb0a90fd2eb966c63ec288dc42d63a0
lib/coq/theories/Reals/DiscrR.vo
@comment MD5:3757fefed2d572666377e03f76fe24d7
lib/coq/theories/Reals/R_Ifp.vo
@comment MD5:b32a4987d523888c2a4689eab64e031f
lib/coq/theories/Reals/R_sqr.vo
@comment MD5:40993154cb1326b7fad36e8f6263d451
lib/coq/theories/Reals/Ranalysis.vo
@comment MD5:7701915461fd907404622a0e0d236ac8
lib/coq/theories/Reals/Raxioms.vo
@comment MD5:9a0c2f3e9c883fd26a1afcc8c12933fe
lib/coq/theories/Reals/Rbase.vo
@comment MD5:27e38f6947ab6e608c4dadceba2f2d15
lib/coq/theories/Reals/Rbasic_fun.vo
@comment MD5:1ec7847f5c0d28b68374316c9a1c239a
lib/coq/theories/Reals/Rdefinitions.vo
@comment MD5:533c107bc02983047c2515e96bacd6d3
lib/coq/theories/Reals/Rderiv.vo
@comment MD5:c0cd4d61b824dae66db1f4b8f13fcae9
lib/coq/theories/Reals/Reals.vo
@comment MD5:22324a666ac87b70e6e25bf4f9ecdb31
lib/coq/theories/Reals/Rfunctions.vo
@comment MD5:a97f53bfc29caf99d79764140e8b93c0
lib/coq/theories/Reals/Rgeom.vo
@comment MD5:ea5134af60a2f4fade2394e575fa4f14
lib/coq/theories/Reals/Rlimit.vo
@comment MD5:82bf112b0b1615b7354ec66bbd0f4858
lib/coq/theories/Reals/Rseries.vo
@comment MD5:7e3783ecae43c3af81663d03a3b93291
lib/coq/theories/Reals/Rsigma.vo
@comment MD5:71282ca0cd1fb9f87b2dd29ae0a88467
lib/coq/theories/Reals/Rsyntax.vo
@comment MD5:b71dd01b10bf19d1f9dfd34d5e2d3c3d
lib/coq/theories/Reals/Rtrigo.vo
@comment MD5:db7d6ab5f327836499645f65d7dffb31
lib/coq/theories/Reals/Rtrigo_fun.vo
@comment MD5:67ac732c54404507ed38bf7dfb66b238
lib/coq/theories/Reals/SplitAbsolu.vo
@comment MD5:ec220985220887f4a484495c98d717b1
lib/coq/theories/Reals/SplitRmult.vo
@comment MD5:4d1932158ccb9e94ef547a5e12ba5886
lib/coq/theories/Reals/TypeSyntax.vo
@comment MD5:bfca3c0053f720b0a1bd2109ebdaaf2a
lib/coq/theories/Relations/Newman.vo
@comment MD5:4951ee6baac8b06e15459574f76b27ec
lib/coq/theories/Relations/Operators_Properties.vo
@comment MD5:158f0c948cc90e78de8c3387d9584a7a
lib/coq/theories/Relations/Relation_Definitions.vo
@comment MD5:f1d504d5fc50f4bc8ce7aae059e802b8
lib/coq/theories/Relations/Relation_Operators.vo
@comment MD5:e559d691f473d7dbed3dd9d2016f590e
lib/coq/theories/Relations/Relations.vo
@comment MD5:42bfc20b6d40c320ee54c439c8c09d85
lib/coq/theories/Relations/Rstar.vo
@comment MD5:596d03aa5e8edca103bb0fd2697b73e6
lib/coq/theories/Setoids/Setoid.vo
@comment MD5:cf32eb704a438bd92cc6e9f1851c631f
lib/coq/theories/Sets/Classical_sets.vo
@comment MD5:f880886911d3cd3c8d6866d01e6a2a83
lib/coq/theories/Sets/Constructive_sets.vo
@comment MD5:6bd41d9e1ec2e6977721ca35211995f3
lib/coq/theories/Sets/Cpo.vo
@comment MD5:9363faf5d83f639d8e3196da0ce0e70f
lib/coq/theories/Sets/Ensembles.vo
@comment MD5:fe9a11f875714af2b9f8b580cd56789e
lib/coq/theories/Sets/Finite_sets.vo
@comment MD5:ddf23d0683421d217d93036396c90d46
lib/coq/theories/Sets/Finite_sets_facts.vo
@comment MD5:bfc5d292a7f015ccf50293c34b9871f5
lib/coq/theories/Sets/Image.vo
@comment MD5:06ec72cf82eac0690a38b0b34861639b
lib/coq/theories/Sets/Infinite_sets.vo
@comment MD5:39f74e7cd54077cef7f9bce15d0c4cec
lib/coq/theories/Sets/Integers.vo
@comment MD5:c5d01d1f10fab5a3f615478f4b380839
lib/coq/theories/Sets/Multiset.vo
@comment MD5:fb8d5c7c4406ca920f2bd4e4e6dec5c3
lib/coq/theories/Sets/Partial_Order.vo
@comment MD5:273e41f00e856cb20de56cbf3b5bfc8a
lib/coq/theories/Sets/Permut.vo
@comment MD5:cc316d234567e737af0d698758e147e3
lib/coq/theories/Sets/Powerset.vo
@comment MD5:1105d326be0c3df393162c7863796f59
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@comment MD5:63e461274941fee8f89e19b4564b3a16
lib/coq/theories/Sets/Powerset_facts.vo
@comment MD5:6fe40f025d77ea06d7c3cc5e6fa666f9
lib/coq/theories/Sets/Relations_1.vo
@comment MD5:b8e878b159b298a5bf956f85352e9dc2
lib/coq/theories/Sets/Relations_1_facts.vo
@comment MD5:14fd71e4d12be48b76e6557dd14c0b42
lib/coq/theories/Sets/Relations_2.vo
@comment MD5:4213fa46c9c2edb22861d971aad5ed7a
lib/coq/theories/Sets/Relations_2_facts.vo
@comment MD5:9254ef2850cb7bd722c389170bd74a22
lib/coq/theories/Sets/Relations_3.vo
@comment MD5:d332b49b29c965a9a40e2ce1c003a79e
lib/coq/theories/Sets/Relations_3_facts.vo
@comment MD5:c4c487d7002dee35014f9eb6b58d0932
lib/coq/theories/Sets/Uniset.vo
@comment MD5:b1f405e6c3c449c466d262c2b08261a5
lib/coq/theories/Sorting/Heap.vo
@comment MD5:cf72e946d1741f729a37bcfc3b4b56e0
lib/coq/theories/Sorting/Permutation.vo
@comment MD5:3134e5114b64f327b2818416a0c0b076
lib/coq/theories/Sorting/Sorting.vo
@comment MD5:107df964e0851264a77cfbc5eef63df0
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@comment MD5:0074609f778b642cbdaec2b6f69f055f
lib/coq/theories/Wellfounded/Inclusion.vo
@comment MD5:252875953b504368a053fad7cfb42a6a
lib/coq/theories/Wellfounded/Inverse_Image.vo
@comment MD5:8a1352ff3bbce2d2ca3eca6171cfddf7
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@comment MD5:7bc79e82ddce5fce8e1b227f9e24a519
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@comment MD5:be141ea2f44f36ee62c8f5933d41f500
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@comment MD5:e352d54b59b71de079d3a29c0f9b6c4a
lib/coq/theories/Wellfounded/Union.vo
@comment MD5:88c6545b13666ed5f2fcb66d50b9e669
lib/coq/theories/Wellfounded/Well_Ordering.vo
@comment MD5:3424d061dfdbac708455299634c91654
lib/coq/theories/Wellfounded/Wellfounded.vo
@comment MD5:625076088a0d877a2212c3dd1128305e
lib/coq/theories/ZArith/Wf_Z.vo
@comment MD5:5500a826edc6fa957c710bb9bc181ec0
lib/coq/theories/ZArith/ZArith.vo
@comment MD5:5f40cc071ec27e470fef82f031629981
lib/coq/theories/ZArith/ZArith_dec.vo
@comment MD5:e2082f8382959c503eff136e8a09d252
lib/coq/theories/ZArith/Zcomplements.vo
@comment MD5:2fb86cc3d43855cb0769db765028dd68
lib/coq/theories/ZArith/Zdiv.vo
@comment MD5:b9cc3be4f2d2f2770b3651f7e8278136
lib/coq/theories/ZArith/Zhints.vo
@comment MD5:32507954ce7fbaef032c94233ce0c8f9
lib/coq/theories/ZArith/Zlogarithm.vo
@comment MD5:302eaf3127440d11f1854217944765b3
lib/coq/theories/ZArith/Zmisc.vo
@comment MD5:2ee58374e3f8d4880c69cfb0559207c9
lib/coq/theories/ZArith/Zpower.vo
@comment MD5:e84cfa62021fe71114f4d7af5cd54ebe
lib/coq/theories/ZArith/Zsyntax.vo
@comment MD5:7ba4fe507a24b2d9859284d64f98196b
lib/coq/theories/ZArith/auxiliary.vo
@comment MD5:26d2c4088c85c6dd29c83ede0d1cf9cb
lib/coq/theories/ZArith/fast_integer.vo
@comment MD5:c941d1e7332cb251b2a749ed60e73fd6
lib/coq/theories/ZArith/zarith_aux.vo
@comment MD5:a4c80a7b702b6910669bb2bada5f23d3
man/man1/coq-interface.1
@comment MD5:7a14a1c3cd57a0d8aaa6ad1647fe6f3c
man/man1/coq-tex.1
@comment MD5:032555631939012d7afc6d31026fae8a
man/man1/coq_makefile.1
@comment MD5:0b710e7b1c50edf84aec95ab061ef128
man/man1/coq_vo2xml.1
@comment MD5:e9bb64a46c82ba98ce7e588226d0f878
man/man1/coqc.1
@comment MD5:b699f1198d7d745c3812cbab457392b1
man/man1/coqdep.1
@comment MD5:bc9e35cf71289af11791cc5b90f8326c
man/man1/coqmktop.1
@comment MD5:66024d71bf5492ad9bee88a1229d20bb
man/man1/coqtop.1
@comment MD5:a590331f489f523d598ff249993a6848
man/man1/coqtop.byte.1
@comment MD5:a9f25d9a7e362685e433e5d6b793bcc7
man/man1/coqtop.opt.1
@comment MD5:b3edd39d8d6b047694811447af16344d
man/man1/gallina.1
@comment MD5:958d1464ed13e8c9ea60333a74d759e4
man/man1/parser.1
@comment MD5:beed4e043dfc7480fb22c23f8aad6c75
share/doc/coq/html/Changes.html
@comment MD5:fa6889dabdc877e3dcf555ce1538ce0d
share/doc/coq/html/cover.html
@comment MD5:026d780aadefdadefc37385fe39d6754
share/doc/coq/html/library/Coq.Arith.Arith.html
@comment MD5:41faab2961c2ae925382d63e766036b0
share/doc/coq/html/library/Coq.Arith.Between.html
@comment MD5:627734db1a868c9fcda0ff7d170d5426
share/doc/coq/html/library/Coq.Arith.Compare.html
@comment MD5:89d62ef2a051f7cd64e7c92c628961c8
share/doc/coq/html/library/Coq.Arith.Compare_dec.html
@comment MD5:99e7d88127490a96c5dd5ce3e6032146
share/doc/coq/html/library/Coq.Arith.Div.html
@comment MD5:51e09b2204659b4501c1cb29db68b5ee
share/doc/coq/html/library/Coq.Arith.Div2.html
@comment MD5:5f53143474770d62207320bf5e301818
share/doc/coq/html/library/Coq.Arith.EqNat.html
@comment MD5:b061a75d1edc9672a8c282515df7e0cd
share/doc/coq/html/library/Coq.Arith.Euclid.html
@comment MD5:83c6f32b73dc7fbfd5f8f19ab430f61e
share/doc/coq/html/library/Coq.Arith.Even.html
@comment MD5:8e18309b31ac56447eb3b8f66463b235
share/doc/coq/html/library/Coq.Arith.Gt.html
@comment MD5:c71c792ccd643095fe6a8813467505b3
share/doc/coq/html/library/Coq.Arith.Le.html
@comment MD5:80e0fe01f54bef0c90eba8cb6dd7aa7f
share/doc/coq/html/library/Coq.Arith.Lt.html
@comment MD5:b5e3e720a803272ed35dbb132836cae1
share/doc/coq/html/library/Coq.Arith.Max.html
@comment MD5:9641a6dc466bcdff24600fd2523b9a87
share/doc/coq/html/library/Coq.Arith.Min.html
@comment MD5:57b6f93bae32d55dd4b501500ba654e8
share/doc/coq/html/library/Coq.Arith.Minus.html
@comment MD5:b51a17ad784802f8ad60deee3a22a866
share/doc/coq/html/library/Coq.Arith.Mult.html
@comment MD5:3175abe2db2921952f6f58ead09c9557
share/doc/coq/html/library/Coq.Arith.Peano_dec.html
@comment MD5:d964eeac3dc042783cc71176f924d571
share/doc/coq/html/library/Coq.Arith.Plus.html
@comment MD5:c8b09d03eb3cf201183ddc4c04a513bc
share/doc/coq/html/library/Coq.Arith.Wf_nat.html
@comment MD5:cd1ebf88657ecbba0d843d55e93714a9
share/doc/coq/html/library/Coq.Bool.Bool.html
@comment MD5:93c36568a8a1a88e14b105bc13df4e6e
share/doc/coq/html/library/Coq.Bool.BoolEq.html
@comment MD5:48ea1da5471d65aa83498573ff41e6b8
share/doc/coq/html/library/Coq.Bool.DecBool.html
@comment MD5:e022381403cd88486472b3938bb3a22c
share/doc/coq/html/library/Coq.Bool.IfProp.html
@comment MD5:8d147434af89cc21e92b1c95f6e2225c
share/doc/coq/html/library/Coq.Bool.Sumbool.html
@comment MD5:b69e009952f1d38e4ed47f8d5f30775b
share/doc/coq/html/library/Coq.Bool.Zerob.html
@comment MD5:c94f3431d936524a1715da0366a0e324
share/doc/coq/html/library/Coq.Init.Datatypes.html
@comment MD5:22ed54e64244e7795e6881254485335a
share/doc/coq/html/library/Coq.Init.DatatypesSyntax.html
@comment MD5:d57e486e66026f1be6a27bd30281790c
share/doc/coq/html/library/Coq.Init.Logic.html
@comment MD5:952a6ce59fdb96e3a8087806d2476a09
share/doc/coq/html/library/Coq.Init.LogicSyntax.html
@comment MD5:965607da77e48329702aaf9d2af32bff
share/doc/coq/html/library/Coq.Init.Logic_Type.html
@comment MD5:1e05ebbe05aa7c206cc1a126d83006a8
share/doc/coq/html/library/Coq.Init.Logic_TypeSyntax.html
@comment MD5:8c7bb0f68820357e7df1b14598cc355c
share/doc/coq/html/library/Coq.Init.Peano.html
@comment MD5:9cb8ca34442965e9f4c53214ae2c8522
share/doc/coq/html/library/Coq.Init.Prelude.html
@comment MD5:447b1b79c6f23b8ceb95e9d3f5e5b911
share/doc/coq/html/library/Coq.Init.Specif.html
@comment MD5:ea7ea2b389ea840fe8e2c5df55874e2b
share/doc/coq/html/library/Coq.Init.SpecifSyntax.html
@comment MD5:e40be66f079d3919f6e4c0cc7eb647b8
share/doc/coq/html/library/Coq.Init.Wf.html
@comment MD5:2f14c0515ed8cc87dcb72cf38541cd7c
share/doc/coq/html/library/Coq.IntMap.Adalloc.html
@comment MD5:79959aae7fdb875a16e56782c4d98575
share/doc/coq/html/library/Coq.IntMap.Addec.html
@comment MD5:c5dd72c5972a262d978d3d0c749e8bda
share/doc/coq/html/library/Coq.IntMap.Addr.html
@comment MD5:56330fbd14d49e43a6842caa8cfd8e10
share/doc/coq/html/library/Coq.IntMap.Adist.html
@comment MD5:c479009dd97aeaba84c632d31abe92e2
share/doc/coq/html/library/Coq.IntMap.Allmaps.html
@comment MD5:2b5ef28416734a7048e9c22a818b5f2a
share/doc/coq/html/library/Coq.IntMap.Fset.html
@comment MD5:11826f157ca51d5dae40dcda2121844f
share/doc/coq/html/library/Coq.IntMap.Lsort.html
@comment MD5:e15eb6516122789c01f568326066de0b
share/doc/coq/html/library/Coq.IntMap.Map.html
@comment MD5:8cff3c02843d6eb168ff6214c1b59e59
share/doc/coq/html/library/Coq.IntMap.Mapaxioms.html
@comment MD5:3021a3052e0f5e9bf1b5c1f89c8dd736
share/doc/coq/html/library/Coq.IntMap.Mapc.html
@comment MD5:c79ef610b84471521c9b32e465acffe1
share/doc/coq/html/library/Coq.IntMap.Mapcanon.html
@comment MD5:a5600278c55eb4e0396044929c64cff9
share/doc/coq/html/library/Coq.IntMap.Mapcard.html
@comment MD5:82f862cf165bfe758ee64563ebc402fe
share/doc/coq/html/library/Coq.IntMap.Mapfold.html
@comment MD5:a8a27ee1907792099785d6a210a5e9be
share/doc/coq/html/library/Coq.IntMap.Mapiter.html
@comment MD5:17f63d3a6fab5b05e849a2139ce6eef5
share/doc/coq/html/library/Coq.IntMap.Maplists.html
@comment MD5:2bd1db0fd3a3154a4c048ee8e4771aac
share/doc/coq/html/library/Coq.IntMap.Mapsubset.html
@comment MD5:d15c734c4cde3b36eb62ac69d1423498
share/doc/coq/html/library/Coq.Lists.List.html
@comment MD5:ca04a9f989e0eee1f639b8dbffe00eb3
share/doc/coq/html/library/Coq.Lists.ListSet.html
@comment MD5:17076f9992ff5a1b865d427dd0e9214e
share/doc/coq/html/library/Coq.Lists.PolyList.html
@comment MD5:078061d7b9b4e1c465847e5719ad1273
share/doc/coq/html/library/Coq.Lists.PolyListSyntax.html
@comment MD5:98c224f3ff07f19245711ce33ea4549a
share/doc/coq/html/library/Coq.Lists.Streams.html
@comment MD5:2c07a5e759a6615323560976f6d2a977
share/doc/coq/html/library/Coq.Lists.TheoryList.html
@comment MD5:06cf034bbed5d3fb6b61fbbf79ac6a47
share/doc/coq/html/library/Coq.Logic.Berardi.html
@comment MD5:834b1467caf458363be71be4c25d2279
share/doc/coq/html/library/Coq.Logic.Classical.html
@comment MD5:ea8a52aa7686af7cc18c605843386ab4
share/doc/coq/html/library/Coq.Logic.Classical_Pred_Set.html
@comment MD5:e62c2f105377b3f7272f6e8bc43f0dfb
share/doc/coq/html/library/Coq.Logic.Classical_Pred_Type.html
@comment MD5:e3c6936e824d654caa675f7d8b78cf8c
share/doc/coq/html/library/Coq.Logic.Classical_Prop.html
@comment MD5:9c8c2a4c73a1a68630a0a1c1564c2011
share/doc/coq/html/library/Coq.Logic.Classical_Type.html
@comment MD5:c69753d29f2999835e0cea7e76b89c8c
share/doc/coq/html/library/Coq.Logic.Decidable.html
@comment MD5:2dedc644a1d1e9506c5278df6a373049
share/doc/coq/html/library/Coq.Logic.Elimdep.html
@comment MD5:bcdaa4cee081ff4f32d29440fadbf888
share/doc/coq/html/library/Coq.Logic.Eqdep.html
@comment MD5:cbf3b1a8fe65adb1c8ff19ff021ed387
share/doc/coq/html/library/Coq.Logic.Eqdep_dec.html
@comment MD5:e90524fd3656b4d941751260de3e3e30
share/doc/coq/html/library/Coq.Logic.JMeq.html
@comment MD5:aa42d70298a6e19541d0899524fbf81c
share/doc/coq/html/library/Coq.Num.AddProps.html
@comment MD5:28c6b91c3e18797612b5971114dd0777
share/doc/coq/html/library/Coq.Num.Axioms.html
@comment MD5:353c87c15bd954f892ee8b8abd7ab3a2
share/doc/coq/html/library/Coq.Num.Definitions.html
@comment MD5:2bd69af339638500ce79c2128f1fdf69
share/doc/coq/html/library/Coq.Num.DiscrAxioms.html
@comment MD5:dd540dc0b81874a85893ec62423f1e42
share/doc/coq/html/library/Coq.Num.DiscrProps.html
@comment MD5:1d8ff1e7821a0270b52295a60bf57174
share/doc/coq/html/library/Coq.Num.EqAxioms.html
@comment MD5:082826bd41f694660cb3d420f6c90059
share/doc/coq/html/library/Coq.Num.EqParams.html
@comment MD5:71f2484e793c6dc529c151ef47f05cb2
share/doc/coq/html/library/Coq.Num.GeAxioms.html
@comment MD5:da5f8372165b8a4eefe44141b447be83
share/doc/coq/html/library/Coq.Num.GeProps.html
@comment MD5:08829cd46052863fd06625473e922541
share/doc/coq/html/library/Coq.Num.GtAxioms.html
@comment MD5:8793423f02887f05de6adf99e1d9b2b7
share/doc/coq/html/library/Coq.Num.GtProps.html
@comment MD5:33c2ce3890f5c942eedf9935c31f0ac7
share/doc/coq/html/library/Coq.Num.LeAxioms.html
@comment MD5:0623339a62923d1673b2f0e7abbae0e8
share/doc/coq/html/library/Coq.Num.LeProps.html
@comment MD5:c4a3136e0536f36f40ee29c8179c45fc
share/doc/coq/html/library/Coq.Num.LtProps.html
@comment MD5:990444d4545b4eb6f370f1d9711fd52d
share/doc/coq/html/library/Coq.Num.NSyntax.html
@comment MD5:6109cf6f8c7a96249dc06ff070c9290e
share/doc/coq/html/library/Coq.Num.NeqAxioms.html
@comment MD5:bf342c1a51cf4b2bfc2eac66b9accd77
share/doc/coq/html/library/Coq.Num.NeqDef.html
@comment MD5:87c0fe6fef060a9d857e921fdf4c43bf
share/doc/coq/html/library/Coq.Num.NeqParams.html
@comment MD5:43a427ba24fb0ef2ec3cb1b59bcc8ce1
share/doc/coq/html/library/Coq.Num.NeqProps.html
@comment MD5:845e8ffdb5d21357275a0d42333ace97
share/doc/coq/html/library/Coq.Num.OppAxioms.html
@comment MD5:8f81cf6aee9aaa3c795dd6e9497ee830
share/doc/coq/html/library/Coq.Num.OppProps.html
@comment MD5:8e9461e42ba07b726ba088d38b25aa96
share/doc/coq/html/library/Coq.Num.Params.html
@comment MD5:2a0cfd87617f79f561db2d38c3d6d0a6
share/doc/coq/html/library/Coq.Num.SubProps.html
@comment MD5:1faa487acfb67c133ae280d52970ca7a
share/doc/coq/html/library/Coq.Reals.DiscrR.html
@comment MD5:42030602da551bc76fb070e21c930137
share/doc/coq/html/library/Coq.Reals.R_Ifp.html
@comment MD5:42b37fbab00eecc2ee31efa9f34503fa
share/doc/coq/html/library/Coq.Reals.R_sqr.html
@comment MD5:9ef70dd5d874ca1877cfeda2d9783712
share/doc/coq/html/library/Coq.Reals.Ranalysis.html
@comment MD5:eeea0cf035847a02dd1bff1c49aba0b6
share/doc/coq/html/library/Coq.Reals.Raxioms.html
@comment MD5:615effe3ddf7e684806b2053ae7b611f
share/doc/coq/html/library/Coq.Reals.Rbase.html
@comment MD5:ee38e001d20a98c25274548c9171cba3
share/doc/coq/html/library/Coq.Reals.Rbasic_fun.html
@comment MD5:296c99e2571d77a47fb518953a72f129
share/doc/coq/html/library/Coq.Reals.Rdefinitions.html
@comment MD5:42256ad5f50068c10b47ef4de33092f5
share/doc/coq/html/library/Coq.Reals.Rderiv.html
@comment MD5:1a6df4e1f109f22817367fcffb401258
share/doc/coq/html/library/Coq.Reals.Reals.html
@comment MD5:1aae1ed14236d1ab35c1ab80b9a708b8
share/doc/coq/html/library/Coq.Reals.Rfunctions.html
@comment MD5:0660c36d70e6e1d4e7854637deb217d9
share/doc/coq/html/library/Coq.Reals.Rgeom.html
@comment MD5:527e8a4815f6476e6b14d6ce1429ce74
share/doc/coq/html/library/Coq.Reals.Rlimit.html
@comment MD5:bb83983874ac19c0462d2a89588673aa
share/doc/coq/html/library/Coq.Reals.Rseries.html
@comment MD5:eb1eb3f253660b5d7ba67a2059f48581
share/doc/coq/html/library/Coq.Reals.Rsigma.html
@comment MD5:47ac12524431a602fd26a5d0d931528b
share/doc/coq/html/library/Coq.Reals.Rsyntax.html
@comment MD5:92b28fc709850bfb50e43f17e905fe45
share/doc/coq/html/library/Coq.Reals.Rtrigo.html
@comment MD5:f44dc8a98ee3170cd1ceaa4cdfe6a6f0
share/doc/coq/html/library/Coq.Reals.Rtrigo_fun.html
@comment MD5:c2e9639ee3b66dedf7fae61fd0de49a3
share/doc/coq/html/library/Coq.Reals.SplitAbsolu.html
@comment MD5:811486c57d6ed5b08e2afb9f892a0410
share/doc/coq/html/library/Coq.Reals.SplitRmult.html
@comment MD5:bb8fc5a56179d7e56407ef7462b8c53b
share/doc/coq/html/library/Coq.Reals.TypeSyntax.html
@comment MD5:b1e771e3f77eb08c47b9bbaea485efa4
share/doc/coq/html/library/Coq.Relations.Newman.html
@comment MD5:a1205d15bf70de2f89c7809cdaf65f27
share/doc/coq/html/library/Coq.Relations.Operators_Properties.html
@comment MD5:4c3a913974f5cd27a8559b1fa876fbe4
share/doc/coq/html/library/Coq.Relations.Relation_Definitions.html
@comment MD5:14cca767c20fa3f941f45b0fa21105c0
share/doc/coq/html/library/Coq.Relations.Relation_Operators.html
@comment MD5:9cd89cc3845ee146324e47b746c6a2ad
share/doc/coq/html/library/Coq.Relations.Relations.html
@comment MD5:e50f8173980c4c1f4d69ab8d7d5ac654
share/doc/coq/html/library/Coq.Relations.Rstar.html
@comment MD5:8fc458f0cb23920a0401dee09292b0d6
share/doc/coq/html/library/Coq.Setoids.Setoid.html
@comment MD5:cc184df32bbe56546b72264f894bbca9
share/doc/coq/html/library/Coq.Sets.Classical_sets.html
@comment MD5:e5475755c37b2ba4dd062c726a868ae4
share/doc/coq/html/library/Coq.Sets.Constructive_sets.html
@comment MD5:0e5e296bee938962b6b422baeaca76a3
share/doc/coq/html/library/Coq.Sets.Cpo.html
@comment MD5:96859dcdffa8e82f0fec205c8223777c
share/doc/coq/html/library/Coq.Sets.Ensembles.html
@comment MD5:ba7af431662887256b47459ef599ef41
share/doc/coq/html/library/Coq.Sets.Finite_sets.html
@comment MD5:ff2d3e619a285eec2b7155f221bbebbf
share/doc/coq/html/library/Coq.Sets.Finite_sets_facts.html
@comment MD5:79605ef921cb366d1c1934b4e4a74270
share/doc/coq/html/library/Coq.Sets.Image.html
@comment MD5:4f9679519370d21331803a93b9414d2a
share/doc/coq/html/library/Coq.Sets.Infinite_sets.html
@comment MD5:07d060a96d15be8a86f0c486dcd0e387
share/doc/coq/html/library/Coq.Sets.Integers.html
@comment MD5:ca24610ab71792f41f75587d1143ee92
share/doc/coq/html/library/Coq.Sets.Multiset.html
@comment MD5:be21f64c7511524159f65c6cbe143c48
share/doc/coq/html/library/Coq.Sets.Partial_Order.html
@comment MD5:b489527aa6910e3c054a27b118d0b804
share/doc/coq/html/library/Coq.Sets.Permut.html
@comment MD5:065a4bc2bd763a66ab93e01df3f4c319
share/doc/coq/html/library/Coq.Sets.Powerset.html
@comment MD5:181148e429d62c62641dffde6c9d8bb8
share/doc/coq/html/library/Coq.Sets.Powerset_Classical_facts.html
@comment MD5:ac60085bf33b65fc9ab71fabeed06254
share/doc/coq/html/library/Coq.Sets.Powerset_facts.html
@comment MD5:0b95ba3c909a485b4d015a81918ce35f
share/doc/coq/html/library/Coq.Sets.Relations_1.html
@comment MD5:9bd448b9332cd94c100459a2870126ed
share/doc/coq/html/library/Coq.Sets.Relations_1_facts.html
@comment MD5:f5c60d220528151fde56cfe95bd505e2
share/doc/coq/html/library/Coq.Sets.Relations_2.html
@comment MD5:7e63815fa482e50e3259c3e75bd18e21
share/doc/coq/html/library/Coq.Sets.Relations_2_facts.html
@comment MD5:4e4cafd6da2efef747448cee9d8bb5ca
share/doc/coq/html/library/Coq.Sets.Relations_3.html
@comment MD5:1157bf8ba5c6f9c0a1cf6c457a55ba47
share/doc/coq/html/library/Coq.Sets.Relations_3_facts.html
@comment MD5:58cd2731e81e83d997d2ebb9b46dd956
share/doc/coq/html/library/Coq.Sets.Uniset.html
@comment MD5:8a0c8c3d34b8611041eae2dcfdc90a45
share/doc/coq/html/library/Coq.Sorting.Heap.html
@comment MD5:3a8e70c4a3dd133f75ccbb4d1e1b557e
share/doc/coq/html/library/Coq.Sorting.Permutation.html
@comment MD5:27305c339c8acc9c50a047e6f0711248
share/doc/coq/html/library/Coq.Sorting.Sorting.html
@comment MD5:fb347c6064cfd29e80cfd4ca44870688
share/doc/coq/html/library/Coq.Wellfounded.Disjoint_Union.html
@comment MD5:de4639b8b67be08143a1b0126aaa28e2
share/doc/coq/html/library/Coq.Wellfounded.Inclusion.html
@comment MD5:5fe2efc8146829817a80a3dd0154c754
share/doc/coq/html/library/Coq.Wellfounded.Inverse_Image.html
@comment MD5:a4895cead1bc6f448da64372770a3881
share/doc/coq/html/library/Coq.Wellfounded.Lexicographic_Exponentiation.html
@comment MD5:f8ec0fedf3024a1f2ccca1f1411570f0
share/doc/coq/html/library/Coq.Wellfounded.Lexicographic_Product.html
@comment MD5:7a6ec3e6cad4a6cf38375ca69f09b327
share/doc/coq/html/library/Coq.Wellfounded.Transitive_Closure.html
@comment MD5:c002affc0eeb295e48d98f0b5d50ad02
share/doc/coq/html/library/Coq.Wellfounded.Union.html
@comment MD5:b828429fb19367044e2df43b9fb1bb3b
share/doc/coq/html/library/Coq.Wellfounded.Well_Ordering.html
@comment MD5:52f1455ce949629f5768c03bcb4740d1
share/doc/coq/html/library/Coq.Wellfounded.Wellfounded.html
@comment MD5:db2bfc30b23200a81417e1eebf335c89
share/doc/coq/html/library/Coq.ZArith.Wf_Z.html
@comment MD5:e3d0319da321160ad5cef0b7d472691c
share/doc/coq/html/library/Coq.ZArith.ZArith.html
@comment MD5:107ae512a381d728f9de5189efde74ae
share/doc/coq/html/library/Coq.ZArith.ZArith_dec.html
@comment MD5:785c6037c23ab708d074ad126e785df5
share/doc/coq/html/library/Coq.ZArith.Zcomplements.html
@comment MD5:5b75bc9bef96c6491f2ce1b71f083ccc
share/doc/coq/html/library/Coq.ZArith.Zhints.html
@comment MD5:9e6967095970f5f87f412debaf15dad1
share/doc/coq/html/library/Coq.ZArith.Zlogarithm.html
@comment MD5:2f7d4d28e68a830ece6aa11fd403489e
share/doc/coq/html/library/Coq.ZArith.Zmisc.html
@comment MD5:e69e3d21eda820eca84a9a48b4d9eccb
share/doc/coq/html/library/Coq.ZArith.Zpower.html
@comment MD5:5f884de5e164873185acefb6794588e4
share/doc/coq/html/library/Coq.ZArith.Zsyntax.html
@comment MD5:9f4585dd402dafd975e785d8549036c0
share/doc/coq/html/library/Coq.ZArith.auxiliary.html
@comment MD5:b619969e2f521e91764cd0507177964a
share/doc/coq/html/library/Coq.ZArith.fast_integer.html
@comment MD5:abc2b5772bf69618767d4619c9caad8f
share/doc/coq/html/library/Coq.ZArith.zarith_aux.html
@comment MD5:19728d2b88ba9d0f56f77f984f674adb
share/doc/coq/html/library/index.html
@comment MD5:17ce6c96f6e9e540a677e9886e3af89c
share/doc/coq/html/library/index_axiom_A.html
@comment MD5:0ba7c35d9005e2251fa02e8dc7d0ec6d
share/doc/coq/html/library/index_axiom_B.html
@comment MD5:e256898845cd8a6b0df4ee9ebd2f4ab8
share/doc/coq/html/library/index_axiom_C.html
@comment MD5:edd2f63f00cf9771d5615463ce59eb12
share/doc/coq/html/library/index_axiom_D.html
@comment MD5:f90964568d5b16109606da2d77dc365e
share/doc/coq/html/library/index_axiom_E.html
@comment MD5:2c3ce79c27416ccb2ed7178e241e5549
share/doc/coq/html/library/index_axiom_F.html
@comment MD5:48e354b8c4d18cd626b67dd8eaa92720
share/doc/coq/html/library/index_axiom_G.html
@comment MD5:9656648c99e6225a6beafe43630237fa
share/doc/coq/html/library/index_axiom_H.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_I.html
@comment MD5:e4db10d6269a4777128b98dd1e98b979
share/doc/coq/html/library/index_axiom_J.html
@comment MD5:651c389acccda4e4f9cd5e455d5e067d
share/doc/coq/html/library/index_axiom_K.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_L.html
@comment MD5:6587332c8396e468c97e37d741e9a399
share/doc/coq/html/library/index_axiom_M.html
@comment MD5:cfe12409f923b278dcb5aefd90ca0348
share/doc/coq/html/library/index_axiom_N.html
@comment MD5:2e6ef68d43c7ad129d36082e35411405
share/doc/coq/html/library/index_axiom_O.html
@comment MD5:0978273be47064a1a4c8bb9ab1c3a636
share/doc/coq/html/library/index_axiom_P.html
@comment MD5:1c6d5cb7bcb036147b2595364e30610a
share/doc/coq/html/library/index_axiom_Q.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_R.html
@comment MD5:b3e8a20303111ef96f21eb4ce7f4292a
share/doc/coq/html/library/index_axiom_S.html
@comment MD5:1a8c52e8dd16d31b875c968e1ebe86ea
share/doc/coq/html/library/index_axiom_T.html
@comment MD5:ffccebc528b3208db186cc2cc8fc6eaf
share/doc/coq/html/library/index_axiom_U.html
@comment MD5:7996dd472ad4b7815829867f6b44b060
share/doc/coq/html/library/index_axiom_V.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_W.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_X.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_Y.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_axiom_Z.html
@comment MD5:29d0d056b8a2e29fe1f0e91bfc5a4695
share/doc/coq/html/library/index_axiom__.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_constructor_A.html
@comment MD5:3c0159ee5386b89b1f3a740828a06df5
share/doc/coq/html/library/index_constructor_B.html
@comment MD5:1f767f02594622ee7961c2236eba4a24
share/doc/coq/html/library/index_constructor_C.html
@comment MD5:c0bb24acd637201ba2835d0418a42edc
share/doc/coq/html/library/index_constructor_D.html
@comment MD5:240a3b914b6df0e5d07b8b5cade45ec1
share/doc/coq/html/library/index_constructor_E.html
@comment MD5:f56c3db1e4c5195c8c01e808c195f4dd
share/doc/coq/html/library/index_constructor_F.html
@comment MD5:7178ca289e9a129e904b449eeda6b97f
share/doc/coq/html/library/index_constructor_G.html
@comment MD5:09d98aeaf79b82d57a05cbd8c232776b
share/doc/coq/html/library/index_constructor_H.html
@comment MD5:8eff33db2cd5d0ddc9e3f856d3d49b73
share/doc/coq/html/library/index_constructor_I.html
@comment MD5:1a87a959165154a36783575ea6e64007
share/doc/coq/html/library/index_constructor_J.html
@comment MD5:acd2b22223d3630b2d6a5a66730a4124
share/doc/coq/html/library/index_constructor_K.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_constructor_L.html
@comment MD5:1ca1b472b2518f27df62e99757371cf5
share/doc/coq/html/library/index_constructor_M.html
@comment MD5:ab1714b41e9436a9cc10146aeeedac3e
share/doc/coq/html/library/index_constructor_N.html
@comment MD5:6fade3b749665c82750244f8ecb22762
share/doc/coq/html/library/index_constructor_O.html
@comment MD5:709f9c022bba2319f26a61eb144b2669
share/doc/coq/html/library/index_constructor_P.html
@comment MD5:811fa4e1ce3e310a4b4820e798f853e2
share/doc/coq/html/library/index_constructor_Q.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_constructor_R.html
@comment MD5:73cfa1c7c27d66f1d89eaf88570826e7
share/doc/coq/html/library/index_constructor_S.html
@comment MD5:e663be3f5df7ab29e680a61aa379702a
share/doc/coq/html/library/index_constructor_T.html
@comment MD5:b4936c56a93ebbb87ccb577af35f776e
share/doc/coq/html/library/index_constructor_U.html
@comment MD5:b4732b99b446a6f2cfb56f5d32f783e8
share/doc/coq/html/library/index_constructor_V.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_constructor_W.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_constructor_X.html
@comment MD5:86f4bdb00f11a27c6edfbbae68797ee1
share/doc/coq/html/library/index_constructor_Y.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_constructor_Z.html
@comment MD5:428f8a4847b7584f62ed8daaa158d27f
share/doc/coq/html/library/index_constructor__.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_definition_A.html
@comment MD5:7abebc2980abd0a27e371fb6470db377
share/doc/coq/html/library/index_definition_B.html
@comment MD5:c7b48233bf828502ccdd3d622a850a19
share/doc/coq/html/library/index_definition_C.html
@comment MD5:dd12d3372daba19f252e4f64d9ccbdfd
share/doc/coq/html/library/index_definition_D.html
@comment MD5:a13251891c83817d515b9d80d190d79b
share/doc/coq/html/library/index_definition_E.html
@comment MD5:7d3da106a28e6d120a65e31687340514
share/doc/coq/html/library/index_definition_F.html
@comment MD5:7a8fbc21f473dd7b61fc93eaa2f8edfd
share/doc/coq/html/library/index_definition_G.html
@comment MD5:4439399c52fe731968eb982ff20aecad
share/doc/coq/html/library/index_definition_H.html
@comment MD5:da673dd2b19320fd429d1e6d03838ad7
share/doc/coq/html/library/index_definition_I.html
@comment MD5:c6cfb5bb4789acbf89ad77eb53cca4b4
share/doc/coq/html/library/index_definition_J.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_definition_K.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_definition_L.html
@comment MD5:7fad95a21bebea94cbc60b4b28584668
share/doc/coq/html/library/index_definition_M.html
@comment MD5:01e3db1894fbe1254b24513d87a3657d
share/doc/coq/html/library/index_definition_N.html
@comment MD5:60d6b710fdb50cadfad7211c1bc7cb75
share/doc/coq/html/library/index_definition_O.html
@comment MD5:c4b0251a02388f76d9e56f826c6abc80
share/doc/coq/html/library/index_definition_P.html
@comment MD5:f8b19b5ffb577a09ec06ebbb3aec54e3
share/doc/coq/html/library/index_definition_Q.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_definition_R.html
@comment MD5:4ac00096f7b18fc57d4b9fc3936fdf92
share/doc/coq/html/library/index_definition_S.html
@comment MD5:8565269088d0dcb7ec9584636893a17d
share/doc/coq/html/library/index_definition_T.html
@comment MD5:858bc70b1694ea5b72499ab6d6eaab97
share/doc/coq/html/library/index_definition_U.html
@comment MD5:5ddff4e1e980b0fd8b0bbf7ab9fcef5b
share/doc/coq/html/library/index_definition_V.html
@comment MD5:f56bf329c8837f6139b6c8095a3f1ce5
share/doc/coq/html/library/index_definition_W.html
@comment MD5:bafcdab277fca8a9af1a2a43c37cca9b
share/doc/coq/html/library/index_definition_X.html
@comment MD5:c9fe6dc0d427b7c2b87423cfeb757025
share/doc/coq/html/library/index_definition_Y.html
@comment MD5:c22eef773d97d1524fcd99eb3d422fd7
share/doc/coq/html/library/index_definition_Z.html
@comment MD5:b9f774d02bacde8da2b5632401cd5805
share/doc/coq/html/library/index_definition__.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_global_A.html
@comment MD5:396d188c324cb5cb49b813da8674abc6
share/doc/coq/html/library/index_global_B.html
@comment MD5:c4dfc62ab9106833630c8e6621573fa9
share/doc/coq/html/library/index_global_C.html
@comment MD5:5854ddb52083fee05b6d879474116ff7
share/doc/coq/html/library/index_global_D.html
@comment MD5:51ec788e0e363aafd9e1a4a99e3c5cce
share/doc/coq/html/library/index_global_E.html
@comment MD5:553b72636e33f2dbd0e11dbb8b37318e
share/doc/coq/html/library/index_global_F.html
@comment MD5:cf2469e17ee163334a69c2d86fb6bcd2
share/doc/coq/html/library/index_global_G.html
@comment MD5:90cd2a168cd12a9bf5a351cf8dadb047
share/doc/coq/html/library/index_global_H.html
@comment MD5:8815f679abd2a3c19d584ab91782ad7e
share/doc/coq/html/library/index_global_I.html
@comment MD5:bdddb3f91e0f551a4960b8faf25bfead
share/doc/coq/html/library/index_global_J.html
@comment MD5:612fd3d687bc11056b924795631607ab
share/doc/coq/html/library/index_global_K.html
@comment MD5:4cc8bdadc21602003c36bc267285914c
share/doc/coq/html/library/index_global_L.html
@comment MD5:76e056941b1718d82609711d863a47c9
share/doc/coq/html/library/index_global_M.html
@comment MD5:f3759ffd5537df78352903d888640b25
share/doc/coq/html/library/index_global_N.html
@comment MD5:6340df46b9ee4de2dbc29fab4a003da4
share/doc/coq/html/library/index_global_O.html
@comment MD5:dd4e2b63764f928c07c1226dcdf88f8d
share/doc/coq/html/library/index_global_P.html
@comment MD5:90c6c269362cd1dac13b351c148b6fc9
share/doc/coq/html/library/index_global_Q.html
@comment MD5:d661c5c9dc1ddc445dda771c85f4fdc2
share/doc/coq/html/library/index_global_R.html
@comment MD5:1542f1b31bdcfc8cb07ec643241946bd
share/doc/coq/html/library/index_global_S.html
@comment MD5:862fc6bd60c135cdcddf91789d697656
share/doc/coq/html/library/index_global_T.html
@comment MD5:934b72136ca7cde7ab1ecae9d4c56762
share/doc/coq/html/library/index_global_U.html
@comment MD5:d77d90c13db7a42173e8e3ac01aa41d7
share/doc/coq/html/library/index_global_V.html
@comment MD5:b85368cc7643794a8935c054a49b6701
share/doc/coq/html/library/index_global_W.html
@comment MD5:07fc6d9255268fe0dbf86238fd8c1f2e
share/doc/coq/html/library/index_global_X.html
@comment MD5:2fc2ac29d6e58e38266d65f13c44d2fe
share/doc/coq/html/library/index_global_Y.html
@comment MD5:272afa1f651859fce8eec44f1c9f481d
share/doc/coq/html/library/index_global_Z.html
@comment MD5:4806cae0404be92e7e4f51ba25bf4981
share/doc/coq/html/library/index_global__.html
@comment MD5:249f3913851b672ce6bb344da15e7a72
share/doc/coq/html/library/index_inductive_A.html
@comment MD5:085a07dec926f8dd12d1dbd7103bc82e
share/doc/coq/html/library/index_inductive_B.html
@comment MD5:59ec444fa6b7b088bfd3b4fd74c1f6a1
share/doc/coq/html/library/index_inductive_C.html
@comment MD5:c6927074dcc944fc759d1fe3ffa70f75
share/doc/coq/html/library/index_inductive_D.html
@comment MD5:ab0e3a3cebb1c2017b1f39f7b4be94b7
share/doc/coq/html/library/index_inductive_E.html
@comment MD5:d75d02c089d1d7123db7f413457c4fb8
share/doc/coq/html/library/index_inductive_F.html
@comment MD5:3d1ac49ce3bd1d007565c0d8f1bdb107
share/doc/coq/html/library/index_inductive_G.html
@comment MD5:d37954b845f214da54d64ddb3db47bc7
share/doc/coq/html/library/index_inductive_H.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_inductive_I.html
@comment MD5:cc477ec36e54d27fffcedafa8a7e4235
share/doc/coq/html/library/index_inductive_J.html
@comment MD5:632ece888ba60f2e88a197e3c941d05c
share/doc/coq/html/library/index_inductive_K.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_inductive_L.html
@comment MD5:2f6fb49b9b981255977b21fdc837e8a3
share/doc/coq/html/library/index_inductive_M.html
@comment MD5:3e1d4a431093058e01ead2a9ecfd4381
share/doc/coq/html/library/index_inductive_N.html
@comment MD5:a488f701aba34b50eab9fdbbeefb6bda
share/doc/coq/html/library/index_inductive_O.html
@comment MD5:241a049ac0ba74739309e77799471d6d
share/doc/coq/html/library/index_inductive_P.html
@comment MD5:0ce264beb6d3b7921d72da4472ac804f
share/doc/coq/html/library/index_inductive_Q.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_inductive_R.html
@comment MD5:07c7ea50f3166b92bdbdad09e0b4b5b5
share/doc/coq/html/library/index_inductive_S.html
@comment MD5:dfd5ca74ef6028af07cedc538d32cc11
share/doc/coq/html/library/index_inductive_T.html
@comment MD5:31acfae7a9a28143a3a019f8b1dae9a3
share/doc/coq/html/library/index_inductive_U.html
@comment MD5:b8034cec22eda53ab05ea5db7baa482b
share/doc/coq/html/library/index_inductive_V.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_inductive_W.html
@comment MD5:ad4e72c711ceb5d137cfe2c3b179600c
share/doc/coq/html/library/index_inductive_X.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_inductive_Y.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_inductive_Z.html
@comment MD5:0049260f551787a438c28742168bdc48
share/doc/coq/html/library/index_inductive__.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_lemma_A.html
@comment MD5:119f4a67cbd8e4462de4976f7692f177
share/doc/coq/html/library/index_lemma_B.html
@comment MD5:e9640002f62a474b63489cc628b60047
share/doc/coq/html/library/index_lemma_C.html
@comment MD5:214a0378a08762cff65483d1e0a25a59
share/doc/coq/html/library/index_lemma_D.html
@comment MD5:701fd89c884dba2c510911c91919b937
share/doc/coq/html/library/index_lemma_E.html
@comment MD5:24ab7fda42073afbee49d0e7fbb7c880
share/doc/coq/html/library/index_lemma_F.html
@comment MD5:f3935c496684b0979221aa275b78a92c
share/doc/coq/html/library/index_lemma_G.html
@comment MD5:afac5e8be9673211b8c42a1e32b2ed25
share/doc/coq/html/library/index_lemma_H.html
@comment MD5:acee668e61ffdd1c732dabf88da1c25c
share/doc/coq/html/library/index_lemma_I.html
@comment MD5:26d4b684a3bf30fcbcee4dd05821129b
share/doc/coq/html/library/index_lemma_J.html
@comment MD5:3167649e103e432f44bbf91cff3b7206
share/doc/coq/html/library/index_lemma_K.html
@comment MD5:97c3957226c50785d289478725652663
share/doc/coq/html/library/index_lemma_L.html
@comment MD5:d8c1f1cd24f4b5857d47849a94920377
share/doc/coq/html/library/index_lemma_M.html
@comment MD5:61dd3b07fe0d8de0aca113626d4719bd
share/doc/coq/html/library/index_lemma_N.html
@comment MD5:2987bd20821adb190fceca04c7a841f3
share/doc/coq/html/library/index_lemma_O.html
@comment MD5:f4d62eedd102c6d9960f8b0fe2dfa1f7
share/doc/coq/html/library/index_lemma_P.html
@comment MD5:8e314009216f6470591109ed8f486ad5
share/doc/coq/html/library/index_lemma_Q.html
@comment MD5:6ec6ec1dd3b1bf10dfc4f3ffb1877572
share/doc/coq/html/library/index_lemma_R.html
@comment MD5:b08d75246d860444f3395f02b5541353
share/doc/coq/html/library/index_lemma_S.html
@comment MD5:442b16244c045199994f5453ff1a612b
share/doc/coq/html/library/index_lemma_T.html
@comment MD5:6566890e048d8502a95adc5d3ab9f221
share/doc/coq/html/library/index_lemma_U.html
@comment MD5:a6dbcf341e8a6da56ca3f0a938066eac
share/doc/coq/html/library/index_lemma_V.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_lemma_W.html
@comment MD5:8dce6e5bc088cde609a6335a70f4c07b
share/doc/coq/html/library/index_lemma_X.html
@comment MD5:e1afac936e05c7233b858997499ef4e1
share/doc/coq/html/library/index_lemma_Y.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_lemma_Z.html
@comment MD5:5002f44dc90dda3b555004f5ad52a4cc
share/doc/coq/html/library/index_lemma__.html
@comment MD5:03bc6104febc89ddc43c0c4d36f2ab51
share/doc/coq/html/library/index_module_A.html
@comment MD5:91f387686aba47c0417d476a37479651
share/doc/coq/html/library/index_module_B.html
@comment MD5:85ce23a1eae0e2a91c038d2b32b9fbec
share/doc/coq/html/library/index_module_C.html
@comment MD5:200ddbd47409a9240be48629afacefe0
share/doc/coq/html/library/index_module_D.html
@comment MD5:cb492a673947bbb0370bc192d1edbd77
share/doc/coq/html/library/index_module_E.html
@comment MD5:cc824be856215e5964c8ca5fd163763e
share/doc/coq/html/library/index_module_F.html
@comment MD5:6428d003375b5879dbfc9594b396d764
share/doc/coq/html/library/index_module_G.html
@comment MD5:be7b9ca8c0851125242d44fc45f3158a
share/doc/coq/html/library/index_module_H.html
@comment MD5:340983b5be737a0e7b139e822124f8c5
share/doc/coq/html/library/index_module_I.html
@comment MD5:87354a704ec49db1b4854f4d18c17143
share/doc/coq/html/library/index_module_J.html
@comment MD5:444286bb81131f0ba358c206d92b63c1
share/doc/coq/html/library/index_module_K.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_module_L.html
@comment MD5:7ce8f3106c4af1d17976593326d05b65
share/doc/coq/html/library/index_module_M.html
@comment MD5:b5820bccac8984444f2f2d4d831347fd
share/doc/coq/html/library/index_module_N.html
@comment MD5:7d6e68a7283377ad4db805e6f70759c6
share/doc/coq/html/library/index_module_O.html
@comment MD5:99045cc2267479ecf918ea7bdb6a532c
share/doc/coq/html/library/index_module_P.html
@comment MD5:29af9432e811506304594051574821fb
share/doc/coq/html/library/index_module_Q.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_module_R.html
@comment MD5:9aa36a01f09935496db5775e55a54aa4
share/doc/coq/html/library/index_module_S.html
@comment MD5:e6e49b55c17db754ae955387bdc8b6a0
share/doc/coq/html/library/index_module_T.html
@comment MD5:1d24d20f6413cb8457197c62fdba263e
share/doc/coq/html/library/index_module_U.html
@comment MD5:f28ba7e3e8192542a7467e975cdde13a
share/doc/coq/html/library/index_module_V.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_module_W.html
@comment MD5:31476511340b3042b355bc926ffc3d72
share/doc/coq/html/library/index_module_X.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_module_Y.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_module_Z.html
@comment MD5:e9d7d218cafef210a74b008a6ee40f44
share/doc/coq/html/library/index_module__.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_A.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_B.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_C.html
@comment MD5:b1e80416e4a2c02914d8b68d53fa9f0d
share/doc/coq/html/library/index_tactic_D.html
@comment MD5:1fa63340235cd469f2b50c1bfcd5135a
share/doc/coq/html/library/index_tactic_E.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_F.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_G.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_H.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_I.html
@comment MD5:b3919f2c54ebf41a80c14fde41a831ed
share/doc/coq/html/library/index_tactic_J.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_K.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_L.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_M.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_N.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_O.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_P.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_Q.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_R.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_S.html
@comment MD5:275b7d7560122b93f66e5170318f3d44
share/doc/coq/html/library/index_tactic_T.html
@comment MD5:ef6224228dd17d1a76442d4395ab1dbc
share/doc/coq/html/library/index_tactic_U.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_V.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_W.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_X.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_Y.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic_Z.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/index_tactic__.html
@comment MD5:d67e13115140327bfaecbb1340a55f40
share/doc/coq/html/library/style.css
@comment MD5:d935ad9e0e455111f06a0b35b2c289e1
share/doc/coq/html/main-0.html
@comment MD5:4da92333a8bdfc08fb522d8360cc4c32
share/doc/coq/html/main.html
@comment MD5:f141b92fa434058d6185470881159ab7
share/doc/coq/html/next.gif
@comment MD5:331009e59e2b69d8e80da25dd121caa7
share/doc/coq/html/node.0.0.0.html
@comment MD5:607ac5f8d5b6b69157ef9deaf4dbbd56
share/doc/coq/html/node.0.0.1.html
@comment MD5:8c8287c86ccdb5da3b37b67ecceeadb4
share/doc/coq/html/node.0.0.2.html
@comment MD5:4a05dcaf458d7e083d5c8cf691b94aff
share/doc/coq/html/node.0.0.html
@comment MD5:5fd1378b997730d11a5ec2cf40baf0b5
share/doc/coq/html/node.0.1.0.html
@comment MD5:ed569d1ab9b661503b3f983d377376e7
share/doc/coq/html/node.0.1.1.html
@comment MD5:729435e53cd261e5d4aa427608ce8cdc
share/doc/coq/html/node.0.1.2.html
@comment MD5:12a133dd048ec3018766ebff515d996b
share/doc/coq/html/node.0.1.3.html
@comment MD5:6b9609d027045c563a207a50a2f642d6
share/doc/coq/html/node.0.1.4.html
@comment MD5:a7b83a7cd7616f247720b1e714c25c29
share/doc/coq/html/node.0.1.5.html
@comment MD5:8ba8e137031145677d072b579f0f22ea
share/doc/coq/html/node.0.1.6.html
@comment MD5:a11e1efd0c1d75875e2ff58718ecbfa9
share/doc/coq/html/node.0.1.7.html
@comment MD5:a1f02ddc5b67a25d917a4fac121afe18
share/doc/coq/html/node.0.1.html
@comment MD5:7c48fd7eefc01af20b6004e8e074fbc9
share/doc/coq/html/node.0.2.0.html
@comment MD5:aed93ca324a49a1b5b22deafc6e253e4
share/doc/coq/html/node.0.2.1.html
@comment MD5:fb24950d2b590e25e7c71e2b16488137
share/doc/coq/html/node.0.2.2.html
@comment MD5:e5de2ae27972d085d3c4869e95db62c4
share/doc/coq/html/node.0.2.html
@comment MD5:acfdbe8d0216a61c221f7f8a0995097f
share/doc/coq/html/node.0.3.0.html
@comment MD5:0f3351ab90ea79a36782b326e5990fbc
share/doc/coq/html/node.0.3.1.html
@comment MD5:63dd6ec30f16fe425fda856d117ab036
share/doc/coq/html/node.0.3.2.html
@comment MD5:bdedff34a3061c3eeebb829d398147a3
share/doc/coq/html/node.0.3.3.html
@comment MD5:92b033ba3dc1c31a04f2caa655274479
share/doc/coq/html/node.0.3.4.html
@comment MD5:92567feb77b6e353a996c229c3f4f987
share/doc/coq/html/node.0.3.5.html
@comment MD5:af11186ed686870583835dd3975fbec9
share/doc/coq/html/node.0.3.html
@comment MD5:bb3c84acefdccc276ea88b7e81cf89bd
share/doc/coq/html/node.0.html
@comment MD5:d21c0eb407d3f4742e77b750b6e38e02
share/doc/coq/html/node.1.0.0.html
@comment MD5:eab247b43283b40bd649350200648833
share/doc/coq/html/node.1.0.1.html
@comment MD5:f17d682837f947022a98076e5532a6ac
share/doc/coq/html/node.1.0.2.html
@comment MD5:56b01a7459f8a3e356c1be2f01ae0fa8
share/doc/coq/html/node.1.0.3.html
@comment MD5:3d5a09ae11de413e8ab38a7aa1008b2f
share/doc/coq/html/node.1.0.4.html
@comment MD5:f0ec054fdd5fa1a1a463fba3d34c1cd8
share/doc/coq/html/node.1.0.5.html
@comment MD5:6111d152b704a5474d7208177e3eea35
share/doc/coq/html/node.1.0.6.html
@comment MD5:4cc91489b4f351e56baad7cf064fe570
share/doc/coq/html/node.1.0.7.html
@comment MD5:80f92aac8b2f6314b05e9821798d9521
share/doc/coq/html/node.1.0.html
@comment MD5:e89c1925dc086ab3f0b4799788dce2bd
share/doc/coq/html/node.1.1.0.html
@comment MD5:f48ea1827f985c38acf4b58be999cdc5
share/doc/coq/html/node.1.1.1.html
@comment MD5:ef2be96d9e63664273ce3d478cdee397
share/doc/coq/html/node.1.1.2.html
@comment MD5:92125430e06280171b7b855e15a4952a
share/doc/coq/html/node.1.1.html
@comment MD5:4bcc10525a32bb44b085ec7eae6ecdab
share/doc/coq/html/node.1.2.0.html
@comment MD5:b4019d1ea33292fa269d041257d7acf7
share/doc/coq/html/node.1.2.1.html
@comment MD5:71c761b097e4610644a10f75d4a1f962
share/doc/coq/html/node.1.2.10.html
@comment MD5:b7723789042b934e8b0a93188391c4be
share/doc/coq/html/node.1.2.11.html
@comment MD5:5d663f9ee204a0a7da3d37f95ff08bfb
share/doc/coq/html/node.1.2.12.html
@comment MD5:43155396f83f10815d36b901a5c55009
share/doc/coq/html/node.1.2.13.html
@comment MD5:8d3ce7a88c7acb8ac17ac31ac268a717
share/doc/coq/html/node.1.2.14.html
@comment MD5:7310444197d872dbebaff134b4458efd
share/doc/coq/html/node.1.2.2.html
@comment MD5:8607cefc1e16e231920f47877645f255
share/doc/coq/html/node.1.2.3.html
@comment MD5:0915f7b7fb4a7f364d84d862991c8914
share/doc/coq/html/node.1.2.4.html
@comment MD5:1e9b392e94784d0f56f8aa205f7dc361
share/doc/coq/html/node.1.2.5.html
@comment MD5:21132d60de9a5a1cd261aaf7f99e3889
share/doc/coq/html/node.1.2.6.html
@comment MD5:4237b8c4ac7e05fd7f62f7cb7d651a93
share/doc/coq/html/node.1.2.7.html
@comment MD5:ac9e51ccf0629558651ee1309fb2f826
share/doc/coq/html/node.1.2.8.html
@comment MD5:bbfd53c5ec9043605c23588598b47c64
share/doc/coq/html/node.1.2.9.html
@comment MD5:b29a94955c4eab4579ed906414c5d582
share/doc/coq/html/node.1.2.html
@comment MD5:537887db5dbbc782f36cec9c55f35c77
share/doc/coq/html/node.1.3.0.html
@comment MD5:c7a50eafe7b4b8e3373993a78c87e28d
share/doc/coq/html/node.1.3.1.html
@comment MD5:9fba8f7fe041efd8ce8a5890cb7bd780
share/doc/coq/html/node.1.3.2.html
@comment MD5:76fa243ce862cf3e4c834c024cfa0e46
share/doc/coq/html/node.1.3.3.html
@comment MD5:a42e3f59c417144746434e66997b6786
share/doc/coq/html/node.1.3.4.html
@comment MD5:0be636c0325f120afbeaec91f99603cf
share/doc/coq/html/node.1.3.5.html
@comment MD5:1a903c292d75b9a0a93efacc190abc3c
share/doc/coq/html/node.1.3.html
@comment MD5:6c05ad0101621433120cbf93fee62447
share/doc/coq/html/node.1.html
@comment MD5:937f05c8ff4092965d8697d229beb6aa
share/doc/coq/html/node.2.0.0.html
@comment MD5:d02789b03c83929d6ad65e05ad5d1bdd
share/doc/coq/html/node.2.0.1.html
@comment MD5:4134891085fd87210a45be631743ef2e
share/doc/coq/html/node.2.0.2.html
@comment MD5:9444b5f323ca01008936186d01153788
share/doc/coq/html/node.2.0.html
@comment MD5:38f74f1978be5f3a28fe4732f7d61770
share/doc/coq/html/node.2.1.0.html
@comment MD5:a14ce6ba05e648a5dc9e094c3e9ba0f6
share/doc/coq/html/node.2.1.1.html
@comment MD5:dbcaa93cc0e8f907f916fa75720f4372
share/doc/coq/html/node.2.1.2.html
@comment MD5:0cebd47b4bc986071107e79288a1ab13
share/doc/coq/html/node.2.1.html
@comment MD5:a2a261a07dccd74526307561785dfeee
share/doc/coq/html/node.2.html
@comment MD5:541622e3420dc3b3a76e76e3a66fa7a5
share/doc/coq/html/node.3.0.0.html
@comment MD5:4b0ddf5387bbabbdc1ca32012e99a330
share/doc/coq/html/node.3.0.1.html
@comment MD5:e4cbff744472a78ec53ae2b0d5e2e546
share/doc/coq/html/node.3.0.2.html
@comment MD5:64433fc16c51fa36418aa931152b3b7a
share/doc/coq/html/node.3.0.3.html
@comment MD5:ad210b39bb231b4707b3aeb3bb5499b6
share/doc/coq/html/node.3.0.4.html
@comment MD5:77da3d766527fc1b9ecb491204f1e497
share/doc/coq/html/node.3.0.html
@comment MD5:c02125d24fc23df3183e435bdc42292d
share/doc/coq/html/node.3.1.0.html
@comment MD5:b1176b8a5f4aaf0396cac5a799c74eac
share/doc/coq/html/node.3.1.1.html
@comment MD5:1b550dd3e3b34339afaeba11fd20a78e
share/doc/coq/html/node.3.1.2.html
@comment MD5:bcb2d47ec0f76aa462c09f1de9b3aea2
share/doc/coq/html/node.3.1.3.html
@comment MD5:bda8a361b41bfd55d391ec8b1ece4b4a
share/doc/coq/html/node.3.1.4.html
@comment MD5:a23dd132e1ab80a73ccc96d6e52b172f
share/doc/coq/html/node.3.1.5.html
@comment MD5:8aab571ffb3c7cb8b66633ad9fb50ccd
share/doc/coq/html/node.3.1.6.html
@comment MD5:7626611d2553d9d92f213b81c48e473f
share/doc/coq/html/node.3.1.7.html
@comment MD5:c005b2ff4b261144e092fe29ebce9087
share/doc/coq/html/node.3.1.8.html
@comment MD5:19d15f21bbff8814230a795f4ef59d50
share/doc/coq/html/node.3.1.html
@comment MD5:d9e2f43d048da5e32fdb1935948f7bd3
share/doc/coq/html/node.3.2.0.html
@comment MD5:423df6ff890cdbb907e5905e772856ec
share/doc/coq/html/node.3.2.1.html
@comment MD5:a59a6a802d0b19d9cd7d810d5affc7eb
share/doc/coq/html/node.3.2.2.html
@comment MD5:d91678fef6de658315052dfb5ab47bb0
share/doc/coq/html/node.3.2.3.html
@comment MD5:172e7fbce1fb06e8c2021abcdf82f39a
share/doc/coq/html/node.3.2.4.html
@comment MD5:dc6199899e23be828786a712155cdba5
share/doc/coq/html/node.3.2.5.html
@comment MD5:058620885170bdc9a4c71289fcd4ab0b
share/doc/coq/html/node.3.2.6.html
@comment MD5:2ec89bff32594eabfa94761ba8204e22
share/doc/coq/html/node.3.2.html
@comment MD5:c31547fc4d45f5a588f39a3d8ff9de6b
share/doc/coq/html/node.3.3.0.html
@comment MD5:d6215a9b8beaeebd86672a12f8b4662f
share/doc/coq/html/node.3.3.1.html
@comment MD5:3e44b82139b4945ce361a844fe9155ad
share/doc/coq/html/node.3.3.10.html
@comment MD5:3edb608eac7f2989133372f44f4212f8
share/doc/coq/html/node.3.3.2.html
@comment MD5:18d79e04bad2e310d93192a72dca733e
share/doc/coq/html/node.3.3.3.html
@comment MD5:87ce7ab136167a578a6ec512dac14d15
share/doc/coq/html/node.3.3.4.html
@comment MD5:289fb14330006c0fcbbca83a155856e0
share/doc/coq/html/node.3.3.5.html
@comment MD5:de4fc600bab4115d5deedd50bd59b440
share/doc/coq/html/node.3.3.6.html
@comment MD5:f1f27f5bfe0074815baec37a9f3502a5
share/doc/coq/html/node.3.3.7.html
@comment MD5:02824f81e54787e4d71d8ba7a4b97fc9
share/doc/coq/html/node.3.3.8.html
@comment MD5:6c6fa56ba892c3abf96636addf08bcbc
share/doc/coq/html/node.3.3.9.html
@comment MD5:7cdd806d743302f0522d7b3eb57bc073
share/doc/coq/html/node.3.3.html
@comment MD5:104c5b920e88ff88e9a113d15c3cb220
share/doc/coq/html/node.3.4.0.html
@comment MD5:85219af86521549883a929ad872daf41
share/doc/coq/html/node.3.4.1.html
@comment MD5:ebbc6059dbaeb91563b3ad7da88332b4
share/doc/coq/html/node.3.4.2.html
@comment MD5:f3f915bba9f11256c32af86b14bdec2e
share/doc/coq/html/node.3.4.3.html
@comment MD5:dd492838b302939f2c98c392c694373c
share/doc/coq/html/node.3.4.html
@comment MD5:6aacb3a90dd58628cf190c6cbbc98197
share/doc/coq/html/node.3.5.0.html
@comment MD5:8d9286b144bce508570c4357e19558c4
share/doc/coq/html/node.3.5.1.html
@comment MD5:1964e68a5ac822761545740df5b7e5ae
share/doc/coq/html/node.3.5.2.html
@comment MD5:fc8dea3beb6835253285afdf827b11c2
share/doc/coq/html/node.3.5.3.html
@comment MD5:251206026791ecc323660125ccd29759
share/doc/coq/html/node.3.5.4.html
@comment MD5:a9dca9461b243bf7a6177565cb24dc14
share/doc/coq/html/node.3.5.5.html
@comment MD5:55d17d2e96262ca7df71cdbd8fdeedeb
share/doc/coq/html/node.3.5.6.html
@comment MD5:375804d3f934c1f03a64bd3cc2fe268a
share/doc/coq/html/node.3.5.html
@comment MD5:1db00afd9b4b59d2f6c4e337c4690044
share/doc/coq/html/node.3.6.0.html
@comment MD5:a3e11e3f5cf4c3480a628bbad8dd41e2
share/doc/coq/html/node.3.6.1.html
@comment MD5:0be133a3e206e56a9f2d0e94c9aba7b9
share/doc/coq/html/node.3.6.2.html
@comment MD5:60a4b1d8ffbb9ea6b88610fce226540b
share/doc/coq/html/node.3.6.3.html
@comment MD5:971f4bc8c0eb72a04baca9b1b99d31e4
share/doc/coq/html/node.3.6.html
@comment MD5:b208896018df938526b73259dda69aea
share/doc/coq/html/node.3.7.0.html
@comment MD5:5f1d6ef971c7bcfcb23d83244e494106
share/doc/coq/html/node.3.7.1.html
@comment MD5:161921b4fecc61be995b890b1562ec53
share/doc/coq/html/node.3.7.2.html
@comment MD5:46002e50a4386ece9e922d1095f62d64
share/doc/coq/html/node.3.7.3.html
@comment MD5:1827ea97ed69990c1b6e3121141d9240
share/doc/coq/html/node.3.7.4.html
@comment MD5:1637ed7f2a64de9a4b52d8c6f0b52318
share/doc/coq/html/node.3.7.5.html
@comment MD5:8cd57896d8a594dfc3b3767146b7d63e
share/doc/coq/html/node.3.7.6.html
@comment MD5:ca130ae40707dd7f8207b163a3b68d0d
share/doc/coq/html/node.3.7.7.html
@comment MD5:76dfff9393b4981080a3de3b78752140
share/doc/coq/html/node.3.7.html
@comment MD5:6be7e49f69c87fd7540cc2aa67498206
share/doc/coq/html/node.3.8.0.html
@comment MD5:0fe817a41b75a5d65f67018fd98c8987
share/doc/coq/html/node.3.8.1.html
@comment MD5:27c3f675d6576e23253b8d64aed769fa
share/doc/coq/html/node.3.8.2.html
@comment MD5:b31cedb24e06a93a19ed19f6828e51d4
share/doc/coq/html/node.3.8.3.html
@comment MD5:37d61b1be6a583b89ab36c7c7c261a88
share/doc/coq/html/node.3.8.html
@comment MD5:92632eb1d9619fbef78a197b65f4377f
share/doc/coq/html/node.3.html
@comment MD5:f9421804bce2b7d53af86b87d9bd9a15
share/doc/coq/html/node.4.html
@comment MD5:c4bf46d6253c205aa69567cf3afc19f0
share/doc/coq/html/node.5.html
@comment MD5:8959983403ae1c7f9d92cc6c93edf1ac
share/doc/coq/html/node.6.html
@comment MD5:ecbd778a642ee635636dac8a13dd403f
share/doc/coq/html/node.7.html
@comment MD5:b9fb5a4f2bfddb22604d914f668ffbe7
share/doc/coq/html/node.8.html
@comment MD5:9d78ca9f8d2a45edcf731451bdbf2ba3
share/doc/coq/html/node.x.0.0.html
@comment MD5:45c3e01b47209525dbf933e03ee5c492
share/doc/coq/html/node.x.0.1.html
@comment MD5:fb8a0531ca92b3f7cd061a6c24576a2c
share/doc/coq/html/node.x.0.html
@comment MD5:bad08c01252659dae2e029789f5008e3
share/doc/coq/html/node.x.1.0.html
@comment MD5:5079f74afc397718a8ae01d1624d7166
share/doc/coq/html/node.x.1.1.html
@comment MD5:9c4996b3a0dae6bf43a64e32a0d9a83b
share/doc/coq/html/node.x.1.2.html
@comment MD5:bd3b432c44a48913e14c00407b0cfd35
share/doc/coq/html/node.x.1.3.html
@comment MD5:25eb55fab3a5630eabfc91f1396b6337
share/doc/coq/html/node.x.1.html
@comment MD5:df91666fddc63da755a536e3e58d64ca
share/doc/coq/html/prev.gif
@comment MD5:cc7b7832ab3b52a5695451ff075b1e36
share/doc/coq/html/root.gif
@comment MD5:6eda5a0fa21f1ced86952f2f6d32ce3f
share/doc/coq/html/sub.gif
@comment MD5:8e2d2b49d9cd657d9ff526890ea06af6
share/doc/coq/html/toc.html
@comment MD5:5db33f5b59a77f0a5ad6c856fc2b5a5f
share/doc/coq/html/tutorial.html
@comment MD5:ed4411342c6fa9f4ff1321771cf7abca
share/doc/coq/ps/RecTutorial.v.ps
@comment MD5:b0e3f68fa326e64cac569f9b0da098a1
share/doc/coq/ps/Reference-Manual-all.ps.gz
@comment MD5:eb979cd0bdb66956e9e1aa565841c6c2
share/emacs/site-lisp/coq-inferior.el
@comment MD5:6760f9d7587e5a9606458acd0d2789ca
share/emacs/site-lisp/coq.el
@comment MD5:4c5493a16889e2b0f361f0a7ac971476
@dirrm share/emacs/site-lisp
@dirrm share/emacs
@dirrm share/doc/coq/ps
@dirrm share/doc/coq/html/library
@dirrm share/doc/coq/html
@dirrm share/doc/coq
@dirrm lib/coq/theories/ZArith
@dirrm lib/coq/theories/Wellfounded
@dirrm lib/coq/theories/Sorting
@dirrm lib/coq/theories/Sets
@dirrm lib/coq/theories/Setoids
@dirrm lib/coq/theories/Relations
@dirrm lib/coq/theories/Reals
@dirrm lib/coq/theories/Logic
@dirrm lib/coq/theories/Lists
@dirrm lib/coq/theories/IntMap
@dirrm lib/coq/theories/Init
@dirrm lib/coq/theories/Bool
@dirrm lib/coq/theories/Arith
@dirrm lib/coq/theories
@dirrm lib/coq/tactics
@dirrm lib/coq/states
@dirrm lib/coq/contrib/xml
@dirrm lib/coq/contrib/romega
@dirrm lib/coq/contrib/ring
@dirrm lib/coq/contrib/omega
@dirrm lib/coq/contrib/jprover
@dirrm lib/coq/contrib/interface
@dirrm lib/coq/contrib/fourier
@dirrm lib/coq/contrib/field
@dirrm lib/coq/contrib/extraction
@dirrm lib/coq/contrib/correctness
@dirrm lib/coq/contrib
@dirrm lib/coq
@cwd .
@ignore
+COMMENT
@ignore
+DESC
