@name coq-7.3.1p0
@comment subdir=math/coq cdrom=yes ftp=yes
@arch i386
@cwd /usr/local
@comment $OpenBSD: PLIST,v 1.3 2002/12/18 09:40:07 sturm Exp $
@comment $OpenBSD: PFRAG.native,v 1.1 2002/12/18 09:41:07 sturm Exp $
bin/coqtop.opt
@md5 375bb48afa5e2e13e09fb83d5733288f
@size 3299384
bin/coq-interface
@md5 e56c0f4e3c69570c212b6659c3b75577
@size 3923653
bin/coq-tex
@md5 d2f3997e4ba3115b956c1cf088af1107
@size 233194
bin/coq_makefile
@md5 fd6e26a246da838583e5dea0c4bad7cc
@size 205387
bin/coq_vo2xml
@md5 413aed41b1818936c39d4fb6dbf71cc7
@size 252758
bin/coqc
@md5 1a06e9b22932ab6e4b99298d12a8fae9
@size 251868
bin/coqdep
@md5 69fe93beb5e5a8a3dbc17bf6cb8993b9
@size 286765
bin/coqmktop
@md5 b94fba75129a6797c92bd805417b7229
@size 286839
bin/coqtop
bin/coqtop.byte
@md5 dc243d7734ad55164088f45c2f3a93f7
@size 3597583
bin/gallina
@md5 58613b0cf2e292a7d48b65d400ab9435
@size 197203
bin/parser
@md5 99f78b4bd4cc7379998d6a1e8a8ea16b
@size 1426459
lib/coq/contrib/correctness/ArrayPermut.vo
@md5 b89a7b8aa5f073b097206a852bdbd0b6
@size 71593
lib/coq/contrib/correctness/Arrays.vo
@md5 dff6f669aba18d8371c2ad0385dcf507
@size 6354
lib/coq/contrib/correctness/Correctness.vo
@md5 2c72096a395b782b788dd3a25164380f
@size 2653
lib/coq/contrib/correctness/Exchange.vo
@md5 226951a85914506c7d639836e1875d93
@size 13915
lib/coq/contrib/correctness/ProgBool.vo
@md5 7180d7504c7e0f627abdbb391747faa3
@size 9887
lib/coq/contrib/correctness/ProgInt.vo
@md5 007f506ee056bdf3121ff1490db1fe75
@size 2710
lib/coq/contrib/correctness/ProgWf.vo
@md5 911a1be94bbf95f8e8b0daad05d92407
@size 5074
lib/coq/contrib/correctness/Sorted.vo
@md5 4d399decc3dae72633a8cd6694cdc119
@size 286568
lib/coq/contrib/correctness/Tuples.vo
@md5 49fc112dda567d0f914f93bf84646dee
@size 25621
lib/coq/contrib/extraction/Extraction.vo
@md5 6aefde0f8765e01c9217632a8dc620f2
@size 2030
lib/coq/contrib/field/Field.vo
@md5 93df5e009c12c8a4fe0e973b87ffa70f
@size 2631
lib/coq/contrib/field/Field_Compl.vo
@md5 abef04dcd46349f0fbb75544aaa0528a
@size 5666
lib/coq/contrib/field/Field_Tactic.vo
@md5 85d5419ca2d7e2d38cab857163401762
@size 46614
lib/coq/contrib/field/Field_Theory.vo
@md5 c042a492c14d48c4e6e4b24eab4d8c54
@size 173065
lib/coq/contrib/fourier/Fourier.vo
@md5 784e61e2e46ecb219c7533756f3a54e5
@size 3852
lib/coq/contrib/fourier/Fourier_util.vo
@md5 376c6a48ea5d1c6a2d53c724273b244c
@size 19865
lib/coq/contrib/interface/Centaur.vo
@md5 8f6e301ec84e15a10a74de6c72357e39
@size 4218
lib/coq/contrib/interface/vernacrc
@md5 bb4b3c28712f5e8cfb4c617dd9959e95
@size 434
lib/coq/contrib/jprover/JProver.vo
@md5 8ded617928dfaf90ab09810898e09227
@size 1306
lib/coq/contrib/omega/Omega.vo
@md5 b37f5d9d369d461289a948801fd53f66
@size 4272
lib/coq/contrib/omega/OmegaSyntax.vo
@md5 ce513b026374764991930b7262da1832
@size 1997
lib/coq/contrib/ring/ArithRing.vo
@md5 91380c57da450dd2b07e9485970acf1e
@size 7562
lib/coq/contrib/ring/Quote.vo
@md5 6510ff66e8701a6c05d3038a7ecabe85
@size 7167
lib/coq/contrib/ring/Ring.vo
@md5 696829a4027021d0bbc6c7911ecfb078
@size 8707
lib/coq/contrib/ring/Ring_abstract.vo
@md5 3e56aa66296ee7c69d35fe575f7d9d7c
@size 122831
lib/coq/contrib/ring/Ring_normalize.vo
@md5 100eb11761b81463c03b3969defffac1
@size 153869
lib/coq/contrib/ring/Ring_theory.vo
@md5 f8f13243f38f7634bd1f3c4d50c304ba
@size 76057
lib/coq/contrib/ring/Setoid_ring.vo
@md5 981163c9c00c23bc537ee495b42e8334
@size 2695
lib/coq/contrib/ring/Setoid_ring_normalize.vo
@md5 9173e95ee5aa64fe2d081a6b91db0eeb
@size 300084
lib/coq/contrib/ring/Setoid_ring_theory.vo
@md5 bfffb3aaa5db07d5da59daef3a849fbc
@size 101194
lib/coq/contrib/ring/ZArithRing.vo
@md5 1c4925b3a6dc07e79053903d3eab2135
@size 4774
lib/coq/contrib/romega/ROmega.vo
@md5 872861dbb23c50544a5269a7c12d7642
@size 2461
lib/coq/contrib/romega/ReflOmegaCore.vo
@md5 4fe2a722eb4a2f5e92acaccb098ca79b
@size 406237
lib/coq/contrib/xml/Xml.vo
@md5 540b05dd53f35b7c5b867b4b312305a0
@size 2062
lib/coq/states/barestate.coq
@md5 daa42b511bb080f4a4b5ff5f5c397b1f
@size 35467
lib/coq/states/initial.coq
@md5 14e44cc978376281452e850c711abf55
@size 171183
lib/coq/tactics/AutoRewrite.vo
@md5 757e15a841aeec832f5a8bd88cb59bc0
@size 1115
lib/coq/tactics/EAuto.vo
@md5 9006e7d17c84051212a84e79a3d3f2ca
@size 1949
lib/coq/tactics/EqDecide.vo
@md5 a8e24c3e3f58ebd94c43aba1899d8e6b
@size 741
lib/coq/tactics/Equality.vo
@md5 da3ad2daa957bc3d2cb656f9fdd4d864
@size 4636
lib/coq/tactics/Inv.vo
@md5 ab18e05abf17a69c6eed2a1818559b4b
@size 4176
lib/coq/tactics/Refine.vo
@md5 5d198d9a9b9eb03a85c2946e00ce467d
@size 297
lib/coq/tactics/Setoid_replace.vo
@md5 73c68c15b9a3ffa658bdcb8c10764530
@size 1139
lib/coq/tactics/Tauto.vo
@md5 ccb7843c48da04f9429b4410a2698a8c
@size 460
lib/coq/theories/Arith/Arith.vo
@md5 c87121de358b52dc4e3cb4049a960395
@size 2254
lib/coq/theories/Arith/Between.vo
@md5 1e1fbeecb9e411ad1e3a517a8cfaea19
@size 25855
lib/coq/theories/Arith/Compare.vo
@md5 e9adc452696bbe8b69d7a1d62bff1794
@size 4363
lib/coq/theories/Arith/Compare_dec.vo
@md5 096d549c52b4ee7a6f64b47bde9168e1
@size 7813
lib/coq/theories/Arith/Div2.vo
@md5 589dd3e70e5d5a7d2072d6e3e1dec55d
@size 25749
lib/coq/theories/Arith/EqNat.vo
@md5 8810f774a2c21f1acffe2fa372815639
@size 5510
lib/coq/theories/Arith/Euclid.vo
@md5 fc8cf6e9648caa2d110712e1d6829725
@size 7704
lib/coq/theories/Arith/Even.vo
@md5 9c947870742af2eda37f986fa2a740db
@size 42009
lib/coq/theories/Arith/Gt.vo
@md5 2c2bb0725478fe917c8928046dd5fec9
@size 11182
lib/coq/theories/Arith/Le.vo
@md5 ef95025389af6ff65bf355c56c621600
@size 7920
lib/coq/theories/Arith/Lt.vo
@md5 2524f93d489800b4989802936c92326a
@size 14405
lib/coq/theories/Arith/Max.vo
@md5 67eacb0a1e34f4e920c0254573f821d9
@size 9340
lib/coq/theories/Arith/Min.vo
@md5 d692bce372d9e9dbd71ef6a717638e35
@size 9192
lib/coq/theories/Arith/Minus.vo
@md5 88f049a2b6fde5132a6f6fcbf0d8db4f
@size 10684
lib/coq/theories/Arith/Mult.vo
@md5 825d49e3251cf4a351f2e4fc6e61fcab
@size 12964
lib/coq/theories/Arith/Peano_dec.vo
@md5 619892f4537b10abb2ce8d87522bcb27
@size 3695
lib/coq/theories/Arith/Plus.vo
@md5 0316df227693c9cef4e6e31c6b69e60b
@size 16168
lib/coq/theories/Arith/Wf_nat.vo
@md5 dc1ecf6c73cd2ad892d8aac9cd407321
@size 7244
lib/coq/theories/Bool/Bool.vo
@md5 5a32df4da10dea5f12b62799aa42d899
@size 39964
lib/coq/theories/Bool/BoolEq.vo
@md5 dc542c6c23580dbeb5d255aa7b58722c
@size 4025
lib/coq/theories/Bool/DecBool.vo
@md5 70f67fb778709f316a947feeeed8bd8a
@size 2055
lib/coq/theories/Bool/IfProp.vo
@md5 29cbd3b4bc97a6edf06291d125ce70a1
@size 4455
lib/coq/theories/Bool/Sumbool.vo
@md5 fa246ac4e0677ded1a7b6f3722f82244
@size 4892
lib/coq/theories/Bool/Zerob.vo
@md5 b7598b3b110df722aec1f4f1bb621f9b
@size 4091
lib/coq/theories/Init/Datatypes.vo
@md5 1b5c9f677748c1456c6685b0c3e9349b
@size 6403
lib/coq/theories/Init/DatatypesSyntax.vo
@md5 e5eefb1d9aabacfd6d084f5253f3abd0
@size 1457
lib/coq/theories/Init/Logic.vo
@md5 51683cd1fdddd586bd22ea060555509a
@size 13929
lib/coq/theories/Init/LogicSyntax.vo
@md5 8ac071335a788551fd9868259dfbbe2d
@size 3855
lib/coq/theories/Init/Logic_Type.vo
@md5 02377ba01433077c4ffc4b80e6734c1f
@size 13266
lib/coq/theories/Init/Logic_TypeSyntax.vo
@md5 a018ed7239d2ff8cf07f61d111cc643b
@size 2597
lib/coq/theories/Init/Peano.vo
@md5 5d1e4ae7b046f963a244b146c0636d40
@size 10983
lib/coq/theories/Init/Prelude.vo
@md5 f2f18050a3c6fe1b92feec18b5a1c224
@size 731
lib/coq/theories/Init/Specif.vo
@md5 9ed2f27c87b36a70780493eb24461468
@size 12865
lib/coq/theories/Init/SpecifSyntax.vo
@md5 ab5ec0e469fc32a86f5e3ec1bd6e5c51
@size 4774
lib/coq/theories/Init/Wf.vo
@md5 1ab857ff08cfe09cc66a280317a5ff0a
@size 8424
lib/coq/theories/IntMap/Adalloc.vo
@md5 95ec3a4c9dde0a0e9897bfca5f5498bb
@size 40713
lib/coq/theories/IntMap/Addec.vo
@md5 762898ab04a0a1f373a95de30553c6cc
@size 18109
lib/coq/theories/IntMap/Addr.vo
@md5 ecc507696552bdbc3162c25da70bfc91
@size 35004
lib/coq/theories/IntMap/Adist.vo
@md5 ba34d072e927a8eff9884e09ca14fa7f
@size 32418
lib/coq/theories/IntMap/Allmaps.vo
@md5 c3606539134fdbe7bb5284439b5a7c6b
@size 3363
lib/coq/theories/IntMap/Fset.vo
@md5 9d5407ff613d36698486da466aaaa4d0
@size 52115
lib/coq/theories/IntMap/Lsort.vo
@md5 8b6be68271aec1dbd42e3e5843353fd3
@size 85706
lib/coq/theories/IntMap/Map.vo
@md5 e33eb7a74b88417f3c38396280314136
@size 134947
lib/coq/theories/IntMap/Mapaxioms.vo
@md5 90b78a3da47ecc3530dd2f6135039a33
@size 98614
lib/coq/theories/IntMap/Mapc.vo
@md5 6780f5c3d014e5ab245105c3d7040370
@size 21976
lib/coq/theories/IntMap/Mapcanon.vo
@md5 81ec3063e137c79c830bd1ed5d0837ff
@size 41334
lib/coq/theories/IntMap/Mapcard.vo
@md5 d466eb7bdf01c087b39c9fc3a14c3abb
@size 120698
lib/coq/theories/IntMap/Mapfold.vo
@md5 d375e7a24426e4d38576e08aa65d4e05
@size 64845
lib/coq/theories/IntMap/Mapiter.vo
@md5 160f4f4383c0e1b88d9d24c2ab842630
@size 110966
lib/coq/theories/IntMap/Maplists.vo
@md5 933bc98b7e791c7a4c2460d0ef27b04f
@size 55491
lib/coq/theories/IntMap/Mapsubset.vo
@md5 67a8e508c3fe8bdc0e4c96b39a40aea0
@size 69262
lib/coq/theories/Lists/List.vo
@md5 a5ac5a18b557a0cc22bb8edfb9b0bdd9
@size 17871
lib/coq/theories/Lists/ListSet.vo
@md5 e34fb7e882583143976b057265481f73
@size 39588
lib/coq/theories/Lists/PolyList.vo
@md5 4e8228b6f43c9e959307892587345235
@size 70397
lib/coq/theories/Lists/PolyListSyntax.vo
@md5 70998864cc34d3dc9658ee910c0e227a
@size 1335
lib/coq/theories/Lists/Streams.vo
@md5 28ffaf6e117f6a64918d81f26792cc06
@size 12369
lib/coq/theories/Lists/TheoryList.vo
@md5 7c9cbea2f3253df49e5679f5c07c85b2
@size 45917
lib/coq/theories/Logic/Berardi.vo
@md5 90a2cd02c75cf33417262a8aa372decb
@size 12327
lib/coq/theories/Logic/Classical.vo
@md5 dbad53a4a84b4449a1db00a18c7e1a40
@size 1191
lib/coq/theories/Logic/Classical_Pred_Set.vo
@md5 3b91b68dc4f4c9cad299e1fead6575ed
@size 2918
lib/coq/theories/Logic/Classical_Pred_Type.vo
@md5 7dfaad44dab9d6b499cf26d9c96e6074
@size 3017
lib/coq/theories/Logic/Classical_Prop.vo
@md5 8861e8f7e21acd9dd15b3ecad33a809c
@size 3815
lib/coq/theories/Logic/Classical_Type.vo
@md5 5684ee30cf52f4e1d4621abb585ad279
@size 1198
lib/coq/theories/Logic/Decidable.vo
@md5 1ebce0d0e27d52a1dcf6f19e832ecb8c
@size 5487
lib/coq/theories/Logic/Eqdep.vo
@md5 a9e9be832c17e3ecf1b58ba3cc7e8314
@size 11053
lib/coq/theories/Logic/Eqdep_dec.vo
@md5 ea28f475c9f7535c3588baee33a5a13b
@size 11584
lib/coq/theories/Logic/JMeq.vo
@md5 a459789601d998f7ce1fe6f9e80e3c7c
@size 3884
lib/coq/theories/Reals/DiscrR.vo
@md5 572fd2c1400819eaa2dcfee3eb5b04b6
@size 6569
lib/coq/theories/Reals/R_Ifp.vo
@md5 8c578590faf6a92a1c924f520cb6e2d9
@size 95495
lib/coq/theories/Reals/R_sqr.vo
@md5 2c62c441337253d0f5cf9ca7b9fd12fd
@size 221827
lib/coq/theories/Reals/Ranalysis.vo
@md5 fe5395e2b2c098410bdc3df8cccf2481
@size 198419
lib/coq/theories/Reals/Raxioms.vo
@md5 d5cd2fdf9af9290938ea38acec5ebea2
@size 8239
lib/coq/theories/Reals/Rbase.vo
@md5 1d2cb3fc4e64862a18c2f21990a56b27
@size 168375
lib/coq/theories/Reals/Rbasic_fun.vo
@md5 46bda84d7f3ebc4688f530396253d3f6
@size 48194
lib/coq/theories/Reals/Rdefinitions.vo
@md5 0a172eb4fb21eea6bbeb8c04472f1510
@size 3051
lib/coq/theories/Reals/Rderiv.vo
@md5 4a5b2894197b533c1a961da30115248e
@size 86137
lib/coq/theories/Reals/Reals.vo
@md5 4e63cd460517a1467dc5c4e871458406
@size 5027
lib/coq/theories/Reals/Rfunctions.vo
@md5 c46d7db8348a73833861e64e82a5ed30
@size 73569
lib/coq/theories/Reals/Rgeom.vo
@md5 ff6d210425d68ddf066eec99a0295d08
@size 54018
lib/coq/theories/Reals/Rlimit.vo
@md5 1cfeec7505cd6cbc62536ece35092b28
@size 105568
lib/coq/theories/Reals/Rseries.vo
@md5 0a073681528c6dcd95219facf7084b83
@size 32321
lib/coq/theories/Reals/Rsigma.vo
@md5 d39bbb3973d19cda5c1c15153a0c77d2
@size 24768
lib/coq/theories/Reals/Rsyntax.vo
@md5 d2ad1a9b3601c6339e5021ceea1c8ba0
@size 9495
lib/coq/theories/Reals/Rtrigo.vo
@md5 f8492d816614b3fa492a258f4ca0fbbf
@size 487948
lib/coq/theories/Reals/Rtrigo_fun.vo
@md5 82f59024467bff11123f348441eb1cf3
@size 16266
lib/coq/theories/Reals/SplitAbsolu.vo
@md5 d58d271c62d81b94f0a603f3d70237d2
@size 4468
lib/coq/theories/Reals/SplitRmult.vo
@md5 848b77859d29af1de3663bf891ca13c2
@size 3571
lib/coq/theories/Reals/TypeSyntax.vo
@md5 e4fb504e0c2aefb4d84fe2b3299d707f
@size 4123
lib/coq/theories/Relations/Newman.vo
@md5 6e480f20b22fa5d17d022d9d104325e6
@size 6127
lib/coq/theories/Relations/Operators_Properties.vo
@md5 3a7e20eff5ef2cc8482aeeee4a0ec374
@size 5051
lib/coq/theories/Relations/Relation_Definitions.vo
@md5 586f4ec9e23dd36aaeb4f076c845f7c0
@size 14701
lib/coq/theories/Relations/Relation_Operators.vo
@md5 a828013de340d49a95b101fe8ba0bae2
@size 17682
lib/coq/theories/Relations/Relations.vo
@md5 8b3b56d6d23b8199a837ba104ba92a36
@size 2678
lib/coq/theories/Relations/Rstar.vo
@md5 1d4a8e2677e520c23480e0d7a8fbeeea
@size 3882
lib/coq/theories/Setoids/Setoid.vo
@md5 fa4a3912a35215466cf1dc14a5a987c6
@size 7907
lib/coq/theories/Sets/Classical_sets.vo
@md5 19a1e5dcaa4a8038a41b2416325c30d9
@size 9862
lib/coq/theories/Sets/Constructive_sets.vo
@md5 2d827825f98d73833818c73107ee51df
@size 18333
lib/coq/theories/Sets/Cpo.vo
@md5 402eac6bf09caf5b082adf3b1895af5f
@size 20369
lib/coq/theories/Sets/Ensembles.vo
@md5 05d301eb71e3c40b353b92705ee7dfb1
@size 14213
lib/coq/theories/Sets/Finite_sets.vo
@md5 64ddb5ee55d6e38c8c67c421290740cf
@size 6738
lib/coq/theories/Sets/Finite_sets_facts.vo
@md5 2f9f69fc483d7dfab65f276c38cf0551
@size 25199
lib/coq/theories/Sets/Image.vo
@md5 e2b3dba852f0b4726ea88f6d68d952aa
@size 16721
lib/coq/theories/Sets/Infinite_sets.vo
@md5 b20c3730523b61a131764d68eccefc08
@size 20142
lib/coq/theories/Sets/Integers.vo
@md5 6c1c820054e2558c35733c26607ad575
@size 8480
lib/coq/theories/Sets/Multiset.vo
@md5 4bbe9d0ee0c3fb5a17668b0e58a11d8e
@size 20633
lib/coq/theories/Sets/Partial_Order.vo
@md5 614dd812c1241d00590f759ac7644f93
@size 9457
lib/coq/theories/Sets/Permut.vo
@md5 8c6ddd401ae0a701a5f0ea4f9ea0c332
@size 7443
lib/coq/theories/Sets/Powerset.vo
@md5 162ead633f30801ad7ed59561a3b67f5
@size 18068
lib/coq/theories/Sets/Powerset_Classical_facts.vo
@md5 52d32835f49f7fb035e84e43a42d5717
@size 33323
lib/coq/theories/Sets/Powerset_facts.vo
@md5 9f55d6f2d53353a9def0e5d7e2222e8f
@size 24990
lib/coq/theories/Sets/Relations_1.vo
@md5 bed16d1789e4eb7765dec60a33ec9ae8
@size 7400
lib/coq/theories/Sets/Relations_1_facts.vo
@md5 d2eb85da3dab97a640b035bd95e3d99d
@size 6302
lib/coq/theories/Sets/Relations_2.vo
@md5 15338dd17300d387b1081e81f0628dbc
@size 6193
lib/coq/theories/Sets/Relations_2_facts.vo
@md5 4b70bf2e229a18b3c268e5b7a2df7d68
@size 8472
lib/coq/theories/Sets/Relations_3.vo
@md5 e7a7e95b3977cbed9e8f055a4cc6dbe8
@size 3834
lib/coq/theories/Sets/Relations_3_facts.vo
@md5 c4ea28ce9f0cbc8af1b1755cb0ec551b
@size 9995
lib/coq/theories/Sets/Uniset.vo
@md5 cf90dfce890cb1a9ff582cddc5e1aa6a
@size 18036
lib/coq/theories/Sorting/Heap.vo
@md5 a5ba8287ff5ef8d6b2f441cda6531e3a
@size 26888
lib/coq/theories/Sorting/Permutation.vo
@md5 c46b88778b612e0d06ce94b77530a65c
@size 11580
lib/coq/theories/Sorting/Sorting.vo
@md5 7904b90e65be02d2a141269cf3013d6f
@size 18380
lib/coq/theories/Wellfounded/Disjoint_Union.vo
@md5 287370517a8aef640e4c6ad23501b745
@size 7066
lib/coq/theories/Wellfounded/Inclusion.vo
@md5 8dd8d142391f6267f1a36ab9c2f7ca10
@size 2090
lib/coq/theories/Wellfounded/Inverse_Image.vo
@md5 ae3625b22baa6113720f93475516eae0
@size 2534
lib/coq/theories/Wellfounded/Lexicographic_Exponentiation.vo
@md5 6dd53180258976dda57599c8dc1324fe
@size 61459
lib/coq/theories/Wellfounded/Lexicographic_Product.vo
@md5 69d3ff4b163c8bab26bf485eea82123c
@size 29483
lib/coq/theories/Wellfounded/Transitive_Closure.vo
@md5 ae59963834790a981b1cb6c66c9544b1
@size 3483
lib/coq/theories/Wellfounded/Union.vo
@md5 f354bc16599abc257db9446460cfe944
@size 5721
lib/coq/theories/Wellfounded/Well_Ordering.vo
@md5 d9b2f32d62e027aeb2bb9d001c8e346f
@size 6719
lib/coq/theories/Wellfounded/Wellfounded.vo
@md5 06a194520e458b6fc28cb86315058392
@size 2149
lib/coq/theories/ZArith/Wf_Z.vo
@md5 502e190d29d3e8e88a9ffa276f22101b
@size 11835
lib/coq/theories/ZArith/ZArith.vo
@md5 978ffbd080ec7cf4e1485892135f6e90
@size 4592
lib/coq/theories/ZArith/ZArith_dec.vo
@md5 6dd183421cf187686aa4396a40773baa
@size 10813
lib/coq/theories/ZArith/Zcomplements.vo
@md5 484b715589c1c66cb1fb3a02c4b3e269
@size 74078
lib/coq/theories/ZArith/Zdiv.vo
@md5 eeda42980a597d7c3bcb1376fee7fc40
@size 186305
lib/coq/theories/ZArith/Zhints.vo
@md5 4385e0214ad8cacaed0aae3204b6d8f4
@size 9189
lib/coq/theories/ZArith/Zlogarithm.vo
@md5 07bd7e8fc91a6ac117f15a911c9c316f
@size 91550
lib/coq/theories/ZArith/Zmisc.vo
@md5 78aa82f46d67a1cf459372e55020982e
@size 43206
lib/coq/theories/ZArith/Zpower.vo
@md5 ace70fa031d6ec3f29b6ffa2969202fa
@size 107015
lib/coq/theories/ZArith/Zsyntax.vo
@md5 c7c335bd296554f917aa71f5d932fa3d
@size 9776
lib/coq/theories/ZArith/auxiliary.vo
@md5 ac06fa83921cb499c0be79924b84e6ee
@size 69069
lib/coq/theories/ZArith/fast_integer.vo
@md5 b96b18d2db1c357fdbbe3c592f5c6671
@size 250201
lib/coq/theories/ZArith/zarith_aux.vo
@md5 3f50e635bcdcf0532e61c3c9f239b333
@size 55953
man/man1/coq-interface.1
@md5 7a14a1c3cd57a0d8aaa6ad1647fe6f3c
@size 554
man/man1/coq-tex.1
@md5 032555631939012d7afc6d31026fae8a
@size 3064
man/man1/coq_makefile.1
@md5 0b710e7b1c50edf84aec95ab061ef128
@size 469
man/man1/coq_vo2xml.1
@md5 e9bb64a46c82ba98ce7e588226d0f878
@size 1246
man/man1/coqc.1
@md5 b699f1198d7d745c3812cbab457392b1
@size 776
man/man1/coqdep.1
@md5 bc9e35cf71289af11791cc5b90f8326c
@size 3469
man/man1/coqmktop.1
@md5 66024d71bf5492ad9bee88a1229d20bb
@size 703
man/man1/coqtop.1
@md5 a590331f489f523d598ff249993a6848
@size 571
man/man1/coqtop.byte.1
@md5 a9f25d9a7e362685e433e5d6b793bcc7
@size 389
man/man1/coqtop.opt.1
@md5 b3edd39d8d6b047694811447af16344d
@size 392
man/man1/gallina.1
@md5 958d1464ed13e8c9ea60333a74d759e4
@size 1182
man/man1/parser.1
@md5 beed4e043dfc7480fb22c23f8aad6c75
@size 456
share/doc/coq/html/Changes.html
@md5 fa6889dabdc877e3dcf555ce1538ce0d
@size 5018
share/doc/coq/html/cover.html
@md5 026d780aadefdadefc37385fe39d6754
@size 839
share/doc/coq/html/library/Coq.Arith.Arith.html
@md5 41faab2961c2ae925382d63e766036b0
@size 1903
share/doc/coq/html/library/Coq.Arith.Between.html
@md5 627734db1a868c9fcda0ff7d170d5426
@size 14165
share/doc/coq/html/library/Coq.Arith.Compare.html
@md5 89d62ef2a051f7cd64e7c92c628961c8
@size 4644
share/doc/coq/html/library/Coq.Arith.Compare_dec.html
@md5 99e7d88127490a96c5dd5ce3e6032146
@size 7482
share/doc/coq/html/library/Coq.Arith.Div.html
@md5 51e09b2204659b4501c1cb29db68b5ee
@size 3171
share/doc/coq/html/library/Coq.Arith.Div2.html
@md5 5f53143474770d62207320bf5e301818
@size 14656
share/doc/coq/html/library/Coq.Arith.EqNat.html
@md5 b061a75d1edc9672a8c282515df7e0cd
@size 5789
share/doc/coq/html/library/Coq.Arith.Euclid.html
@md5 83c6f32b73dc7fbfd5f8f19ab430f61e
@size 4364
share/doc/coq/html/library/Coq.Arith.Even.html
@md5 8e18309b31ac56447eb3b8f66463b235
@size 20520
share/doc/coq/html/library/Coq.Arith.Gt.html
@md5 c71c792ccd643095fe6a8813467505b3
@size 10277
share/doc/coq/html/library/Coq.Arith.Le.html
@md5 80e0fe01f54bef0c90eba8cb6dd7aa7f
@size 6880
share/doc/coq/html/library/Coq.Arith.Lt.html
@md5 b5e3e720a803272ed35dbb132836cae1
@size 11564
share/doc/coq/html/library/Coq.Arith.Max.html
@md5 9641a6dc466bcdff24600fd2523b9a87
@size 5400
share/doc/coq/html/library/Coq.Arith.Min.html
@md5 57b6f93bae32d55dd4b501500ba654e8
@size 5481
share/doc/coq/html/library/Coq.Arith.Minus.html
@md5 b51a17ad784802f8ad60deee3a22a866
@size 8870
share/doc/coq/html/library/Coq.Arith.Mult.html
@md5 3175abe2db2921952f6f58ead09c9557
@size 11345
share/doc/coq/html/library/Coq.Arith.Peano_dec.html
@md5 d964eeac3dc042783cc71176f924d571
@size 1442
share/doc/coq/html/library/Coq.Arith.Plus.html
@md5 c8b09d03eb3cf201183ddc4c04a513bc
@size 15250
share/doc/coq/html/library/Coq.Arith.Wf_nat.html
@md5 cd1ebf88657ecbba0d843d55e93714a9
@size 12457
share/doc/coq/html/library/Coq.Bool.Bool.html
@md5 93c36568a8a1a88e14b105bc13df4e6e
@size 38145
share/doc/coq/html/library/Coq.Bool.BoolEq.html
@md5 48ea1da5471d65aa83498573ff41e6b8
@size 3995
share/doc/coq/html/library/Coq.Bool.DecBool.html
@md5 e022381403cd88486472b3938bb3a22c
@size 1030
share/doc/coq/html/library/Coq.Bool.IfProp.html
@md5 8d147434af89cc21e92b1c95f6e2225c
@size 2831
share/doc/coq/html/library/Coq.Bool.Sumbool.html
@md5 b69e009952f1d38e4ed47f8d5f30775b
@size 3484
share/doc/coq/html/library/Coq.Bool.Zerob.html
@md5 c94f3431d936524a1715da0366a0e324
@size 2545
share/doc/coq/html/library/Coq.Init.Datatypes.html
@md5 22ed54e64244e7795e6881254485335a
@size 4466
share/doc/coq/html/library/Coq.Init.DatatypesSyntax.html
@md5 d57e486e66026f1be6a27bd30281790c
@size 2082
share/doc/coq/html/library/Coq.Init.Logic.html
@md5 952a6ce59fdb96e3a8087806d2476a09
@size 15061
share/doc/coq/html/library/Coq.Init.LogicSyntax.html
@md5 965607da77e48329702aaf9d2af32bff
@size 5785
share/doc/coq/html/library/Coq.Init.Logic_Type.html
@md5 1e05ebbe05aa7c206cc1a126d83006a8
@size 13180
share/doc/coq/html/library/Coq.Init.Logic_TypeSyntax.html
@md5 8c7bb0f68820357e7df1b14598cc355c
@size 3954
share/doc/coq/html/library/Coq.Init.Peano.html
@md5 9cb8ca34442965e9f4c53214ae2c8522
@size 13239
share/doc/coq/html/library/Coq.Init.Prelude.html
@md5 447b1b79c6f23b8ceb95e9d3f5e5b911
@size 1204
share/doc/coq/html/library/Coq.Init.Specif.html
@md5 ea7ea2b389ea840fe8e2c5df55874e2b
@size 12807
share/doc/coq/html/library/Coq.Init.SpecifSyntax.html
@md5 e40be66f079d3919f6e4c0cc7eb647b8
@size 10302
share/doc/coq/html/library/Coq.Init.Wf.html
@md5 2f14c0515ed8cc87dcb72cf38541cd7c
@size 6409
share/doc/coq/html/library/Coq.IntMap.Adalloc.html
@md5 79959aae7fdb875a16e56782c4d98575
@size 48055
share/doc/coq/html/library/Coq.IntMap.Addec.html
@md5 c5dd72c5972a262d978d3d0c749e8bda
@size 18406
share/doc/coq/html/library/Coq.IntMap.Addr.html
@md5 56330fbd14d49e43a6842caa8cfd8e10
@size 54897
share/doc/coq/html/library/Coq.IntMap.Adist.html
@md5 c479009dd97aeaba84c632d31abe92e2
@size 31508
share/doc/coq/html/library/Coq.IntMap.Allmaps.html
@md5 2b5ef28416734a7048e9c22a818b5f2a
@size 2048
share/doc/coq/html/library/Coq.IntMap.Fset.html
@md5 11826f157ca51d5dae40dcda2121844f
@size 45122
share/doc/coq/html/library/Coq.IntMap.Lsort.html
@md5 e15eb6516122789c01f568326066de0b
@size 76992
share/doc/coq/html/library/Coq.IntMap.Map.html
@md5 8cff3c02843d6eb168ff6214c1b59e59
@size 111330
share/doc/coq/html/library/Coq.IntMap.Mapaxioms.html
@md5 3021a3052e0f5e9bf1b5c1f89c8dd736
@size 85136
share/doc/coq/html/library/Coq.IntMap.Mapc.html
@md5 c79ef610b84471521c9b32e465acffe1
@size 58637
share/doc/coq/html/library/Coq.IntMap.Mapcanon.html
@md5 a5600278c55eb4e0396044929c64cff9
@size 48538
share/doc/coq/html/library/Coq.IntMap.Mapcard.html
@md5 82f862cf165bfe758ee64563ebc402fe
@size 94453
share/doc/coq/html/library/Coq.IntMap.Mapfold.html
@md5 a8a27ee1907792099785d6a210a5e9be
@size 47073
share/doc/coq/html/library/Coq.IntMap.Mapiter.html
@md5 17f63d3a6fab5b05e849a2139ce6eef5
@size 74026
share/doc/coq/html/library/Coq.IntMap.Maplists.html
@md5 2bd1db0fd3a3154a4c048ee8e4771aac
@size 55842
share/doc/coq/html/library/Coq.IntMap.Mapsubset.html
@md5 d15c734c4cde3b36eb62ac69d1423498
@size 67027
share/doc/coq/html/library/Coq.Lists.List.html
@md5 ca04a9f989e0eee1f639b8dbffe00eb3
@size 16351
share/doc/coq/html/library/Coq.Lists.ListSet.html
@md5 17076f9992ff5a1b865d427dd0e9214e
@size 26742
share/doc/coq/html/library/Coq.Lists.PolyList.html
@md5 078061d7b9b4e1c465847e5719ad1273
@size 38193
share/doc/coq/html/library/Coq.Lists.PolyListSyntax.html
@md5 98c224f3ff07f19245711ce33ea4549a
@size 484
share/doc/coq/html/library/Coq.Lists.Streams.html
@md5 2c07a5e759a6615323560976f6d2a977
@size 11662
share/doc/coq/html/library/Coq.Lists.TheoryList.html
@md5 06cf034bbed5d3fb6b61fbbf79ac6a47
@size 25842
share/doc/coq/html/library/Coq.Logic.Berardi.html
@md5 834b1467caf458363be71be4c25d2279
@size 10031
share/doc/coq/html/library/Coq.Logic.Classical.html
@md5 ea8a52aa7686af7cc18c605843386ab4
@size 596
share/doc/coq/html/library/Coq.Logic.Classical_Pred_Set.html
@md5 e62c2f105377b3f7272f6e8bc43f0dfb
@size 2861
share/doc/coq/html/library/Coq.Logic.Classical_Pred_Type.html
@md5 e3c6936e824d654caa675f7d8b78cf8c
@size 2875
share/doc/coq/html/library/Coq.Logic.Classical_Prop.html
@md5 9c8c2a4c73a1a68630a0a1c1564c2011
@size 3802
share/doc/coq/html/library/Coq.Logic.Classical_Type.html
@md5 c69753d29f2999835e0cea7e76b89c8c
@size 617
share/doc/coq/html/library/Coq.Logic.Decidable.html
@md5 2dedc644a1d1e9506c5278df6a373049
@size 3707
share/doc/coq/html/library/Coq.Logic.Elimdep.html
@md5 bcdaa4cee081ff4f32d29440fadbf888
@size 584
share/doc/coq/html/library/Coq.Logic.Eqdep.html
@md5 cbf3b1a8fe65adb1c8ff19ff021ed387
@size 6075
share/doc/coq/html/library/Coq.Logic.Eqdep_dec.html
@md5 e90524fd3656b4d941751260de3e3e30
@size 8064
share/doc/coq/html/library/Coq.Logic.JMeq.html
@md5 aa42d70298a6e19541d0899524fbf81c
@size 2892
share/doc/coq/html/library/Coq.Num.AddProps.html
@md5 28c6b91c3e18797612b5971114dd0777
@size 2664
share/doc/coq/html/library/Coq.Num.Axioms.html
@md5 353c87c15bd954f892ee8b8abd7ab3a2
@size 2897
share/doc/coq/html/library/Coq.Num.Definitions.html
@md5 2bd69af339638500ce79c2128f1fdf69
@size 1246
share/doc/coq/html/library/Coq.Num.DiscrAxioms.html
@md5 dd540dc0b81874a85893ec62423f1e42
@size 740
share/doc/coq/html/library/Coq.Num.DiscrProps.html
@md5 1d8ff1e7821a0270b52295a60bf57174
@size 810
share/doc/coq/html/library/Coq.Num.EqAxioms.html
@md5 082826bd41f694660cb3d420f6c90059
@size 2061
share/doc/coq/html/library/Coq.Num.EqParams.html
@md5 71f2484e793c6dc529c151ef47f05cb2
@size 902
share/doc/coq/html/library/Coq.Num.GeAxioms.html
@md5 da5f8372165b8a4eefe44141b447be83
@size 960
share/doc/coq/html/library/Coq.Num.GeProps.html
@md5 08829cd46052863fd06625473e922541
@size 208
share/doc/coq/html/library/Coq.Num.GtAxioms.html
@md5 8793423f02887f05de6adf99e1d9b2b7
@size 959
share/doc/coq/html/library/Coq.Num.GtProps.html
@md5 33c2ce3890f5c942eedf9935c31f0ac7
@size 208
share/doc/coq/html/library/Coq.Num.LeAxioms.html
@md5 0623339a62923d1673b2f0e7abbae0e8
@size 986
share/doc/coq/html/library/Coq.Num.LeProps.html
@md5 c4a3136e0536f36f40ee29c8179c45fc
@size 5875
share/doc/coq/html/library/Coq.Num.LtProps.html
@md5 990444d4545b4eb6f370f1d9711fd52d
@size 4295
share/doc/coq/html/library/Coq.Num.NSyntax.html
@md5 6109cf6f8c7a96249dc06ff070c9290e
@size 1658
share/doc/coq/html/library/Coq.Num.NeqAxioms.html
@md5 bf342c1a51cf4b2bfc2eac66b9accd77
@size 1250
share/doc/coq/html/library/Coq.Num.NeqDef.html
@md5 87c0fe6fef060a9d857e921fdf4c43bf
@size 1565
share/doc/coq/html/library/Coq.Num.NeqParams.html
@md5 43a427ba24fb0ef2ec3cb1b59bcc8ce1
@size 672
share/doc/coq/html/library/Coq.Num.NeqProps.html
@md5 845e8ffdb5d21357275a0d42333ace97
@size 2523
share/doc/coq/html/library/Coq.Num.OppAxioms.html
@md5 8f81cf6aee9aaa3c795dd6e9497ee830
@size 212
share/doc/coq/html/library/Coq.Num.OppProps.html
@md5 8e9461e42ba07b726ba088d38b25aa96
@size 210
share/doc/coq/html/library/Coq.Num.Params.html
@md5 2a0cfd87617f79f561db2d38c3d6d0a6
@size 1175
share/doc/coq/html/library/Coq.Num.SubProps.html
@md5 1faa487acfb67c133ae280d52970ca7a
@size 210
share/doc/coq/html/library/Coq.Reals.DiscrR.html
@md5 42030602da551bc76fb070e21c930137
@size 2072
share/doc/coq/html/library/Coq.Reals.R_Ifp.html
@md5 42b37fbab00eecc2ee31efa9f34503fa
@size 108435
share/doc/coq/html/library/Coq.Reals.R_sqr.html
@md5 9ef70dd5d874ca1877cfeda2d9783712
@size 51855
share/doc/coq/html/library/Coq.Reals.Ranalysis.html
@md5 eeea0cf035847a02dd1bff1c49aba0b6
@size 130673
share/doc/coq/html/library/Coq.Reals.Raxioms.html
@md5 615effe3ddf7e684806b2053ae7b611f
@size 9536
share/doc/coq/html/library/Coq.Reals.Rbase.html
@md5 ee38e001d20a98c25274548c9171cba3
@size 108202
share/doc/coq/html/library/Coq.Reals.Rbasic_fun.html
@md5 296c99e2571d77a47fb518953a72f129
@size 51315
share/doc/coq/html/library/Coq.Reals.Rdefinitions.html
@md5 42256ad5f50068c10b47ef4de33092f5
@size 3642
share/doc/coq/html/library/Coq.Reals.Rderiv.html
@md5 1a6df4e1f109f22817367fcffb401258
@size 74758
share/doc/coq/html/library/Coq.Reals.Reals.html
@md5 1aae1ed14236d1ab35c1ab80b9a708b8
@size 2311
share/doc/coq/html/library/Coq.Reals.Rfunctions.html
@md5 0660c36d70e6e1d4e7854637deb217d9
@size 69994
share/doc/coq/html/library/Coq.Reals.Rgeom.html
@md5 527e8a4815f6476e6b14d6ce1429ce74
@size 16871
share/doc/coq/html/library/Coq.Reals.Rlimit.html
@md5 bb83983874ac19c0462d2a89588673aa
@size 99317
share/doc/coq/html/library/Coq.Reals.Rseries.html
@md5 eb1eb3f253660b5d7ba67a2059f48581
@size 30613
share/doc/coq/html/library/Coq.Reals.Rsigma.html
@md5 47ac12524431a602fd26a5d0d931528b
@size 12235
share/doc/coq/html/library/Coq.Reals.Rsyntax.html
@md5 92b28fc709850bfb50e43f17e905fe45
@size 10903
share/doc/coq/html/library/Coq.Reals.Rtrigo.html
@md5 f44dc8a98ee3170cd1ceaa4cdfe6a6f0
@size 197976
share/doc/coq/html/library/Coq.Reals.Rtrigo_fun.html
@md5 c2e9639ee3b66dedf7fae61fd0de49a3
@size 18954
share/doc/coq/html/library/Coq.Reals.SplitAbsolu.html
@md5 811486c57d6ed5b08e2afb9f892a0410
@size 1071
share/doc/coq/html/library/Coq.Reals.SplitRmult.html
@md5 bb8fc5a56179d7e56407ef7462b8c53b
@size 577
share/doc/coq/html/library/Coq.Reals.TypeSyntax.html
@md5 b1e771e3f77eb08c47b9bbaea485efa4
@size 1039
share/doc/coq/html/library/Coq.Relations.Newman.html
@md5 a1205d15bf70de2f89c7809cdaf65f27
@size 8899
share/doc/coq/html/library/Coq.Relations.Operators_Properties.html
@md5 4c3a913974f5cd27a8559b1fa876fbe4
@size 6120
share/doc/coq/html/library/Coq.Relations.Relation_Definitions.html
@md5 14cca767c20fa3f941f45b0fa21105c0
@size 5940
share/doc/coq/html/library/Coq.Relations.Relation_Operators.html
@md5 9cd89cc3845ee146324e47b746c6a2ad
@size 10534
share/doc/coq/html/library/Coq.Relations.Relations.html
@md5 e50f8173980c4c1f4d69ab8d7d5ac654
@size 1631
share/doc/coq/html/library/Coq.Relations.Rstar.html
@md5 8fc458f0cb23920a0401dee09292b0d6
@size 7085
share/doc/coq/html/library/Coq.Setoids.Setoid.html
@md5 cc184df32bbe56546b72264f894bbca9
@size 3069
share/doc/coq/html/library/Coq.Sets.Classical_sets.html
@md5 e5475755c37b2ba4dd062c726a868ae4
@size 8194
share/doc/coq/html/library/Coq.Sets.Constructive_sets.html
@md5 0e5e296bee938962b6b422baeaca76a3
@size 9906
share/doc/coq/html/library/Coq.Sets.Cpo.html
@md5 96859dcdffa8e82f0fec205c8223777c
@size 8135
share/doc/coq/html/library/Coq.Sets.Ensembles.html
@md5 ba7af431662887256b47459ef599ef41
@size 8292
share/doc/coq/html/library/Coq.Sets.Finite_sets.html
@md5 ff2d3e619a285eec2b7155f221bbebbf
@size 4316
share/doc/coq/html/library/Coq.Sets.Finite_sets_facts.html
@md5 79605ef921cb366d1c1934b4e4a74270
@size 24942
share/doc/coq/html/library/Coq.Sets.Image.html
@md5 4f9679519370d21331803a93b9414d2a
@size 14018
share/doc/coq/html/library/Coq.Sets.Infinite_sets.html
@md5 07d060a96d15be8a86f0c486dcd0e387
@size 16004
share/doc/coq/html/library/Coq.Sets.Integers.html
@md5 ca24610ab71792f41f75587d1143ee92
@size 10356
share/doc/coq/html/library/Coq.Sets.Multiset.html
@md5 be21f64c7511524159f65c6cbe143c48
@size 15681
share/doc/coq/html/library/Coq.Sets.Partial_Order.html
@md5 b489527aa6910e3c054a27b118d0b804
@size 4748
share/doc/coq/html/library/Coq.Sets.Permut.html
@md5 065a4bc2bd763a66ab93e01df3f4c319
@size 4006
share/doc/coq/html/library/Coq.Sets.Powerset.html
@md5 181148e429d62c62641dffde6c9d8bb8
@size 14775
share/doc/coq/html/library/Coq.Sets.Powerset_Classical_facts.html
@md5 ac60085bf33b65fc9ab71fabeed06254
@size 21979
share/doc/coq/html/library/Coq.Sets.Powerset_facts.html
@md5 0b95ba3c909a485b4d015a81918ce35f
@size 19001
share/doc/coq/html/library/Coq.Sets.Relations_1.html
@md5 9bd448b9332cd94c100459a2870126ed
@size 4417
share/doc/coq/html/library/Coq.Sets.Relations_1_facts.html
@md5 f5c60d220528151fde56cfe95bd505e2
@size 6525
share/doc/coq/html/library/Coq.Sets.Relations_2.html
@md5 7e63815fa482e50e3259c3e75bd18e21
@size 2256
share/doc/coq/html/library/Coq.Sets.Relations_2_facts.html
@md5 4e4cafd6da2efef747448cee9d8bb5ca
@size 9602
share/doc/coq/html/library/Coq.Sets.Relations_3.html
@md5 1157bf8ba5c6f9c0a1cf6c457a55ba47
@size 3305
share/doc/coq/html/library/Coq.Sets.Relations_3_facts.html
@md5 58cd2731e81e83d997d2ebb9b46dd956
@size 8901
share/doc/coq/html/library/Coq.Sets.Uniset.html
@md5 8a0c8c3d34b8611041eae2dcfdc90a45
@size 17016
share/doc/coq/html/library/Coq.Sorting.Heap.html
@md5 3a8e70c4a3dd133f75ccbb4d1e1b557e
@size 19496
share/doc/coq/html/library/Coq.Sorting.Permutation.html
@md5 27305c339c8acc9c50a047e6f0711248
@size 9487
share/doc/coq/html/library/Coq.Sorting.Sorting.html
@md5 fb347c6064cfd29e80cfd4ca44870688
@size 10808
share/doc/coq/html/library/Coq.Wellfounded.Disjoint_Union.html
@md5 de4639b8b67be08143a1b0126aaa28e2
@size 3097
share/doc/coq/html/library/Coq.Wellfounded.Inclusion.html
@md5 5fe2efc8146829817a80a3dd0154c754
@size 1822
share/doc/coq/html/library/Coq.Wellfounded.Inverse_Image.html
@md5 a4895cead1bc6f448da64372770a3881
@size 2065
share/doc/coq/html/library/Coq.Wellfounded.Lexicographic_Exponentiation.html
@md5 f8ec0fedf3024a1f2ccca1f1411570f0
@size 21658
share/doc/coq/html/library/Coq.Wellfounded.Lexicographic_Product.html
@md5 7a6ec3e6cad4a6cf38375ca69f09b327
@size 9948
share/doc/coq/html/library/Coq.Wellfounded.Transitive_Closure.html
@md5 c002affc0eeb295e48d98f0b5d50ad02
@size 3158
share/doc/coq/html/library/Coq.Wellfounded.Union.html
@md5 b828429fb19367044e2df43b9fb1bb3b
@size 4899
share/doc/coq/html/library/Coq.Wellfounded.Well_Ordering.html
@md5 52f1455ce949629f5768c03bcb4740d1
@size 3590
share/doc/coq/html/library/Coq.Wellfounded.Wellfounded.html
@md5 db2bfc30b23200a81417e1eebf335c89
@size 1394
share/doc/coq/html/library/Coq.ZArith.Wf_Z.html
@md5 e3d0319da321160ad5cef0b7d472691c
@size 11497
share/doc/coq/html/library/Coq.ZArith.ZArith.html
@md5 107ae512a381d728f9de5189efde74ae
@size 1600
share/doc/coq/html/library/Coq.ZArith.ZArith_dec.html
@md5 785c6037c23ab708d074ad126e785df5
@size 7667
share/doc/coq/html/library/Coq.ZArith.Zcomplements.html
@md5 5b75bc9bef96c6491f2ce1b71f083ccc
@size 26763
share/doc/coq/html/library/Coq.ZArith.Zhints.html
@md5 9e6967095970f5f87f412debaf15dad1
@size 2091
share/doc/coq/html/library/Coq.ZArith.Zlogarithm.html
@md5 2f7d4d28e68a830ece6aa11fd403489e
@size 19024
share/doc/coq/html/library/Coq.ZArith.Zmisc.html
@md5 e69e3d21eda820eca84a9a48b4d9eccb
@size 50810
share/doc/coq/html/library/Coq.ZArith.Zpower.html
@md5 5f884de5e164873185acefb6794588e4
@size 34025
share/doc/coq/html/library/Coq.ZArith.Zsyntax.html
@md5 9f4585dd402dafd975e785d8549036c0
@size 12734
share/doc/coq/html/library/Coq.ZArith.auxiliary.html
@md5 b619969e2f521e91764cd0507177964a
@size 113169
share/doc/coq/html/library/Coq.ZArith.fast_integer.html
@md5 abc2b5772bf69618767d4619c9caad8f
@size 184777
share/doc/coq/html/library/Coq.ZArith.zarith_aux.html
@md5 19728d2b88ba9d0f56f77f984f674adb
@size 81260
share/doc/coq/html/library/index.html
@md5 17ce6c96f6e9e540a677e9886e3af89c
@size 17909
share/doc/coq/html/library/index_axiom_A.html
@md5 0ba7c35d9005e2251fa02e8dc7d0ec6d
@size 9745
share/doc/coq/html/library/index_axiom_B.html
@md5 e256898845cd8a6b0df4ee9ebd2f4ab8
@size 8824
share/doc/coq/html/library/index_axiom_C.html
@md5 edd2f63f00cf9771d5615463ce59eb12
@size 9544
share/doc/coq/html/library/index_axiom_D.html
@md5 f90964568d5b16109606da2d77dc365e
@size 9402
share/doc/coq/html/library/index_axiom_E.html
@md5 2c3ce79c27416ccb2ed7178e241e5549
@size 9998
share/doc/coq/html/library/index_axiom_F.html
@md5 48e354b8c4d18cd626b67dd8eaa92720
@size 8945
share/doc/coq/html/library/index_axiom_G.html
@md5 9656648c99e6225a6beafe43630237fa
@size 8957
share/doc/coq/html/library/index_axiom_H.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_I.html
@md5 e4db10d6269a4777128b98dd1e98b979
@size 8836
share/doc/coq/html/library/index_axiom_J.html
@md5 651c389acccda4e4f9cd5e455d5e067d
@size 8829
share/doc/coq/html/library/index_axiom_K.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_L.html
@md5 6587332c8396e468c97e37d741e9a399
@size 10002
share/doc/coq/html/library/index_axiom_M.html
@md5 cfe12409f923b278dcb5aefd90ca0348
@size 9148
share/doc/coq/html/library/index_axiom_N.html
@md5 2e6ef68d43c7ad129d36082e35411405
@size 9789
share/doc/coq/html/library/index_axiom_O.html
@md5 0978273be47064a1a4c8bb9ab1c3a636
@size 8936
share/doc/coq/html/library/index_axiom_P.html
@md5 1c6d5cb7bcb036147b2595364e30610a
@size 9207
share/doc/coq/html/library/index_axiom_Q.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_R.html
@md5 b3e8a20303111ef96f21eb4ce7f4292a
@size 11457
share/doc/coq/html/library/index_axiom_S.html
@md5 1a8c52e8dd16d31b875c968e1ebe86ea
@size 10179
share/doc/coq/html/library/index_axiom_T.html
@md5 ffccebc528b3208db186cc2cc8fc6eaf
@size 8850
share/doc/coq/html/library/index_axiom_U.html
@md5 7996dd472ad4b7815829867f6b44b060
@size 8843
share/doc/coq/html/library/index_axiom_V.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_W.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_X.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_Y.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_axiom_Z.html
@md5 29d0d056b8a2e29fe1f0e91bfc5a4695
@size 8940
share/doc/coq/html/library/index_axiom__.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_constructor_A.html
@md5 3c0159ee5386b89b1f3a740828a06df5
@size 9586
share/doc/coq/html/library/index_constructor_B.html
@md5 1f767f02594622ee7961c2236eba4a24
@size 9194
share/doc/coq/html/library/index_constructor_C.html
@md5 c0bb24acd637201ba2835d0418a42edc
@size 10027
share/doc/coq/html/library/index_constructor_D.html
@md5 240a3b914b6df0e5d07b8b5cade45ec1
@size 11114
share/doc/coq/html/library/index_constructor_E.html
@md5 f56c3db1e4c5195c8c01e808c195f4dd
@size 11084
share/doc/coq/html/library/index_constructor_F.html
@md5 7178ca289e9a129e904b449eeda6b97f
@size 9587
share/doc/coq/html/library/index_constructor_G.html
@md5 09d98aeaf79b82d57a05cbd8c232776b
@size 8849
share/doc/coq/html/library/index_constructor_H.html
@md5 8eff33db2cd5d0ddc9e3f856d3d49b73
@size 8964
share/doc/coq/html/library/index_constructor_I.html
@md5 1a87a959165154a36783575ea6e64007
@size 11372
share/doc/coq/html/library/index_constructor_J.html
@md5 acd2b22223d3630b2d6a5a66730a4124
@size 8845
share/doc/coq/html/library/index_constructor_K.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_constructor_L.html
@md5 1ca1b472b2518f27df62e99757371cf5
@size 10841
share/doc/coq/html/library/index_constructor_M.html
@md5 ab1714b41e9436a9cc10146aeeedac3e
@size 9533
share/doc/coq/html/library/index_constructor_N.html
@md5 6fade3b749665c82750244f8ecb22762
@size 10503
share/doc/coq/html/library/index_constructor_O.html
@md5 709f9c022bba2319f26a61eb144b2669
@size 9169
share/doc/coq/html/library/index_constructor_P.html
@md5 811fa4e1ce3e310a4b4820e798f853e2
@size 9220
share/doc/coq/html/library/index_constructor_Q.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_constructor_R.html
@md5 73cfa1c7c27d66f1d89eaf88570826e7
@size 11836
share/doc/coq/html/library/index_constructor_S.html
@md5 e663be3f5df7ab29e680a61aa379702a
@size 9669
share/doc/coq/html/library/index_constructor_T.html
@md5 b4936c56a93ebbb87ccb577af35f776e
@size 10021
share/doc/coq/html/library/index_constructor_U.html
@md5 b4732b99b446a6f2cfb56f5d32f783e8
@size 9267
share/doc/coq/html/library/index_constructor_V.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_constructor_W.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_constructor_X.html
@md5 86f4bdb00f11a27c6edfbbae68797ee1
@size 9108
share/doc/coq/html/library/index_constructor_Y.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_constructor_Z.html
@md5 428f8a4847b7584f62ed8daaa158d27f
@size 8995
share/doc/coq/html/library/index_constructor__.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_definition_A.html
@md5 7abebc2980abd0a27e371fb6470db377
@size 23643
share/doc/coq/html/library/index_definition_B.html
@md5 c7b48233bf828502ccdd3d622a850a19
@size 9590
share/doc/coq/html/library/index_definition_C.html
@md5 dd12d3372daba19f252e4f64d9ccbdfd
@size 21217
share/doc/coq/html/library/index_definition_D.html
@md5 a13251891c83817d515b9d80d190d79b
@size 11111
share/doc/coq/html/library/index_definition_E.html
@md5 7d3da106a28e6d120a65e31687340514
@size 21173
share/doc/coq/html/library/index_definition_F.html
@md5 7a8fbc21f473dd7b61fc93eaa2f8edfd
@size 23535
share/doc/coq/html/library/index_definition_G.html
@md5 4439399c52fe731968eb982ff20aecad
@size 9140
share/doc/coq/html/library/index_definition_H.html
@md5 da673dd2b19320fd429d1e6d03838ad7
@size 8952
share/doc/coq/html/library/index_definition_I.html
@md5 c6cfb5bb4789acbf89ad77eb53cca4b4
@size 22138
share/doc/coq/html/library/index_definition_J.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_definition_K.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_definition_L.html
@md5 7fad95a21bebea94cbc60b4b28584668
@size 12779
share/doc/coq/html/library/index_definition_M.html
@md5 01e3db1894fbe1254b24513d87a3657d
@size 22763
share/doc/coq/html/library/index_definition_N.html
@md5 60d6b710fdb50cadfad7211c1bc7cb75
@size 11525
share/doc/coq/html/library/index_definition_O.html
@md5 c4b0251a02388f76d9e56f826c6abc80
@size 9076
share/doc/coq/html/library/index_definition_P.html
@md5 f8b19b5ffb577a09ec06ebbb3aec54e3
@size 11998
share/doc/coq/html/library/index_definition_Q.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_definition_R.html
@md5 4ac00096f7b18fc57d4b9fc3936fdf92
@size 11348
share/doc/coq/html/library/index_definition_S.html
@md5 8565269088d0dcb7ec9584636893a17d
@size 24478
share/doc/coq/html/library/index_definition_T.html
@md5 858bc70b1694ea5b72499ab6d6eaab97
@size 11100
share/doc/coq/html/library/index_definition_U.html
@md5 5ddff4e1e980b0fd8b0bbf7ab9fcef5b
@size 9605
share/doc/coq/html/library/index_definition_V.html
@md5 f56bf329c8837f6139b6c8095a3f1ce5
@size 8945
share/doc/coq/html/library/index_definition_W.html
@md5 bafcdab277fca8a9af1a2a43c37cca9b
@size 8985
share/doc/coq/html/library/index_definition_X.html
@md5 c9fe6dc0d427b7c2b87423cfeb757025
@size 9032
share/doc/coq/html/library/index_definition_Y.html
@md5 c22eef773d97d1524fcd99eb3d422fd7
@size 8933
share/doc/coq/html/library/index_definition_Z.html
@md5 b9f774d02bacde8da2b5632401cd5805
@size 22335
share/doc/coq/html/library/index_definition__.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_global_A.html
@md5 396d188c324cb5cb49b813da8674abc6
@size 64403
share/doc/coq/html/library/index_global_B.html
@md5 c4dfc62ab9106833630c8e6621573fa9
@size 21658
share/doc/coq/html/library/index_global_C.html
@md5 5854ddb52083fee05b6d879474116ff7
@size 41243
share/doc/coq/html/library/index_global_D.html
@md5 51ec788e0e363aafd9e1a4a99e3c5cce
@size 38451
share/doc/coq/html/library/index_global_E.html
@md5 553b72636e33f2dbd0e11dbb8b37318e
@size 40433
share/doc/coq/html/library/index_global_F.html
@md5 cf2469e17ee163334a69c2d86fb6bcd2
@size 35069
share/doc/coq/html/library/index_global_G.html
@md5 90cd2a168cd12a9bf5a351cf8dadb047
@size 22089
share/doc/coq/html/library/index_global_H.html
@md5 8815f679abd2a3c19d584ab91782ad7e
@size 9525
share/doc/coq/html/library/index_global_I.html
@md5 bdddb3f91e0f551a4960b8faf25bfead
@size 53383
share/doc/coq/html/library/index_global_J.html
@md5 612fd3d687bc11056b924795631607ab
@size 9858
share/doc/coq/html/library/index_global_K.html
@md5 4cc8bdadc21602003c36bc267285914c
@size 8975
share/doc/coq/html/library/index_global_L.html
@md5 76e056941b1718d82609711d863a47c9
@size 48306
share/doc/coq/html/library/index_global_M.html
@md5 f3759ffd5537df78352903d888640b25
@size 78978
share/doc/coq/html/library/index_global_N.html
@md5 6340df46b9ee4de2dbc29fab4a003da4
@size 41012
share/doc/coq/html/library/index_global_O.html
@md5 dd4e2b63764f928c07c1226dcdf88f8d
@size 26777
share/doc/coq/html/library/index_global_P.html
@md5 90c6c269362cd1dac13b351c148b6fc9
@size 34663
share/doc/coq/html/library/index_global_Q.html
@md5 d661c5c9dc1ddc445dda771c85f4fdc2
@size 8838
share/doc/coq/html/library/index_global_R.html
@md5 1542f1b31bdcfc8cb07ec643241946bd
@size 62210
share/doc/coq/html/library/index_global_S.html
@md5 862fc6bd60c135cdcddf91789d697656
@size 56430
share/doc/coq/html/library/index_global_T.html
@md5 934b72136ca7cde7ab1ecae9d4c56762
@size 32254
share/doc/coq/html/library/index_global_U.html
@md5 d77d90c13db7a42173e8e3ac01aa41d7
@size 23301
share/doc/coq/html/library/index_global_V.html
@md5 b85368cc7643794a8935c054a49b6701
@size 8953
share/doc/coq/html/library/index_global_W.html
@md5 07fc6d9255268fe0dbf86238fd8c1f2e
@size 21831
share/doc/coq/html/library/index_global_X.html
@md5 2fc2ac29d6e58e38266d65f13c44d2fe
@size 10684
share/doc/coq/html/library/index_global_Y.html
@md5 272afa1f651859fce8eec44f1c9f481d
@size 8941
share/doc/coq/html/library/index_global_Z.html
@md5 4806cae0404be92e7e4f51ba25bf4981
@size 68050
share/doc/coq/html/library/index_global__.html
@md5 249f3913851b672ce6bb344da15e7a72
@size 8842
share/doc/coq/html/library/index_inductive_A.html
@md5 085a07dec926f8dd12d1dbd7103bc82e
@size 9413
share/doc/coq/html/library/index_inductive_B.html
@md5 59ec444fa6b7b088bfd3b4fd74c1f6a1
@size 9180
share/doc/coq/html/library/index_inductive_C.html
@md5 c6927074dcc944fc759d1fe3ffa70f75
@size 9873
share/doc/coq/html/library/index_inductive_D.html
@md5 ab0e3a3cebb1c2017b1f39f7b4be94b7
@size 9225
share/doc/coq/html/library/index_inductive_E.html
@md5 d75d02c089d1d7123db7f413457c4fb8
@size 10671
share/doc/coq/html/library/index_inductive_F.html
@md5 3d1ac49ce3bd1d007565c0d8f1bdb107
@size 9326
share/doc/coq/html/library/index_inductive_G.html
@md5 d37954b845f214da54d64ddb3db47bc7
@size 8823
share/doc/coq/html/library/index_inductive_H.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_inductive_I.html
@md5 cc477ec36e54d27fffcedafa8a7e4235
@size 9916
share/doc/coq/html/library/index_inductive_J.html
@md5 632ece888ba60f2e88a197e3c941d05c
@size 8831
share/doc/coq/html/library/index_inductive_K.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_inductive_L.html
@md5 2f6fb49b9b981255977b21fdc837e8a3
@size 9995
share/doc/coq/html/library/index_inductive_M.html
@md5 3e1d4a431093058e01ead2a9ecfd4381
@size 9200
share/doc/coq/html/library/index_inductive_N.html
@md5 a488f701aba34b50eab9fdbbeefb6bda
@size 9322
share/doc/coq/html/library/index_inductive_O.html
@md5 241a049ac0ba74739309e77799471d6d
@size 9273
share/doc/coq/html/library/index_inductive_P.html
@md5 0ce264beb6d3b7921d72da4472ac804f
@size 9466
share/doc/coq/html/library/index_inductive_Q.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_inductive_R.html
@md5 07c7ea50f3166b92bdbdad09e0b4b5b5
@size 9234
share/doc/coq/html/library/index_inductive_S.html
@md5 dfd5ca74ef6028af07cedc538d32cc11
@size 10863
share/doc/coq/html/library/index_inductive_T.html
@md5 31acfae7a9a28143a3a019f8b1dae9a3
@size 9175
share/doc/coq/html/library/index_inductive_U.html
@md5 b8034cec22eda53ab05ea5db7baa482b
@size 9178
share/doc/coq/html/library/index_inductive_V.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_inductive_W.html
@md5 ad4e72c711ceb5d137cfe2c3b179600c
@size 8872
share/doc/coq/html/library/index_inductive_X.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_inductive_Y.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_inductive_Z.html
@md5 0049260f551787a438c28742168bdc48
@size 8852
share/doc/coq/html/library/index_inductive__.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_lemma_A.html
@md5 119f4a67cbd8e4462de4976f7692f177
@size 52320
share/doc/coq/html/library/index_lemma_B.html
@md5 e9640002f62a474b63489cc628b60047
@size 10727
share/doc/coq/html/library/index_lemma_C.html
@md5 214a0378a08762cff65483d1e0a25a59
@size 31830
share/doc/coq/html/library/index_lemma_D.html
@md5 701fd89c884dba2c510911c91919b937
@size 30487
share/doc/coq/html/library/index_lemma_E.html
@md5 24ab7fda42073afbee49d0e7fbb7c880
@size 28866
share/doc/coq/html/library/index_lemma_F.html
@md5 f3935c496684b0979221aa275b78a92c
@size 25683
share/doc/coq/html/library/index_lemma_G.html
@md5 afac5e8be9673211b8c42a1e32b2ed25
@size 12133
share/doc/coq/html/library/index_lemma_H.html
@md5 acee668e61ffdd1c732dabf88da1c25c
@size 8961
share/doc/coq/html/library/index_lemma_I.html
@md5 26d4b684a3bf30fcbcee4dd05821129b
@size 41836
share/doc/coq/html/library/index_lemma_J.html
@md5 3167649e103e432f44bbf91cff3b7206
@size 9417
share/doc/coq/html/library/index_lemma_K.html
@md5 97c3957226c50785d289478725652663
@size 8967
share/doc/coq/html/library/index_lemma_L.html
@md5 d8c1f1cd24f4b5857d47849a94920377
@size 36841
share/doc/coq/html/library/index_lemma_M.html
@md5 61dd3b07fe0d8de0aca113626d4719bd
@size 67718
share/doc/coq/html/library/index_lemma_N.html
@md5 2987bd20821adb190fceca04c7a841f3
@size 33009
share/doc/coq/html/library/index_lemma_O.html
@md5 f4d62eedd102c6d9960f8b0fe2dfa1f7
@size 24467
share/doc/coq/html/library/index_lemma_P.html
@md5 8e314009216f6470591109ed8f486ad5
@size 27811
share/doc/coq/html/library/index_lemma_Q.html
@md5 6ec6ec1dd3b1bf10dfc4f3ffb1877572
@size 8837
share/doc/coq/html/library/index_lemma_R.html
@md5 b08d75246d860444f3395f02b5541353
@size 49022
share/doc/coq/html/library/index_lemma_S.html
@md5 442b16244c045199994f5453ff1a612b
@size 41124
share/doc/coq/html/library/index_lemma_T.html
@md5 6566890e048d8502a95adc5d3ab9f221
@size 26756
share/doc/coq/html/library/index_lemma_U.html
@md5 a6dbcf341e8a6da56ca3f0a938066eac
@size 12295
share/doc/coq/html/library/index_lemma_V.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_lemma_W.html
@md5 8dce6e5bc088cde609a6335a70f4c07b
@size 12391
share/doc/coq/html/library/index_lemma_X.html
@md5 e1afac936e05c7233b858997499ef4e1
@size 9869
share/doc/coq/html/library/index_lemma_Y.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_lemma_Z.html
@md5 5002f44dc90dda3b555004f5ad52a4cc
@size 59082
share/doc/coq/html/library/index_lemma__.html
@md5 03bc6104febc89ddc43c0c4d36f2ab51
@size 8841
share/doc/coq/html/library/index_module_A.html
@md5 91f387686aba47c0417d476a37479651
@size 9161
share/doc/coq/html/library/index_module_B.html
@md5 85ce23a1eae0e2a91c038d2b32b9fbec
@size 8913
share/doc/coq/html/library/index_module_C.html
@md5 200ddbd47409a9240be48629afacefe0
@size 9332
share/doc/coq/html/library/index_module_D.html
@md5 cb492a673947bbb0370bc192d1edbd77
@size 9314
share/doc/coq/html/library/index_module_E.html
@md5 cc824be856215e5964c8ca5fd163763e
@size 9164
share/doc/coq/html/library/index_module_F.html
@md5 6428d003375b5879dbfc9594b396d764
@size 8955
share/doc/coq/html/library/index_module_G.html
@md5 be7b9ca8c0851125242d44fc45f3158a
@size 8959
share/doc/coq/html/library/index_module_H.html
@md5 340983b5be737a0e7b139e822124f8c5
@size 8769
share/doc/coq/html/library/index_module_I.html
@md5 87354a704ec49db1b4854f4d18c17143
@size 9055
share/doc/coq/html/library/index_module_J.html
@md5 444286bb81131f0ba358c206d92b63c1
@size 8767
share/doc/coq/html/library/index_module_K.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_module_L.html
@md5 7ce8f3106c4af1d17976593326d05b65
@size 9496
share/doc/coq/html/library/index_module_M.html
@md5 b5820bccac8984444f2f2d4d831347fd
@size 9405
share/doc/coq/html/library/index_module_N.html
@md5 7d6e68a7283377ad4db805e6f70759c6
@size 9023
share/doc/coq/html/library/index_module_O.html
@md5 99045cc2267479ecf918ea7bdb6a532c
@size 8905
share/doc/coq/html/library/index_module_P.html
@md5 29af9432e811506304594051574821fb
@size 9442
share/doc/coq/html/library/index_module_Q.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_module_R.html
@md5 9aa36a01f09935496db5775e55a54aa4
@size 10219
share/doc/coq/html/library/index_module_S.html
@md5 e6e49b55c17db754ae955387bdc8b6a0
@size 9194
share/doc/coq/html/library/index_module_T.html
@md5 1d24d20f6413cb8457197c62fdba263e
@size 8913
share/doc/coq/html/library/index_module_U.html
@md5 f28ba7e3e8192542a7467e975cdde13a
@size 8822
share/doc/coq/html/library/index_module_V.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_module_W.html
@md5 31476511340b3042b355bc926ffc3d72
@size 8987
share/doc/coq/html/library/index_module_X.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_module_Y.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_module_Z.html
@md5 e9d7d218cafef210a74b008a6ee40f44
@size 9245
share/doc/coq/html/library/index_module__.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_A.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_B.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_C.html
@md5 b1e80416e4a2c02914d8b68d53fa9f0d
@size 8849
share/doc/coq/html/library/index_tactic_D.html
@md5 1fa63340235cd469f2b50c1bfcd5135a
@size 8835
share/doc/coq/html/library/index_tactic_E.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_F.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_G.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_H.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_I.html
@md5 b3919f2c54ebf41a80c14fde41a831ed
@size 8841
share/doc/coq/html/library/index_tactic_J.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_K.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_L.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_M.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_N.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_O.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_P.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_Q.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_R.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_S.html
@md5 275b7d7560122b93f66e5170318f3d44
@size 9340
share/doc/coq/html/library/index_tactic_T.html
@md5 ef6224228dd17d1a76442d4395ab1dbc
@size 8835
share/doc/coq/html/library/index_tactic_U.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_V.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_W.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_X.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_Y.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic_Z.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/index_tactic__.html
@md5 d67e13115140327bfaecbb1340a55f40
@size 8677
share/doc/coq/html/library/style.css
@md5 d935ad9e0e455111f06a0b35b2c289e1
@size 978
share/doc/coq/html/main-0.html
@md5 4da92333a8bdfc08fb522d8360cc4c32
@size 812
share/doc/coq/html/main.html
@md5 f141b92fa434058d6185470881159ab7
@size 184
share/doc/coq/html/next.gif
@md5 331009e59e2b69d8e80da25dd121caa7
@size 141
share/doc/coq/html/node.0.0.0.html
@md5 607ac5f8d5b6b69157ef9deaf4dbbd56
@size 11063
share/doc/coq/html/node.0.0.1.html
@md5 8c8287c86ccdb5da3b37b67ecceeadb4
@size 20323
share/doc/coq/html/node.0.0.2.html
@md5 4a05dcaf458d7e083d5c8cf691b94aff
@size 64439
share/doc/coq/html/node.0.0.html
@md5 5fd1378b997730d11a5ec2cf40baf0b5
@size 3024
share/doc/coq/html/node.0.1.0.html
@md5 ed569d1ab9b661503b3f983d377376e7
@size 11939
share/doc/coq/html/node.0.1.1.html
@md5 729435e53cd261e5d4aa427608ce8cdc
@size 13312
share/doc/coq/html/node.0.1.2.html
@md5 12a133dd048ec3018766ebff515d996b
@size 2039
share/doc/coq/html/node.0.1.3.html
@md5 6b9609d027045c563a207a50a2f642d6
@size 3671
share/doc/coq/html/node.0.1.4.html
@md5 a7b83a7cd7616f247720b1e714c25c29
@size 3290
share/doc/coq/html/node.0.1.5.html
@md5 8ba8e137031145677d072b579f0f22ea
@size 4804
share/doc/coq/html/node.0.1.6.html
@md5 a11e1efd0c1d75875e2ff58718ecbfa9
@size 14052
share/doc/coq/html/node.0.1.7.html
@md5 a1f02ddc5b67a25d917a4fac121afe18
@size 1524
share/doc/coq/html/node.0.1.html
@md5 7c48fd7eefc01af20b6004e8e074fbc9
@size 1455
share/doc/coq/html/node.0.2.0.html
@md5 aed93ca324a49a1b5b22deafc6e253e4
@size 49987
share/doc/coq/html/node.0.2.1.html
@md5 fb24950d2b590e25e7c71e2b16488137
@size 14396
share/doc/coq/html/node.0.2.2.html
@md5 e5de2ae27972d085d3c4869e95db62c4
@size 1299
share/doc/coq/html/node.0.2.html
@md5 acfdbe8d0216a61c221f7f8a0995097f
@size 1969
share/doc/coq/html/node.0.3.0.html
@md5 0f3351ab90ea79a36782b326e5990fbc
@size 9871
share/doc/coq/html/node.0.3.1.html
@md5 63dd6ec30f16fe425fda856d117ab036
@size 13725
share/doc/coq/html/node.0.3.2.html
@md5 bdedff34a3061c3eeebb829d398147a3
@size 13208
share/doc/coq/html/node.0.3.3.html
@md5 92b033ba3dc1c31a04f2caa655274479
@size 4740
share/doc/coq/html/node.0.3.4.html
@md5 92567feb77b6e353a996c229c3f4f987
@size 76127
share/doc/coq/html/node.0.3.5.html
@md5 af11186ed686870583835dd3975fbec9
@size 806
share/doc/coq/html/node.0.3.html
@md5 bb3c84acefdccc276ea88b7e81cf89bd
@size 3282
share/doc/coq/html/node.0.html
@md5 d21c0eb407d3f4742e77b750b6e38e02
@size 921
share/doc/coq/html/node.1.0.0.html
@md5 eab247b43283b40bd649350200648833
@size 2253
share/doc/coq/html/node.1.0.1.html
@md5 f17d682837f947022a98076e5532a6ac
@size 16340
share/doc/coq/html/node.1.0.2.html
@md5 56b01a7459f8a3e356c1be2f01ae0fa8
@size 2629
share/doc/coq/html/node.1.0.3.html
@md5 3d5a09ae11de413e8ab38a7aa1008b2f
@size 6120
share/doc/coq/html/node.1.0.4.html
@md5 f0ec054fdd5fa1a1a463fba3d34c1cd8
@size 6607
share/doc/coq/html/node.1.0.5.html
@md5 6111d152b704a5474d7208177e3eea35
@size 3317
share/doc/coq/html/node.1.0.6.html
@md5 4cc91489b4f351e56baad7cf064fe570
@size 6822
share/doc/coq/html/node.1.0.7.html
@md5 80f92aac8b2f6314b05e9821798d9521
@size 2656
share/doc/coq/html/node.1.0.html
@md5 e89c1925dc086ab3f0b4799788dce2bd
@size 1097
share/doc/coq/html/node.1.1.0.html
@md5 f48ea1827f985c38acf4b58be999cdc5
@size 8628
share/doc/coq/html/node.1.1.1.html
@md5 ef2be96d9e63664273ce3d478cdee397
@size 2577
share/doc/coq/html/node.1.1.2.html
@md5 92125430e06280171b7b855e15a4952a
@size 4391
share/doc/coq/html/node.1.1.html
@md5 4bcc10525a32bb44b085ec7eae6ecdab
@size 3246
share/doc/coq/html/node.1.2.0.html
@md5 b4019d1ea33292fa269d041257d7acf7
@size 5894
share/doc/coq/html/node.1.2.1.html
@md5 71c761b097e4610644a10f75d4a1f962
@size 2230
share/doc/coq/html/node.1.2.10.html
@md5 b7723789042b934e8b0a93188391c4be
@size 24326
share/doc/coq/html/node.1.2.11.html
@md5 5d663f9ee204a0a7da3d37f95ff08bfb
@size 14840
share/doc/coq/html/node.1.2.12.html
@md5 43155396f83f10815d36b901a5c55009
@size 7946
share/doc/coq/html/node.1.2.13.html
@md5 8d3ce7a88c7acb8ac17ac31ac268a717
@size 3242
share/doc/coq/html/node.1.2.14.html
@md5 7310444197d872dbebaff134b4458efd
@size 1905
share/doc/coq/html/node.1.2.2.html
@md5 8607cefc1e16e231920f47877645f255
@size 28938
share/doc/coq/html/node.1.2.3.html
@md5 0915f7b7fb4a7f364d84d862991c8914
@size 1840
share/doc/coq/html/node.1.2.4.html
@md5 1e9b392e94784d0f56f8aa205f7dc361
@size 15378
share/doc/coq/html/node.1.2.5.html
@md5 21132d60de9a5a1cd261aaf7f99e3889
@size 3753
share/doc/coq/html/node.1.2.6.html
@md5 4237b8c4ac7e05fd7f62f7cb7d651a93
@size 19161
share/doc/coq/html/node.1.2.7.html
@md5 ac9e51ccf0629558651ee1309fb2f826
@size 7605
share/doc/coq/html/node.1.2.8.html
@md5 bbfd53c5ec9043605c23588598b47c64
@size 15212
share/doc/coq/html/node.1.2.9.html
@md5 b29a94955c4eab4579ed906414c5d582
@size 10504
share/doc/coq/html/node.1.2.html
@md5 537887db5dbbc782f36cec9c55f35c77
@size 3986
share/doc/coq/html/node.1.3.0.html
@md5 c7a50eafe7b4b8e3373993a78c87e28d
@size 2690
share/doc/coq/html/node.1.3.1.html
@md5 9fba8f7fe041efd8ce8a5890cb7bd780
@size 4643
share/doc/coq/html/node.1.3.2.html
@md5 76fa243ce862cf3e4c834c024cfa0e46
@size 6107
share/doc/coq/html/node.1.3.3.html
@md5 a42e3f59c417144746434e66997b6786
@size 9310
share/doc/coq/html/node.1.3.4.html
@md5 0be636c0325f120afbeaec91f99603cf
@size 4771
share/doc/coq/html/node.1.3.5.html
@md5 1a903c292d75b9a0a93efacc190abc3c
@size 15805
share/doc/coq/html/node.1.3.html
@md5 6c05ad0101621433120cbf93fee62447
@size 1066
share/doc/coq/html/node.1.html
@md5 937f05c8ff4092965d8697d229beb6aa
@size 928
share/doc/coq/html/node.2.0.0.html
@md5 d02789b03c83929d6ad65e05ad5d1bdd
@size 14839
share/doc/coq/html/node.2.0.1.html
@md5 4134891085fd87210a45be631743ef2e
@size 46235
share/doc/coq/html/node.2.0.2.html
@md5 9444b5f323ca01008936186d01153788
@size 46167
share/doc/coq/html/node.2.0.html
@md5 38f74f1978be5f3a28fe4732f7d61770
@size 2796
share/doc/coq/html/node.2.1.0.html
@md5 a14ce6ba05e648a5dc9e094c3e9ba0f6
@size 12351
share/doc/coq/html/node.2.1.1.html
@md5 dbcaa93cc0e8f907f916fa75720f4372
@size 21383
share/doc/coq/html/node.2.1.2.html
@md5 0cebd47b4bc986071107e79288a1ab13
@size 30661
share/doc/coq/html/node.2.1.html
@md5 a2a261a07dccd74526307561785dfeee
@size 1186
share/doc/coq/html/node.2.html
@md5 541622e3420dc3b3a76e76e3a66fa7a5
@size 793
share/doc/coq/html/node.3.0.0.html
@md5 4b0ddf5387bbabbdc1ca32012e99a330
@size 1632
share/doc/coq/html/node.3.0.1.html
@md5 e4cbff744472a78ec53ae2b0d5e2e546
@size 1442
share/doc/coq/html/node.3.0.2.html
@md5 64433fc16c51fa36418aa931152b3b7a
@size 1413
share/doc/coq/html/node.3.0.3.html
@md5 ad210b39bb231b4707b3aeb3bb5499b6
@size 1437
share/doc/coq/html/node.3.0.4.html
@md5 77da3d766527fc1b9ecb491204f1e497
@size 4564
share/doc/coq/html/node.3.0.html
@md5 c02125d24fc23df3183e435bdc42292d
@size 1757
share/doc/coq/html/node.3.1.0.html
@md5 b1176b8a5f4aaf0396cac5a799c74eac
@size 2957
share/doc/coq/html/node.3.1.1.html
@md5 1b550dd3e3b34339afaeba11fd20a78e
@size 1865
share/doc/coq/html/node.3.1.2.html
@md5 bcb2d47ec0f76aa462c09f1de9b3aea2
@size 2828
share/doc/coq/html/node.3.1.3.html
@md5 bda8a361b41bfd55d391ec8b1ece4b4a
@size 2924
share/doc/coq/html/node.3.1.4.html
@md5 a23dd132e1ab80a73ccc96d6e52b172f
@size 916
share/doc/coq/html/node.3.1.5.html
@md5 8aab571ffb3c7cb8b66633ad9fb50ccd
@size 2995
share/doc/coq/html/node.3.1.6.html
@md5 7626611d2553d9d92f213b81c48e473f
@size 1210
share/doc/coq/html/node.3.1.7.html
@md5 c005b2ff4b261144e092fe29ebce9087
@size 1761
share/doc/coq/html/node.3.1.8.html
@md5 19d15f21bbff8814230a795f4ef59d50
@size 2426
share/doc/coq/html/node.3.1.html
@md5 d9e2f43d048da5e32fdb1935948f7bd3
@size 1582
share/doc/coq/html/node.3.2.0.html
@md5 423df6ff890cdbb907e5905e772856ec
@size 16816
share/doc/coq/html/node.3.2.1.html
@md5 a59a6a802d0b19d9cd7d810d5affc7eb
@size 4783
share/doc/coq/html/node.3.2.2.html
@md5 d91678fef6de658315052dfb5ab47bb0
@size 9790
share/doc/coq/html/node.3.2.3.html
@md5 172e7fbce1fb06e8c2021abcdf82f39a
@size 6569
share/doc/coq/html/node.3.2.4.html
@md5 dc6199899e23be828786a712155cdba5
@size 3026
share/doc/coq/html/node.3.2.5.html
@md5 058620885170bdc9a4c71289fcd4ab0b
@size 3078
share/doc/coq/html/node.3.2.6.html
@md5 2ec89bff32594eabfa94761ba8204e22
@size 3236
share/doc/coq/html/node.3.2.html
@md5 c31547fc4d45f5a588f39a3d8ff9de6b
@size 1526
share/doc/coq/html/node.3.3.0.html
@md5 d6215a9b8beaeebd86672a12f8b4662f
@size 1397
share/doc/coq/html/node.3.3.1.html
@md5 3e44b82139b4945ce361a844fe9155ad
@size 2079
share/doc/coq/html/node.3.3.10.html
@md5 3edb608eac7f2989133372f44f4212f8
@size 13402
share/doc/coq/html/node.3.3.2.html
@md5 18d79e04bad2e310d93192a72dca733e
@size 2895
share/doc/coq/html/node.3.3.3.html
@md5 87ce7ab136167a578a6ec512dac14d15
@size 4123
share/doc/coq/html/node.3.3.4.html
@md5 289fb14330006c0fcbbca83a155856e0
@size 1828
share/doc/coq/html/node.3.3.5.html
@md5 de4fc600bab4115d5deedd50bd59b440
@size 7519
share/doc/coq/html/node.3.3.6.html
@md5 f1f27f5bfe0074815baec37a9f3502a5
@size 1689
share/doc/coq/html/node.3.3.7.html
@md5 02824f81e54787e4d71d8ba7a4b97fc9
@size 1538
share/doc/coq/html/node.3.3.8.html
@md5 6c6fa56ba892c3abf96636addf08bcbc
@size 4341
share/doc/coq/html/node.3.3.9.html
@md5 7cdd806d743302f0522d7b3eb57bc073
@size 1159
share/doc/coq/html/node.3.3.html
@md5 104c5b920e88ff88e9a113d15c3cb220
@size 1533
share/doc/coq/html/node.3.4.0.html
@md5 85219af86521549883a929ad872daf41
@size 4193
share/doc/coq/html/node.3.4.1.html
@md5 ebbc6059dbaeb91563b3ad7da88332b4
@size 2042
share/doc/coq/html/node.3.4.2.html
@md5 f3f915bba9f11256c32af86b14bdec2e
@size 2750
share/doc/coq/html/node.3.4.3.html
@md5 dd492838b302939f2c98c392c694373c
@size 785
share/doc/coq/html/node.3.4.html
@md5 6aacb3a90dd58628cf190c6cbbc98197
@size 1131
share/doc/coq/html/node.3.5.0.html
@md5 8d9286b144bce508570c4357e19558c4
@size 2789
share/doc/coq/html/node.3.5.1.html
@md5 1964e68a5ac822761545740df5b7e5ae
@size 26885
share/doc/coq/html/node.3.5.2.html
@md5 fc8dea3beb6835253285afdf827b11c2
@size 2854
share/doc/coq/html/node.3.5.3.html
@md5 251206026791ecc323660125ccd29759
@size 2763
share/doc/coq/html/node.3.5.4.html
@md5 a9dca9461b243bf7a6177565cb24dc14
@size 3381
share/doc/coq/html/node.3.5.5.html
@md5 55d17d2e96262ca7df71cdbd8fdeedeb
@size 12192
share/doc/coq/html/node.3.5.6.html
@md5 375804d3f934c1f03a64bd3cc2fe268a
@size 1061
share/doc/coq/html/node.3.5.html
@md5 1db00afd9b4b59d2f6c4e337c4690044
@size 1933
share/doc/coq/html/node.3.6.0.html
@md5 a3e11e3f5cf4c3480a628bbad8dd41e2
@size 3675
share/doc/coq/html/node.3.6.1.html
@md5 0be133a3e206e56a9f2d0e94c9aba7b9
@size 8546
share/doc/coq/html/node.3.6.2.html
@md5 60a4b1d8ffbb9ea6b88610fce226540b
@size 2595
share/doc/coq/html/node.3.6.3.html
@md5 971f4bc8c0eb72a04baca9b1b99d31e4
@size 13377
share/doc/coq/html/node.3.6.html
@md5 b208896018df938526b73259dda69aea
@size 2380
share/doc/coq/html/node.3.7.0.html
@md5 5f1d6ef971c7bcfcb23d83244e494106
@size 3156
share/doc/coq/html/node.3.7.1.html
@md5 161921b4fecc61be995b890b1562ec53
@size 2661
share/doc/coq/html/node.3.7.2.html
@md5 46002e50a4386ece9e922d1095f62d64
@size 853
share/doc/coq/html/node.3.7.3.html
@md5 1827ea97ed69990c1b6e3121141d9240
@size 3440
share/doc/coq/html/node.3.7.4.html
@md5 1637ed7f2a64de9a4b52d8c6f0b52318
@size 6864
share/doc/coq/html/node.3.7.5.html
@md5 8cd57896d8a594dfc3b3767146b7d63e
@size 4333
share/doc/coq/html/node.3.7.6.html
@md5 ca130ae40707dd7f8207b163a3b68d0d
@size 3138
share/doc/coq/html/node.3.7.7.html
@md5 76dfff9393b4981080a3de3b78752140
@size 4032
share/doc/coq/html/node.3.7.html
@md5 6be7e49f69c87fd7540cc2aa67498206
@size 1446
share/doc/coq/html/node.3.8.0.html
@md5 0fe817a41b75a5d65f67018fd98c8987
@size 1106
share/doc/coq/html/node.3.8.1.html
@md5 27c3f675d6576e23253b8d64aed769fa
@size 2979
share/doc/coq/html/node.3.8.2.html
@md5 b31cedb24e06a93a19ed19f6828e51d4
@size 1809
share/doc/coq/html/node.3.8.3.html
@md5 37d61b1be6a583b89ab36c7c7c261a88
@size 1654
share/doc/coq/html/node.3.8.html
@md5 92632eb1d9619fbef78a197b65f4377f
@size 1085
share/doc/coq/html/node.3.html
@md5 f9421804bce2b7d53af86b87d9bd9a15
@size 1441
share/doc/coq/html/node.4.html
@md5 c4bf46d6253c205aa69567cf3afc19f0
@size 19929
share/doc/coq/html/node.5.html
@md5 8959983403ae1c7f9d92cc6c93edf1ac
@size 47866
share/doc/coq/html/node.6.html
@md5 ecbd778a642ee635636dac8a13dd403f
@size 10234
share/doc/coq/html/node.7.html
@md5 b9fb5a4f2bfddb22604d914f668ffbe7
@size 15440
share/doc/coq/html/node.8.html
@md5 9d78ca9f8d2a45edcf731451bdbf2ba3
@size 16044
share/doc/coq/html/node.x.0.0.html
@md5 45c3e01b47209525dbf933e03ee5c492
@size 2629
share/doc/coq/html/node.x.0.1.html
@md5 fb8a0531ca92b3f7cd061a6c24576a2c
@size 1989
share/doc/coq/html/node.x.0.html
@md5 bad08c01252659dae2e029789f5008e3
@size 3240
share/doc/coq/html/node.x.1.0.html
@md5 5079f74afc397718a8ae01d1624d7166
@size 1999
share/doc/coq/html/node.x.1.1.html
@md5 9c4996b3a0dae6bf43a64e32a0d9a83b
@size 2652
share/doc/coq/html/node.x.1.2.html
@md5 bd3b432c44a48913e14c00407b0cfd35
@size 1727
share/doc/coq/html/node.x.1.3.html
@md5 25eb55fab3a5630eabfc91f1396b6337
@size 4253
share/doc/coq/html/node.x.1.html
@md5 df91666fddc63da755a536e3e58d64ca
@size 13038
share/doc/coq/html/prev.gif
@md5 cc7b7832ab3b52a5695451ff075b1e36
@size 144
share/doc/coq/html/root.gif
@md5 6eda5a0fa21f1ced86952f2f6d32ce3f
@size 140
share/doc/coq/html/sub.gif
@md5 8e2d2b49d9cd657d9ff526890ea06af6
@size 145
share/doc/coq/html/toc.html
@md5 5db33f5b59a77f0a5ad6c856fc2b5a5f
@size 12939
share/doc/coq/html/tutorial.html
@md5 ed4411342c6fa9f4ff1321771cf7abca
@size 152741
share/doc/coq/ps/RecTutorial.v.ps
@md5 b0e3f68fa326e64cac569f9b0da098a1
@size 562794
share/doc/coq/ps/Reference-Manual-all.ps.gz
@md5 eb979cd0bdb66956e9e1aa565841c6c2
@size 375587
share/emacs/site-lisp/coq-inferior.el
@md5 6760f9d7587e5a9606458acd0d2789ca
@size 11606
share/emacs/site-lisp/coq.el
@md5 4c5493a16889e2b0f361f0a7ac971476
@size 7010
@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
@md5 9b6aa67bb7ee1f47a2e0c1bdf35436b8
@ignore
+DESC
@md5 828979316803a787c68fe3f53a32e6bb
