معرفی شرکت ها
coq-core-8.16.1-1.fc37.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.16.1-1.fc37.x86_64.rpm |
| نسخه بسته | 8.16.1 |
| انتشار بسته | 1.fc37 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Sun 27 Nov 2022 06 |
| هاست سازنده | buildvm-x86-08.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 151M |
| حجم نصب | 525.349M |
Coq is a formal proof management system. It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.
This package includes the Coq core binaries, plugins, and tools, but not
the vernacular standard library.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| coq-core-8.16.0-1.fc37.aarch64.rpm | 8.16.0 | aarch64 | Fedora Everything |
| coq-core-8.16.0-1.fc37.x86_64.rpm | 8.16.0 | x86_64 | Fedora Everything |
| coq-core-8.16.1-1.fc37.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.0-1.fc37.aarch64.rpm | 8.16.0 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.0-1.fc37.x86_64.rpm | 8.16.0 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-1.fc37.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-1.fc37.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.16.1-1.fc37 | coq(x86-64) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.10)(64bit) |
| - | libc.so.6(GLIBC_2.11)(64bit) |
| - | libc.so.6(GLIBC_2.14)(64bit) |
| - | libc.so.6(GLIBC_2.15)(64bit) |
| - | libc.so.6(GLIBC_2.16)(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.2.5)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.3)(64bit) |
| - | libc.so.6(GLIBC_2.3.2)(64bit) |
| - | libc.so.6(GLIBC_2.3.4)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libc.so.6(GLIBC_2.4)(64bit) |
| - | libc.so.6(GLIBC_2.7)(64bit) |
| - | libc.so.6(GLIBC_2.9)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.2.5)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f98827dcd70d54140f3afa5af18218b1 | ocaml(Big_int_Z) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = 6d7bf11af14ea68354925f3a37387930 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 994a14f10d5ae081663b52b790ee11d3 | ocaml(Stdlib__Bigarray) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 3d02c33317c0108c61e7a5eefa37519a | ocaml(Stdlib__Bytes) |
| = 62afe57b49defcc078960a68b9efbbee | ocaml(Stdlib__Char) |
| = 4555217c759e89d65daa8f682eb09b35 | ocaml(Stdlib__Complex) |
| = 61f6495d3274a42a78a63425ef892290 | ocaml(Stdlib__Digest) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = 85bf10913cd5901968e9c2a8e59c2cd8 | ocaml(Stdlib__Ephemeron) |
| = 3bcff250dd30a0e620fa7546882aaadf | ocaml(Stdlib__Filename) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = 115c0563d80d54e1e845b108f10caa33 | ocaml(Stdlib__Fun) |
| = c3ec15218bd26e175e6d959e216eb39a | ocaml(Stdlib__Gc) |
| = 34c0fdd524bf2a75e4d5af64a6d34401 | ocaml(Stdlib__Hashtbl) |
| = a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
| = 0fa5587c47baf16a06837c7dedfc2518 | ocaml(Stdlib__Int64) |
| = 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
| = c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = 978f82916b5a172c11d2b72719d85680 | ocaml(Stdlib__Map) |
| = 182731e5f563b7657acd24ad778f3615 | ocaml(Stdlib__Marshal) |
| = 989149bf8f2ce1a89fecbc3f5f40f52c | ocaml(Stdlib__Nativeint) |
| = 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
| = ae914d0568e8b6e482a66bbd62a4432f | ocaml(Stdlib__Printexc) |
| = bc8af6214197dc8f40eaa738a4cd6a28 | ocaml(Stdlib__Printf) |
| = b066724fe533c7b8fc9b521e37aedad8 | ocaml(Stdlib__Queue) |
| = 81e43bab9bd47bab804eb6e582306de1 | ocaml(Stdlib__Random) |
| = 5bfc827c9980349e00f2aa1f5eade58f | ocaml(Stdlib__Scanf) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
| = 30ae8c258e7fc6fb7e6370a60256d724 | ocaml(Stdlib__Stack) |
| = 510a78f010f6c530a911189d7538d002 | ocaml(Stdlib__Stream) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 28f276c430fdc51a3a10691d3066b26a | ocaml(Stdlib__Weak) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 514c63e7d96516ff4c601fe47900a52d | ocaml(Str) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 983c2f7f94dccdbf1dd5cff463833dce | ocamlx(Abbreviation) |
| = 8b0ec4c1882da5a1b1d495b39a42e958 | ocamlx(Abstract) |
| = 4968464ee67a63aa5b086d91e652cc60 | ocamlx(AcyclicGraph) |
| = bf16ad29d8ac6ac327686ea8091c8554 | ocamlx(Arguments_renaming) |
| = a1b82b9c10de7865e3fad37386cfa7ca | ocamlx(Assumptions) |
| = def651f105a53b7c5c09741ea1ebd1f9 | ocamlx(AsyncTaskQueue) |
| = 2c2f86ffa520b0eb0cc8c8daf5eb325a | ocamlx(Attributes) |
| = b1e3bf6d748fd72b830b0bdf72edc482 | ocamlx(Auto) |
| = 03e8fd5c9c8dc8a63fa9f3018550062f | ocamlx(Auto_ind_decl) |
| = ed5d38d41ad6ee1d827211e572e09fe0 | ocamlx(Autorewrite) |
| = 0af5198bd2ee15bd52ac9391adde987c | ocamlx(Aux_file) |
| = 60ab8080e198343ac2d798bc4b98d698 | ocamlx(Big_int_Z) |
| = f65db59808a730d8171b552916e04e68 | ocamlx(Boot__Env) |
| = 3283bdb02fa7226af39ef26213a7ea3f | ocamlx(Boot__Path) |
| = 7f85b96cf7e58f20280fe3b3e7ebac5d | ocamlx(Boot__Usage) |
| = 4808840948928023f2afa8fd13d2fe70 | ocamlx(Boot__Util) |
| = eb1af4ccb0a5242fe008cacd93efcd8c | ocamlx(Btauto_plugin__Refl_btauto) |
| = c1967671fe62036c31944c2a7b426e78 | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 7e8a992548fc536596d966bb81ba2a23 | ocamlx(CClosure) |
| = 44830911f66398d4b7ec6a56f069820f | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = c154465daad33d0f00f7f16d653a8a7d | ocamlx(CErrors) |
| = be7fcc53f362dc100fdd820994e76579 | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 03785bc3e6d764df17dd6dcfecf9fcbf | ocamlx(CPrimitives) |
| = 317fcf9870e50b8d078b590d24127681 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = a1059694c66fc9e67d334edb767f9f67 | ocamlx(CWarnings) |
| = 162669b09093ea11100da3962b876e9b | ocamlx(CamlinternalLazy) |
| = b1cf5908bd32decae56ba9dbb3154081 | ocamlx(CamlinternalMod) |
| = 43e771c10534ef3909ac034b98586f48 | ocamlx(Canonical) |
| = 10e2da662a90934a8e9dadd60bda48ad | ocamlx(Cases) |
| = 252c5e24d9a6845f9961bae33f46b63a | ocamlx(Cbn) |
| = bea834ff1bc60894f0a2ca285efe817a | ocamlx(Cbv) |
| = 70ee02bcd4aab7dc16d7c19c64f760e6 | ocamlx(Cc_plugin__Ccalgo) |
| = 90e9ece282d17a14c6c5cc27f922b2c7 | ocamlx(Cc_plugin__Ccproof) |
| = 1477fafe43a208818a33fa136580a880 | ocamlx(Cc_plugin__Cctac) |
| = a5e7ee6782dca62125a45e1a8c8e4a8d | ocamlx(Ccompile) |
| = 8c8eea20669e2d7478ce1a127805d8dc | ocamlx(Class_tactics) |
| = 768b705d88c8410ee847f44ee9df4794 | ocamlx(Classes) |
| = bc35cab64502731d88cec908c1791080 | ocamlx(Clenv) |
| = 465d53e9582c064963485d84e654069e | ocamlx(Coercion) |
| = 75490b266d0d3922e121a7ee2cdf83b8 | ocamlx(Coercionops) |
| = debc849be55ade0c56217fd734bbb15c | ocamlx(ComArguments) |
| = e47feafc12b862e25e69e5827e990c5a | ocamlx(ComAssumption) |
| = 529b2806545b7402fdc457f4992ce68e | ocamlx(ComCoercion) |
| = e34f69e9feca4c11101c19a65bd2358f | ocamlx(ComDefinition) |
| = b4fc9fabbf8bb0f43777cd19e2e421eb | ocamlx(ComExtraDeps) |
| = 9e689770ff22f73710d9ed54a5c5b1f3 | ocamlx(ComFixpoint) |
| = e97035c08e73bc02c018e9e08fcfc586 | ocamlx(ComHints) |
| = 46c40ca5af3a8ddd58f2d951a5d3cf08 | ocamlx(ComInductive) |
| = 0c1c5812802fd5cacc7cec0552f24f67 | ocamlx(ComPrimitive) |
| = 9fddcdf19f98b2689b911641c3a2278e | ocamlx(ComProgramFixpoint) |
| = a77bdc47bfc673490cd7b55fbbae6ecd | ocamlx(ComSearch) |
| = d13c334e96ce8f495a71e6ce0aefe40e | ocamlx(ComTactic) |
| = 7735c6a072870e7ee10962d798a00540 | ocamlx(Condition) |
| = 6954b216526939692b26b43c369ae556 | ocamlx(Constr) |
| = ca100238f96919f5cbdcd772fcdbfb98 | ocamlx(Constr_matching) |
| = 5c6721a12cd7e9148217ad8507d0a432 | ocamlx(Constrexpr_ops) |
| = e91ac919b924d2f56ee87a033a6c9231 | ocamlx(Constrextern) |
| = 9fcfb46cbc735de656322f8188fe4809 | ocamlx(Constrintern) |
| = 91e3d09bc7fe18e20f7894c364aa4893 | ocamlx(Context) |
| = cf417325ded85b8f0268bb442d45b3e6 | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = b4c1d148150aa14a6e0751c6c4106aae | ocamlx(Conv_oracle) |
| = abf6a9ac75a3b443c9b7c2b4abad3913 | ocamlx(Cooking) |
| = 77531b2a2e5c550276c2948a7d124efe | ocamlx(Coq_config) |
| = 0861cc6d311fae44ce8c4a6a5f35a509 | ocamlx(Coqargs) |
| = d805cf348155fbed5e7266aed1501ddc | ocamlx(Coqcargs) |
| = e00843b3b1ba0c624b8f9e995aac2f1d | ocamlx(Coqinit) |
| = 91badc7a623704b62ffbfabe6b99e7e7 | ocamlx(Coqlib) |
| = 6db1ed66a7ae873120d9a2582e135110 | ocamlx(Coqloadpath) |
| = 5eaf126d8bd77c6aff4677ee6b172469 | ocamlx(Coqloop) |
| = 4e96b393e5e6921e9f737e1dae14c495 | ocamlx(Coqrc) |
| = 0edb8871e86f42b09eef21f769396c5e | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = a919360fd2759d2a06e3203c1494d812 | ocamlx(Declare) |
| = 1c421b74780e69a8964eab3aac311f66 | ocamlx(DeclareInd) |
| = f4d7c287f843a01bbda70ea6fc175e05 | ocamlx(DeclareScheme) |
| = 0d3941c0931c8125f56fc40e3be18988 | ocamlx(DeclareUctx) |
| = 3a6173a1b491dd1253991a8050266ad5 | ocamlx(DeclareUniv) |
| = cf57b15399143b5e5bc9871241f7df58 | ocamlx(Declaremods) |
| = c9db1ce7a3d7ce7e9d3cc5ffdda825e1 | ocamlx(Declareops) |
| = 2404c0bf83b15c4ffdf9b554f5d6820a | ocamlx(Decls) |
| = e2204daf59cec4dc201ab81430a8c8d5 | ocamlx(Deprecation) |
| = fb701c9d5fb94d928845582a99a2fe0b | ocamlx(Derive_plugin__Derive) |
| = 2bffaadb91fff0443f912a676c315fac | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = 7fa206d1f9d029b8d312500314ad1e1c | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 87bf49eb204c8f03f34aab2cea6838e5 | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = e18097515416b9553db8d444dc4b5d85 | ocamlx(Dynlink) |
| = 4228bedf423ccc95f10d7db5c1428b6b | ocamlx(EConstr) |
| = 266fde7ac77a5289c5f2d49f4a1c42b6 | ocamlx(Eauto) |
| = 46a835c26c2bd17ecd96d7386242d401 | ocamlx(Egramcoq) |
| = 163e9df3c0abd0d453c18e66d14db493 | ocamlx(Egramml) |
| = 4064e57fe3f478149625ae803baaf441 | ocamlx(Elim) |
| = 8bed683caf7ca5912852a4f44ee5a554 | ocamlx(Elimschemes) |
| = 21e931f65edf084fdb248f2fba914814 | ocamlx(Envars) |
| = a3974bc98eacefe4df6c01f4bba611c8 | ocamlx(Environ) |
| = 4a8a8ba4dcc89eafee0a4a3f2d89d61f | ocamlx(Eqdecide) |
| = 377b919756b614c70225ec27f948b165 | ocamlx(Eqschemes) |
| = e710d34601f804e6a1c179c26f7199ea | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = 997e08fba1bfbda61d36ba97b599f330 | ocamlx(Evar_refiner) |
| = aa21133808a39ea500d2218e8dbede6b | ocamlx(Evarconv) |
| = 82aa79412a61a3d815939cb6dd4b799d | ocamlx(Evardefine) |
| = ed87ece3f5e3d29b560212ce238022b5 | ocamlx(Evarsolve) |
| = dc18b28ed82ffa03a0e8467a5cf11c74 | ocamlx(Evarutil) |
| = 994d56e9d03770f5403782e4aee69073 | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = 29eb4a72be107dca739ca5e00ea37cf4 | ocamlx(Extend) |
| = a9b8d41656f73346482afbdaaedfafb6 | ocamlx(Extraction_plugin__Common) |
| = 74aea4b69c593fc8fda45be4d4610a69 | ocamlx(Extraction_plugin__Extract_env) |
| = c9cc66ba046bdee5558771a6ae36b734 | ocamlx(Extraction_plugin__Extraction) |
| = a7111105eadb2acf157452eac12331ad | ocamlx(Extraction_plugin__Haskell) |
| = 67accc46389929ce5da0cab34b45d882 | ocamlx(Extraction_plugin__Json) |
| = e3cf5cc97c69d5e95f24192fa12f4a19 | ocamlx(Extraction_plugin__Mlutil) |
| = 4dfea35f56cdc84af701336665e6eaac | ocamlx(Extraction_plugin__Modutil) |
| = 4d4e24461d54a5c1f0370d2d81ec3f4d | ocamlx(Extraction_plugin__Ocaml) |
| = bb5bacd6af8a13a8ae54bd20b9266c6c | ocamlx(Extraction_plugin__Scheme) |
| = 8dfe2356849692f4509249d79db1c399 | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = d42c587f2617ffe13cfbaf3f30bb0010 | ocamlx(Find_subterm) |
| = 45967d62f127af95e8d26c045f2c4ad9 | ocamlx(Firstorder_plugin__Formula) |
| = a973652106bd0eaa5396dbf22456be22 | ocamlx(Firstorder_plugin__Ground) |
| = 386576aff2b0d7092f0d442d42789080 | ocamlx(Firstorder_plugin__Instances) |
| = 5e2fea7fc87e4f84d9ab9a72de2ec028 | ocamlx(Firstorder_plugin__Rules) |
| = 4d1553956d8d798a73bc93c94221f98d | ocamlx(Firstorder_plugin__Sequent) |
| = 002d9eac408446e1697dbb53b698f00f | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = 6f8d39e42bf2862df312113824353f1f | ocamlx(Ftactic) |
| = 924b33330b772d3260569e0640c14aec | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 901f7c0521b40c56e920ec0111a48cd1 | ocamlx(Funind_plugin__Functional_principles_types) |
| = b5623553c3aeb58e8e0778fcfc0f7857 | ocamlx(Funind_plugin__Gen_principle) |
| = a69cee6a3c544bef4c71602401a5eec2 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 29079bd0bb22cb8e39b75adeadc7a32d | ocamlx(Funind_plugin__Glob_termops) |
| = 7fa5bef1a8a6965f68ab04121b30cac0 | ocamlx(Funind_plugin__Indfun) |
| = 336a5897a5e3b1a092df292d900e89f0 | ocamlx(Funind_plugin__Indfun_common) |
| = b47ed7e4850b79ee4e6bd0b604b86d41 | ocamlx(Funind_plugin__Invfun) |
| = 65cab4b925a9dae514f64aa9c572ff73 | ocamlx(Funind_plugin__Recdef) |
| = 7b4845bd979fb6b41d0ee3025679206b | ocamlx(Future) |
| = e8b9635a6f53fc82e4c932a1ac028946 | ocamlx(G_proofs) |
| = 50a19576920028b54f638c89ab959378 | ocamlx(G_toplevel) |
| = f7421c88baf51402797492b7c2d8638d | ocamlx(G_vernac) |
| = 09a972dec937d95f342a3b496e40a911 | ocamlx(Genarg) |
| = 9f8d1d25eb8bcdb3b56fff84ddb67a45 | ocamlx(Genintern) |
| = cbc7d5b08d88a997d23a3d48bbbeb738 | ocamlx(Geninterp) |
| = 685a6dbed26fbceb6f3b907471b4d9e3 | ocamlx(Genprint) |
| = f6d6c79714a9455664473c1b3f31ff9f | ocamlx(Genredexpr) |
| = 65169d96e0f5a6f6417c05bd1eda43a7 | ocamlx(GlobEnv) |
| = d3fd3efd7f4042846e0441d5eda8439e | ocamlx(Glob_ops) |
| = e0f1eb492efd37e828a567f8370b6985 | ocamlx(Global) |
| = 5c34985a214caa28ce127da1661aeb5a | ocamlx(Globnames) |
| = 53e71fed323477ff90f1a88385ac1c35 | ocamlx(Goal_select) |
| = 93baad7c22e2a96b5dc9fcdf6681ffdf | ocamlx(Goptions) |
| = d585d8651352131aafd1529f9d857356 | ocamlx(Gramlib__Gramext) |
| = c567e2123eb288f31ddffe358e669aa8 | ocamlx(Gramlib__Grammar) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 8be9cde4aa0b44588cf53a47b5412166 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = 3937a048800302ceba6f695f6acfc415 | ocamlx(Himsg) |
| = 3c9046db0fe6152040dd90369682c51f | ocamlx(Hints) |
| = b97a1b84ac43ded47e446b91bde1c2eb | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = 1237261259b96e25fddd64ef4f8513dd | ocamlx(Impargs) |
| = 6e2b8c52c56277eb48b4801cc3c15c64 | ocamlx(Implicit_quantifiers) |
| = 997641b51eb068e2c85fd0a31be83876 | ocamlx(IndTyping) |
| = 6935dd23f79ca119ed42aae1c1c86215 | ocamlx(Ind_tables) |
| = 9629e2aeebe69ff65d3c1e004e698dc1 | ocamlx(Indrec) |
| = 9587fe0ef7b90a20aef0d07ddf68007e | ocamlx(Indschemes) |
| = f7be712fc9736098b5805e4990078a33 | ocamlx(Indtypes) |
| = 5a3b0222a84e831db18b8443242af85f | ocamlx(Inductive) |
| = 172c74b40e52af3c1e1f9b6052a4544d | ocamlx(Inductiveops) |
| = 302b96dfa64986bd51975802925d090b | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = 1f9ebc9b63f315f5503a57cc74cb535b | ocamlx(Inv) |
| = 2e185ac1f7d1ef5d9eb446c408dd395c | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = cc4ac14f4907c73988229315f11ccca1 | ocamlx(Lib) |
| = 6d0b658750284b157a5584c5d1fa3b45 | ocamlx(Libnames) |
| = 7ff465b8b9318202ae13bdc8cc6df94f | ocamlx(Libobject) |
| = 4a698b2d1b7b97c5b923108cd57f7361 | ocamlx(Library) |
| = 63c7a2e8e57091e82e254e04a419e8d7 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = 4469f81b50f200ebf446fbba65b09860 | ocamlx(Locality) |
| = f616b012564b0e6ad8537382e411a1d3 | ocamlx(Locusops) |
| = 4c844345ffedf2bdd3d13b335b0fc612 | ocamlx(Logic) |
| = 7e0f343d399d7374a7e8dd19c479d62b | ocamlx(Logic_monad) |
| = d47913f37a00071cb2cb9f5275ad66cb | ocamlx(Ltac2_plugin__Tac2core) |
| = 33a8769f5f87e89adc9f0e97b4c0cc90 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = f577386512bb4b64f81e8f5282b70c21 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 1fb7981f36b8603a314e4d9c308cecd6 | ocamlx(Ltac2_plugin__Tac2env) |
| = 596c6c3620d40dcadce8b0edd40098f2 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 7c98b57001e5dd6adb94f00bb12a749e | ocamlx(Ltac2_plugin__Tac2ffi) |
| = cf3d125871b461524e35f1b3aa1db2cd | ocamlx(Ltac2_plugin__Tac2intern) |
| = 19819d083ecf80094879bfa9ef02758c | ocamlx(Ltac2_plugin__Tac2interp) |
| = 5a25c7d19471f6baf440b67af8fe3b07 | ocamlx(Ltac2_plugin__Tac2match) |
| = c4f0bcb790853570dfef071ecdbd5e3e | ocamlx(Ltac2_plugin__Tac2print) |
| = aede7e6dc2e43dce3872097a1b954a02 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 9b51ce2862785a1fe40eae7bb06aa59f | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 20afe449d2995829d30f143515277a35 | ocamlx(Ltac_plugin__ComRewrite) |
| = cc4f80738297c7a7f270e04b0329d184 | ocamlx(Ltac_plugin__Evar_tactics) |
| = 47018dd4299522523f3c2c115be00a54 | ocamlx(Ltac_plugin__Extraargs) |
| = dce44d4e7111687d81e4563b88edaafb | ocamlx(Ltac_plugin__G_ltac) |
| = a047e3110ea7db0785936b5a1404e1b3 | ocamlx(Ltac_plugin__Internals) |
| = 940e8c01add0e3523ae4cd82e84fb511 | ocamlx(Ltac_plugin__Leminv) |
| = 3210395dfc809ebeb9745695b1336c02 | ocamlx(Ltac_plugin__Pltac) |
| = b22e21f2b25f88868b9f441a0f5b4c48 | ocamlx(Ltac_plugin__Pptactic) |
| = 8739e3d0401b4ce57fcb3a80194ae83c | ocamlx(Ltac_plugin__Profile_ltac) |
| = 975b93d5c89b5646c886bcfa38cfbb34 | ocamlx(Ltac_plugin__Tacarg) |
| = d6044f42bdb9dc3eaf51496b4e2a2afe | ocamlx(Ltac_plugin__Taccoerce) |
| = 66572fed95f5b671bd1d02afc2072f02 | ocamlx(Ltac_plugin__Tacentries) |
| = cd4ba02044057de9ae098197140675b2 | ocamlx(Ltac_plugin__Tacenv) |
| = 53468181454650689df13d9bc3409f1d | ocamlx(Ltac_plugin__Tacintern) |
| = 7ebf3d3089922f4ba8e0df8121180a29 | ocamlx(Ltac_plugin__Tacinterp) |
| = b8742e562022302d4d4dcbb108334baa | ocamlx(Ltac_plugin__Tacsubst) |
| = 6d33c82ef085a424c30e60befadd47cb | ocamlx(Ltac_plugin__Tactic_debug) |
| = 1aba2c658e6e3c2831b4b4e3c327f1d7 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 5d8ec3eedab980a59563a6e14224d27f | ocamlx(Ltac_plugin__Tactic_option) |
| = 64858b63fa06abb79414e3d3f86730eb | ocamlx(Metasyntax) |
| = 28eaf1d6268f1246c13c281b560cf2dd | ocamlx(Micromega_plugin__Certificate) |
| = 5cc685e9f382ef7cf1b86a47e61ab8ed | ocamlx(Micromega_plugin__Coq_micromega) |
| = 17529e5fed3bcfc0e7ee44b8e25ee498 | ocamlx(Micromega_plugin__Linsolve) |
| = 38c4826a75a45e37136962ea89519166 | ocamlx(Micromega_plugin__Micromega) |
| = 204808b973c684a294f3b3d1712f1b05 | ocamlx(Micromega_plugin__Mutils) |
| = d509d24e88893307b9f7602197525f29 | ocamlx(Micromega_plugin__NumCompat) |
| = c45b3eb8979f8e3ef21e2ae68ea2e082 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 64d2efcb3f97b46789b7aea04c6e9717 | ocamlx(Micromega_plugin__Polynomial) |
| = 756bfde86410af02dc8056b0599176d3 | ocamlx(Micromega_plugin__Simplex) |
| = 707f04ee07364ac2592a8ef0564d65c5 | ocamlx(Micromega_plugin__Sos_lib) |
| = 43e02a11d2bfa7ed04362a5c84a5fb85 | ocamlx(Micromega_plugin__Vect) |
| = 16bdcb07a12df63d756533908ac0836d | ocamlx(Miscprint) |
| = e10d97de39e8f45e5cb1bd0e4b0c23dc | ocamlx(Mltop) |
| = 2f01122efca1cfa1f5961ef2c40e8769 | ocamlx(Mod_subst) |
| = 05d63318aab857201bb72b4e3172282d | ocamlx(Mod_typing) |
| = f08ebeff6cce482ca458f2aa22263d57 | ocamlx(Modintern) |
| = 9edc2d362326186161bbeb7ab77d4416 | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = bcb90f32e1d0663edfa23f9b0f06493a | ocamlx(Mutex) |
| = 53b6def8f37bfea9605da45321e23e2a | ocamlx(Namegen) |
| = 901ba7f9949ff6e9b129b1ebd6099ba4 | ocamlx(Nameops) |
| = 5743a290f81ad4670e2f6954bdfc2d78 | ocamlx(Names) |
| = 81107216596c68a21d195268ac1de800 | ocamlx(Nametab) |
| = 25dd46105be7e78ba71f11e778374924 | ocamlx(Nativecode) |
| = f57c4ec9480ae7f9addf63c75c9ad817 | ocamlx(Nativeconv) |
| = e19ade7e376cc7ca86992ddff84ceeea | ocamlx(Nativelambda) |
| = 39f4805334a70ca67ce4888c06a771c8 | ocamlx(Nativelib) |
| = 376bfe4d7a46cacc02f25c5cac930e4b | ocamlx(Nativelibrary) |
| = 9729947fb8be96162424a7e3e44d6076 | ocamlx(Nativenorm) |
| = c6cb05a1550531a6790b95fa67b03342 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = 93ba24664583749622b51a34af4b3d73 | ocamlx(Notation) |
| = 474b5e8d3fa9bac30d87ce23038ed618 | ocamlx(Notation_ops) |
| = 9a4e26e99176d0da5fed10c2b28df7bb | ocamlx(Notgram_ops) |
| = 0f3c58af91f78bfcccb2d5a3137e3b29 | ocamlx(Nsatz_plugin__Ideal) |
| = 0323bd6997d5b659753bdad8faf6f544 | ocamlx(Nsatz_plugin__Nsatz) |
| = e061ba75629de9c485c4fd37d0dff5f7 | ocamlx(Nsatz_plugin__Polynom) |
| = 2813815ebe47cecaa44c96148755e371 | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 9465ee359208493d462daf31e83d6aad | ocamlx(Number_string_notation_plugin__Number) |
| = a99b5618e135670c555993f525041cfc | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6dbdd4650c2d804b92f77323d303ff25 | ocamlx(ObjFile) |
| = d40319e8831d0239875ac4f7b42f8dbe | ocamlx(Opaqueproof) |
| = 91851b13963adbe76c10f18c0af5d93a | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 5183408898c42af18ebaa3fed7c1252e | ocamlx(Parray) |
| = 923d97c0a97b92d5f0ef2a631cfa1bbb | ocamlx(Partac) |
| = d6d5c807c2b82f4d91f2844f01b7201c | ocamlx(Patternops) |
| = 15e50e72870631df4b256fcca4f31d4a | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = ec8f4dc88ea2a7df744b6e621e05c22c | ocamlx(Ppconstr) |
| = 45f0272f7b2147629665d85ae30da11d | ocamlx(Ppextend) |
| = fa3854abd4fe10e459b2ffd14f5a4973 | ocamlx(Ppred) |
| = 4cfe639e3f6a99d6ed40bfb9b16314ba | ocamlx(Pputils) |
| = 613d7a1986f2e73c275d60386e6a6ebb | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = b5ef8723c5e18dfc95f8c63219856bb6 | ocamlx(Prettyp) |
| = 9c972f9b759aa8d3991e09a9c72d9a2e | ocamlx(Pretype_errors) |
| = a0c3c1b3d95f26b6ef7db4851be6efd2 | ocamlx(Pretyping) |
| = f000985eb431879ad458f83f8de06327 | ocamlx(Primred) |
| = c9b084767a0a745c266666b9ac94eaa4 | ocamlx(Printer) |
| = 4f9f86030b18d8855c0862640808c9fa | ocamlx(Printmod) |
| = 9d35dd1ffa6ec3d9bdbe7ff762a85aeb | ocamlx(Program) |
| = 769b2f837cb6d13a51f54561cd4470e1 | ocamlx(Proof) |
| = a319c0d2c36bd9781fef65af6fb43770 | ocamlx(Proof_bullet) |
| = 5ac4357aa450a1193b6e884fa329f1a0 | ocamlx(Proof_diffs) |
| = 0049d7b4b7ed57fec0e7281e2264ce1d | ocamlx(Proof_using) |
| = 3dd59c38d935164fd1852338d9d8c21f | ocamlx(Proofview) |
| = 73edf6ea1f8c15ca2f6b095093201789 | ocamlx(Proofview_monad) |
| = e57b3c4984d188abd0cbe8c248038e8a | ocamlx(Pvernac) |
| = a713b639811e122e801cef65d324234e | ocamlx(Q) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = dc196a2fcdd4423144287614b737bbce | ocamlx(RecLemmas) |
| = 494a41202fc8a62e07f135156ca4918a | ocamlx(Record) |
| = d46e4236aa360bb6bd2246b7125cc96d | ocamlx(Redexpr) |
| = 2807966eccb6d26f91c4adfb69b0a755 | ocamlx(Redops) |
| = dbe930053835afd0cd5c129454ec32f0 | ocamlx(Reduction) |
| = 6ec99de2ec3bc6b5e7b72b96751a49d2 | ocamlx(Reductionops) |
| = 179eb157e358112dfff19fcff8e254d4 | ocamlx(Refine) |
| = c59087820bbeeab70311428ec68c2e80 | ocamlx(Relevanceops) |
| = a5c8a1060f6dabf1c5c90aabc74beea0 | ocamlx(Reserve) |
| = 52dce0725f453d97635970a7468a3736 | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = 7e003254407652d0b5fbabf8ae246483 | ocamlx(Retyping) |
| = f9ff97539fd2daa8a5ed746c6b15859e | ocamlx(Rewrite) |
| = 411512dfaa9bbfd6d95afb5b4a47cc4f | ocamlx(Ring_plugin__Ring) |
| = c7d915574cfbdc9b252d7c37a23c5bca | ocamlx(Rtauto_plugin__Proof_search) |
| = cc4459792e77fdc80e9280254dbbaf14 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = feb5b582301756fe42e70b0bcbb90200 | ocamlx(Safe_typing) |
| = b386c49adad5ed7c3d87b03cbf3ccb6f | ocamlx(Search) |
| = d5929ac91b2f724062b4b15d6f5f3809 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 28aab43df78616e8192d485e6c90d541 | ocamlx(Smartlocate) |
| = 2eb00e32d1150f40e41c1ea19ea6ab10 | ocamlx(Sorts) |
| = 18d05196468b0ff94746e8cd06f0a1ec | ocamlx(Spawn) |
| = c760f65750c4605b63b9d781ec8784ca | ocamlx(Spawned) |
| = fd65eb3d4811278c37b1aea7d3133148 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 2ac57af98b5460bc6a9af4b746ac48ec | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 0ef72ae622f8065aed315f66beb2e8e5 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 078d0cc99059f0a72e1e0e997b03f83e | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 36b559bff3586d629d965a1e613f6319 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 6780adc139a50308dcd4de195b644d81 | ocamlx(Ssreflect_plugin__Ssripats) |
| = ccb85e11638ce2e2aeb21cef9fa8b0f2 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 61f6bd4c0c2af24511a6f32ceffab037 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 7a0420f5c79c52eba49c5a6e711092e7 | ocamlx(Ssreflect_plugin__Ssrview) |
| = bd99e6eb7685e0d62aac4ab18eaa4e90 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 163885f162948c87e57eb3e47563b407 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 812cb6e3ea58ba3d214687009ca7866b | ocamlx(Stdarg) |
| = 38e227ea48015bcdfb5d9a4f1cb2689a | ocamlx(Stdlib) |
| = c17b2f7cf4a4cce9bfec4b26eec495f7 | ocamlx(Stdlib__Array) |
| = ec734da0dbd1f4871a6e468dd99f1edb | ocamlx(Stdlib__Buffer) |
| = e596dc3e9601d184f8fb9caa16ebc39e | ocamlx(Stdlib__Bytes) |
| = 10c8fcef55e12a07a1c4ab479d07547d | ocamlx(Stdlib__Char) |
| = b1afec0ae33fff7434ae1060305691f5 | ocamlx(Stdlib__Digest) |
| = 798ec24cbfd278de996827b3ee57f9af | ocamlx(Stdlib__Ephemeron) |
| = bb85b1b67a0eed0835203615c014e867 | ocamlx(Stdlib__Filename) |
| = 252dee0ca8b365189f2ed175e3779e3c | ocamlx(Stdlib__Format) |
| = f6f8c691124d6e7b9b9b3ca967644a42 | ocamlx(Stdlib__Fun) |
| = e35fd114c1210e06cfdf8cb8e368628c | ocamlx(Stdlib__Gc) |
| = ffa6c0b4e31fbd58c5b0b7fda03f991f | ocamlx(Stdlib__Hashtbl) |
| = 902c74c2fdd5555916320d907ba89f7f | ocamlx(Stdlib__Int32) |
| = 8a6af33b06c097c633dbf42a56b24bd0 | ocamlx(Stdlib__Int64) |
| = 7c884197066b622803d08bb919760f07 | ocamlx(Stdlib__Lazy) |
| = 55527cfeed14dbd1464fa9bc64111883 | ocamlx(Stdlib__List) |
| = f184f9d40bdaddd2e3d8a36b51d5f55f | ocamlx(Stdlib__Map) |
| = 3e832c8ffc49756e959e1c2d30cc4c09 | ocamlx(Stdlib__Marshal) |
| = f4a3fd2b3174036e9e913e92c4f7b2ba | ocamlx(Stdlib__Obj) |
| = 91d35af34dfc354f724931b058a14954 | ocamlx(Stdlib__Printexc) |
| = b5325f43d38afc618da7b0fb873c7faa | ocamlx(Stdlib__Printf) |
| = 2cf30720dec187835200485a0eda7f62 | ocamlx(Stdlib__Queue) |
| = 4e7342c0bcf9660dc77ca008890965fc | ocamlx(Stdlib__Random) |
| = 4e834bd2603425af3ac3eaddd89f0f4f | ocamlx(Stdlib__Scanf) |
| = c0158eea0410a85c8ad557c3d3358cd9 | ocamlx(Stdlib__Set) |
| = adbb9467e55324452b66f5e80904fd00 | ocamlx(Stdlib__Stack) |
| = c06c5446818c6057b30329436dd271e3 | ocamlx(Stdlib__Stream) |
| = 650b799d3032d2e3c133eae0b21c0f95 | ocamlx(Stdlib__String) |
| = 5c3bb467dddca8a9684f29a499f12938 | ocamlx(Stdlib__Sys) |
| = dfb096ede16e512b37567ba33be3fb3c | ocamlx(Stdlib__Weak) |
| = d844c48edd70c66444696f62e7a78800 | ocamlx(Stm) |
| = e3680c6306676be2f5b655237d627029 | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = 88040aadd5ce239c39603ad24fe18862 | ocamlx(Str) |
| = ea7ca845efa055b1d38aebe31f3138f0 | ocamlx(Structures) |
| = 44610da1f1145e3cbdadf7bc9b08e6f9 | ocamlx(Subtyping) |
| = c19edf6c762851cbbab3dd883ce0baf6 | ocamlx(Summary) |
| = 47ef8a8c40d14ddd04f8cbb0fc2027c1 | ocamlx(System) |
| = 9f97760f7e5d2ed1a3176cebdfe3bc11 | ocamlx(TQueue) |
| = 3005a9f5eee7bb85a6a304598f1978aa | ocamlx(Tacmach) |
| = fea576777158272c3ea6a9fff6a0f376 | ocamlx(Tacred) |
| = 3aefe5d3d25eee25c192bf9bb2a9c3b8 | ocamlx(Tacticals) |
| = e890c4f0c9a313b63cab7939e8c56e0b | ocamlx(Tactics) |
| = b598b1d5c2c8c00d8c41e4f96c3751e4 | ocamlx(Term) |
| = 35c2907c28ef110e9aadd893baf55b98 | ocamlx(Term_dnet) |
| = fcebf19bb489c72bb5d24f92c93d4a46 | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = 8b28b43e931e32d398a73fde75f95346 | ocamlx(Termops) |
| = fa7df88b05f340906ceabd019abbbbe2 | ocamlx(Thread) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 966da8d732dca388368ad2b365fb67a7 | ocamlx(Topfmt) |
| = 8124f1fd8b96370b7ba033fb2276c693 | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = 173b874cf2d5d96a41aa890b2292bfbe | ocamlx(Tuto0_plugin__Tuto0_main) |
| = c257de912d62dcb30ddba8cfad0b2976 | ocamlx(Tuto1_plugin__Inspector) |
| = 8d66917eb24adfa9b2d2b86776d1773a | ocamlx(Tuto1_plugin__Simple_check) |
| = 920506501ebccb1c226867c1aecc3f9a | ocamlx(Tuto1_plugin__Simple_declare) |
| = b7a5f6301f843116746724e92ce571dd | ocamlx(Tuto1_plugin__Simple_print) |
| = e82b03b707cadefa16c3131d495056bc | ocamlx(Tuto2_plugin__Counter) |
| = 5b976281801a966e0555e9c6a97d7364 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = bbb7314906566aedc13858d487310b37 | ocamlx(Tuto3_plugin__Construction_game) |
| = e59e8463cee15b66db2b3fbd44d11025 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 368364dfaf37e4aa7549fc6afd1c818c | ocamlx(Type_errors) |
| = f3308da319cb60ce171e05f1f17cb9b9 | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = c0d31c25e2653e36049e2e8a10a55459 | ocamlx(Typeops) |
| = 4d32bf73e92b75d17ae81ee85868b788 | ocamlx(Typing) |
| = cfbe26b87ed59892a9f5e81f64559012 | ocamlx(UGraph) |
| = 2c4c2350321bcc7fd7c18cbfc6fab7b0 | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = 7b05e571561bf0e307044e3928052148 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 94bbd5c0ec5452df8bc8aabad8145492 | ocamlx(Univ) |
| = 24246d78d84edb58c310057207280e6f | ocamlx(UnivGen) |
| = e7d8ee6cf72d489bc0b141721d1086da | ocamlx(UnivMinim) |
| = b6194c5f0c864cce945bc1a8d879d0ad | ocamlx(UnivNames) |
| = 2d529451d6544354f8b34be8d46cc0ec | ocamlx(UnivProblem) |
| = cdac83e74cfd4bcdc9a1889db2c170ef | ocamlx(UnivSubst) |
| = 7ab988a5f1bc8761aa80f04fc8c5580e | ocamlx(Unix) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = b0e01d9fa21e64cefb5e9f1de34772fb | ocamlx(Vars) |
| = 12ea50f4132d58dac43255b559d51646 | ocamlx(Vconv) |
| = f5723fb022ba0430119e65925da26d2e | ocamlx(Vcs) |
| = 6cb9dea66e0a4a60f91932c8e01a3b1f | ocamlx(Vernac) |
| = e899d1d4d064280a369bf8453449d08f | ocamlx(Vernac_classifier) |
| = d8223e953b4d21789d5ad6cb9a116c14 | ocamlx(Vernacentries) |
| = 62db03e687bbe1dbf60dca816940e240 | ocamlx(Vernacextend) |
| = 0802b370206fb91116392dd298b9969f | ocamlx(Vernacinterp) |
| = c0cc0de5a14906f0e4fb630d36b52c4a | ocamlx(Vernacprop) |
| = 6e6973c54505b3cff3add3638f8e2803 | ocamlx(Vernacstate) |
| = 43256ef9f7c20c6bbc9a04239fc196f3 | ocamlx(Vio_checking) |
| = d69b88730db5d8b6bb16236ad3c199b7 | ocamlx(Vm) |
| = f878814b0a94da1f41b842f7a4b3226a | ocamlx(Vmbytecodes) |
| = 767fe71ac5235b27fbc263b3960670b8 | ocamlx(Vmbytegen) |
| = 91b5412015b491886814329ce5cd3b6f | ocamlx(Vmemitcodes) |
| = c0641a80f9aaf55ba86f6a351b65b35a | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 9e119415a69bc3c059a2deb34e3f08d6 | ocamlx(Vmsymtable) |
| = 58d2b5d145834a288cac0e4e79a1c5e8 | ocamlx(Vmvalues) |
| = d33f1080e365d724c23ed26c078e1bd9 | ocamlx(Vnorm) |
| = 1b648ba1620358ebf68e76aadbe9558c | ocamlx(WorkerPool) |
| = e7f7461dc7287f7895b00fdb33dca6df | ocamlx(Z) |
| = b094dfe8bda3fceeaf5cb45bfce483e1 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.1-1.fc37 | coq-core |
| = 8.16.1-1.fc37 | coq-core(x86-64) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = 29d4880693a67a1f0e1b46f4a9bff412 | ocaml(Btauto_plugin__G_btauto) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = 03e27f8e2a9649c70cd9fbc67cce309d | ocaml(Cc_plugin__G_congruence) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 8d4ce5876520fb1b857ce0b66885c9f0 | ocaml(CoqProject_file) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 831a6f58e41b064f9a4f9156af190952 | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = b2d2792c476702243473dae407a9a210 | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 4651f4597c9b6eb0b541950e161cf0d5 | ocaml(Derive_plugin__G_derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = ef4e75fef750c81d3010d5205c8c6733 | ocaml(Extraction_plugin__G_extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 5ed577e2043be537ba24396334d0424e | ocaml(Firstorder_plugin__G_ground) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = 328c9d6869718ba584a18a28c5131232 | ocaml(Funind_plugin__G_indfun) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 7a0613286b0065912d96d128cf376bee | ocaml(G_constr) |
| = f1151d6f8a63f69543ae1b0a6d1b2544 | ocaml(G_prim) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = c4cb68462c40a1ed4d57b1221c3328b8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 6605236b96c139e644909eb14686ccb8 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = bb0c1877449e421d8427bb35611e5d33 | ocaml(Ltac2_plugin) |
| = 7441004ffc5703c49c7e8c5827170e33 | ocaml(Ltac2_plugin__G_ltac2) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = bb15dbe4f28c600db9de476703ea1b94 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = 8319d4ecdfa85afd87fff24d4b79955b | ocaml(Ltac_plugin__Coretactics) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 90f731840d5ddf80bcd2188509656dee | ocaml(Ltac_plugin__G_auto) |
| = 88f18a0438a36762379fcbd83e4a0f04 | ocaml(Ltac_plugin__G_class) |
| = 5b73db2704b2108fe7c90113f0c3ed94 | ocaml(Ltac_plugin__G_eqdecide) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 1348e02c46652af41a2cac3ffb89efe2 | ocaml(Ltac_plugin__G_obligations) |
| = eca154a94717992413547a3b4afdd68b | ocaml(Ltac_plugin__G_rewrite) |
| = 1c5415495d0d0d922502c47274659fbf | ocaml(Ltac_plugin__G_tactic) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = ecb7c15c9b3c1b3c4f27b52dd04505b8 | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = 5eae51a15e6b9a469ddcd827bcaf8fcf | ocaml(Micromega_plugin__G_micromega) |
| = c1ba79e6d489268738330e0d9ebe3803 | ocaml(Micromega_plugin__Itv) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 13dcf98dbb95973cee2d78186501169d | ocaml(Micromega_plugin__Sos) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = a9ba8b3e58d4af8de146202a4585770c | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = 669bed50f043b66917f473e6cc270163 | ocaml(Number_string_notation_plugin__G_number_string) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = d4231cd59ef7cdd50eb3b6ada466095c | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 897965d8515e7a19e237acabe4ab85b4 | ocaml(Ring_plugin__G_ring) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = c83d11d4fb01d6bbb66b6a2d4dc42bc5 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = 3a2558fcb2a3791cbb93a45b46ed40cb | ocaml(Ssreflect_plugin__Ssrparser) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 56f2d8bb0d193f24f48315c6f79a80a2 | ocaml(Top_printers) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = 3f1b217a49ed2f0273a81b19da082891 | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 58094dcfcc10cdeec52578fef301f327 | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = 73d6fd2ad4dde2ad26a79654cac26d40 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = f6bc20d3b2a1cd7cbcb8cbf00c546e3c | ocaml(Tuto3_plugin__G_tuto3) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = ea846ec7f2e66cbc8acf115cc9dea909 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = e123953b94a927241402faa568d57b31 | ocaml(Zify_plugin__G_zify) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = 983c2f7f94dccdbf1dd5cff463833dce | ocamlx(Abbreviation) |
| = 8b0ec4c1882da5a1b1d495b39a42e958 | ocamlx(Abstract) |
| = 4968464ee67a63aa5b086d91e652cc60 | ocamlx(AcyclicGraph) |
| = bf16ad29d8ac6ac327686ea8091c8554 | ocamlx(Arguments_renaming) |
| = a1b82b9c10de7865e3fad37386cfa7ca | ocamlx(Assumptions) |
| = def651f105a53b7c5c09741ea1ebd1f9 | ocamlx(AsyncTaskQueue) |
| = 2c2f86ffa520b0eb0cc8c8daf5eb325a | ocamlx(Attributes) |
| = b1e3bf6d748fd72b830b0bdf72edc482 | ocamlx(Auto) |
| = 03e8fd5c9c8dc8a63fa9f3018550062f | ocamlx(Auto_ind_decl) |
| = ed5d38d41ad6ee1d827211e572e09fe0 | ocamlx(Autorewrite) |
| = 0af5198bd2ee15bd52ac9391adde987c | ocamlx(Aux_file) |
| = bc1d5fdc1e51ac3821e54c2aca07ba9f | ocamlx(Boot) |
| = f65db59808a730d8171b552916e04e68 | ocamlx(Boot__Env) |
| = 3283bdb02fa7226af39ef26213a7ea3f | ocamlx(Boot__Path) |
| = 7f85b96cf7e58f20280fe3b3e7ebac5d | ocamlx(Boot__Usage) |
| = 4808840948928023f2afa8fd13d2fe70 | ocamlx(Boot__Util) |
| = 341420e31c0382d9f68dcca9cf6866ee | ocamlx(Btauto_plugin) |
| = 4263601a675800d39bffac1938a041f8 | ocamlx(Btauto_plugin__G_btauto) |
| = eb1af4ccb0a5242fe008cacd93efcd8c | ocamlx(Btauto_plugin__Refl_btauto) |
| = c1967671fe62036c31944c2a7b426e78 | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 7e8a992548fc536596d966bb81ba2a23 | ocamlx(CClosure) |
| = 44830911f66398d4b7ec6a56f069820f | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = c154465daad33d0f00f7f16d653a8a7d | ocamlx(CErrors) |
| = be7fcc53f362dc100fdd820994e76579 | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 03785bc3e6d764df17dd6dcfecf9fcbf | ocamlx(CPrimitives) |
| = 317fcf9870e50b8d078b590d24127681 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = a1059694c66fc9e67d334edb767f9f67 | ocamlx(CWarnings) |
| = 43e771c10534ef3909ac034b98586f48 | ocamlx(Canonical) |
| = 10e2da662a90934a8e9dadd60bda48ad | ocamlx(Cases) |
| = 252c5e24d9a6845f9961bae33f46b63a | ocamlx(Cbn) |
| = bea834ff1bc60894f0a2ca285efe817a | ocamlx(Cbv) |
| = 2f23cf69bae81a2ebb250c91ad9cc184 | ocamlx(Cc_plugin) |
| = 70ee02bcd4aab7dc16d7c19c64f760e6 | ocamlx(Cc_plugin__Ccalgo) |
| = 90e9ece282d17a14c6c5cc27f922b2c7 | ocamlx(Cc_plugin__Ccproof) |
| = 1477fafe43a208818a33fa136580a880 | ocamlx(Cc_plugin__Cctac) |
| = 83516b935b8891ecf54b8e777ed00b59 | ocamlx(Cc_plugin__G_congruence) |
| = a5e7ee6782dca62125a45e1a8c8e4a8d | ocamlx(Ccompile) |
| = 8c8eea20669e2d7478ce1a127805d8dc | ocamlx(Class_tactics) |
| = 768b705d88c8410ee847f44ee9df4794 | ocamlx(Classes) |
| = bc35cab64502731d88cec908c1791080 | ocamlx(Clenv) |
| = 465d53e9582c064963485d84e654069e | ocamlx(Coercion) |
| = 75490b266d0d3922e121a7ee2cdf83b8 | ocamlx(Coercionops) |
| = debc849be55ade0c56217fd734bbb15c | ocamlx(ComArguments) |
| = e47feafc12b862e25e69e5827e990c5a | ocamlx(ComAssumption) |
| = 529b2806545b7402fdc457f4992ce68e | ocamlx(ComCoercion) |
| = e34f69e9feca4c11101c19a65bd2358f | ocamlx(ComDefinition) |
| = b4fc9fabbf8bb0f43777cd19e2e421eb | ocamlx(ComExtraDeps) |
| = 9e689770ff22f73710d9ed54a5c5b1f3 | ocamlx(ComFixpoint) |
| = e97035c08e73bc02c018e9e08fcfc586 | ocamlx(ComHints) |
| = 46c40ca5af3a8ddd58f2d951a5d3cf08 | ocamlx(ComInductive) |
| = 0c1c5812802fd5cacc7cec0552f24f67 | ocamlx(ComPrimitive) |
| = 9fddcdf19f98b2689b911641c3a2278e | ocamlx(ComProgramFixpoint) |
| = a77bdc47bfc673490cd7b55fbbae6ecd | ocamlx(ComSearch) |
| = d13c334e96ce8f495a71e6ce0aefe40e | ocamlx(ComTactic) |
| = 6954b216526939692b26b43c369ae556 | ocamlx(Constr) |
| = ca100238f96919f5cbdcd772fcdbfb98 | ocamlx(Constr_matching) |
| = 51dbb6f6fbf8aa1ed9bbe9d72dd8982d | ocamlx(Constrexpr) |
| = 5c6721a12cd7e9148217ad8507d0a432 | ocamlx(Constrexpr_ops) |
| = e91ac919b924d2f56ee87a033a6c9231 | ocamlx(Constrextern) |
| = 9fcfb46cbc735de656322f8188fe4809 | ocamlx(Constrintern) |
| = 91e3d09bc7fe18e20f7894c364aa4893 | ocamlx(Context) |
| = cf417325ded85b8f0268bb442d45b3e6 | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = b4c1d148150aa14a6e0751c6c4106aae | ocamlx(Conv_oracle) |
| = abf6a9ac75a3b443c9b7c2b4abad3913 | ocamlx(Cooking) |
| = 52a96bfecb4e410a8941455f3ba55807 | ocamlx(CoqProject_file) |
| = 77531b2a2e5c550276c2948a7d124efe | ocamlx(Coq_config) |
| = 0861cc6d311fae44ce8c4a6a5f35a509 | ocamlx(Coqargs) |
| = a70f8e8ef16a6605c022fc5746930626 | ocamlx(Coqc) |
| = d805cf348155fbed5e7266aed1501ddc | ocamlx(Coqcargs) |
| = e00843b3b1ba0c624b8f9e995aac2f1d | ocamlx(Coqinit) |
| = 91badc7a623704b62ffbfabe6b99e7e7 | ocamlx(Coqlib) |
| = 6db1ed66a7ae873120d9a2582e135110 | ocamlx(Coqloadpath) |
| = 5eaf126d8bd77c6aff4677ee6b172469 | ocamlx(Coqloop) |
| = 4e96b393e5e6921e9f737e1dae14c495 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = 0edb8871e86f42b09eef21f769396c5e | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = 608834d7dba1d275262eaa4111a7ba87 | ocamlx(Declarations) |
| = a919360fd2759d2a06e3203c1494d812 | ocamlx(Declare) |
| = 1c421b74780e69a8964eab3aac311f66 | ocamlx(DeclareInd) |
| = f4d7c287f843a01bbda70ea6fc175e05 | ocamlx(DeclareScheme) |
| = 0d3941c0931c8125f56fc40e3be18988 | ocamlx(DeclareUctx) |
| = 3a6173a1b491dd1253991a8050266ad5 | ocamlx(DeclareUniv) |
| = cf57b15399143b5e5bc9871241f7df58 | ocamlx(Declaremods) |
| = c9db1ce7a3d7ce7e9d3cc5ffdda825e1 | ocamlx(Declareops) |
| = 2404c0bf83b15c4ffdf9b554f5d6820a | ocamlx(Decls) |
| = e2204daf59cec4dc201ab81430a8c8d5 | ocamlx(Deprecation) |
| = 4bfed4f9c4227d7e97f0f9359969e727 | ocamlx(Derive_plugin) |
| = fb701c9d5fb94d928845582a99a2fe0b | ocamlx(Derive_plugin__Derive) |
| = eecd38d86ea5a6a7346593c0ebbc67ae | ocamlx(Derive_plugin__G_derive) |
| = 2bffaadb91fff0443f912a676c315fac | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = 7fa206d1f9d029b8d312500314ad1e1c | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 87bf49eb204c8f03f34aab2cea6838e5 | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = 4228bedf423ccc95f10d7db5c1428b6b | ocamlx(EConstr) |
| = 266fde7ac77a5289c5f2d49f4a1c42b6 | ocamlx(Eauto) |
| = 46a835c26c2bd17ecd96d7386242d401 | ocamlx(Egramcoq) |
| = 163e9df3c0abd0d453c18e66d14db493 | ocamlx(Egramml) |
| = 4064e57fe3f478149625ae803baaf441 | ocamlx(Elim) |
| = 8bed683caf7ca5912852a4f44ee5a554 | ocamlx(Elimschemes) |
| = a70d6426512a40135187bb14e8635ed7 | ocamlx(Entries) |
| = 21e931f65edf084fdb248f2fba914814 | ocamlx(Envars) |
| = a3974bc98eacefe4df6c01f4bba611c8 | ocamlx(Environ) |
| = 4a8a8ba4dcc89eafee0a4a3f2d89d61f | ocamlx(Eqdecide) |
| = 377b919756b614c70225ec27f948b165 | ocamlx(Eqschemes) |
| = e710d34601f804e6a1c179c26f7199ea | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = 997e08fba1bfbda61d36ba97b599f330 | ocamlx(Evar_refiner) |
| = aa21133808a39ea500d2218e8dbede6b | ocamlx(Evarconv) |
| = 82aa79412a61a3d815939cb6dd4b799d | ocamlx(Evardefine) |
| = ed87ece3f5e3d29b560212ce238022b5 | ocamlx(Evarsolve) |
| = dc18b28ed82ffa03a0e8467a5cf11c74 | ocamlx(Evarutil) |
| = 994d56e9d03770f5403782e4aee69073 | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = 29eb4a72be107dca739ca5e00ea37cf4 | ocamlx(Extend) |
| = 6fcff5b02a9436ef0b637c2d29e353c1 | ocamlx(Extraction_plugin) |
| = a9b8d41656f73346482afbdaaedfafb6 | ocamlx(Extraction_plugin__Common) |
| = 74aea4b69c593fc8fda45be4d4610a69 | ocamlx(Extraction_plugin__Extract_env) |
| = c9cc66ba046bdee5558771a6ae36b734 | ocamlx(Extraction_plugin__Extraction) |
| = 94aae5a02dc614ce740c7f84e42b3a7c | ocamlx(Extraction_plugin__G_extraction) |
| = a7111105eadb2acf157452eac12331ad | ocamlx(Extraction_plugin__Haskell) |
| = 67accc46389929ce5da0cab34b45d882 | ocamlx(Extraction_plugin__Json) |
| = c046efa78806571765723901567fd148 | ocamlx(Extraction_plugin__Miniml) |
| = e3cf5cc97c69d5e95f24192fa12f4a19 | ocamlx(Extraction_plugin__Mlutil) |
| = 4dfea35f56cdc84af701336665e6eaac | ocamlx(Extraction_plugin__Modutil) |
| = 4d4e24461d54a5c1f0370d2d81ec3f4d | ocamlx(Extraction_plugin__Ocaml) |
| = bb5bacd6af8a13a8ae54bd20b9266c6c | ocamlx(Extraction_plugin__Scheme) |
| = 8dfe2356849692f4509249d79db1c399 | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = d42c587f2617ffe13cfbaf3f30bb0010 | ocamlx(Find_subterm) |
| = f846c99dbaa260cbe0e19175997ef3d1 | ocamlx(Firstorder_plugin) |
| = 45967d62f127af95e8d26c045f2c4ad9 | ocamlx(Firstorder_plugin__Formula) |
| = 9cfdd257f899718d9b5893e654d45f13 | ocamlx(Firstorder_plugin__G_ground) |
| = a973652106bd0eaa5396dbf22456be22 | ocamlx(Firstorder_plugin__Ground) |
| = 386576aff2b0d7092f0d442d42789080 | ocamlx(Firstorder_plugin__Instances) |
| = 5e2fea7fc87e4f84d9ab9a72de2ec028 | ocamlx(Firstorder_plugin__Rules) |
| = 4d1553956d8d798a73bc93c94221f98d | ocamlx(Firstorder_plugin__Sequent) |
| = 002d9eac408446e1697dbb53b698f00f | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = 6f8d39e42bf2862df312113824353f1f | ocamlx(Ftactic) |
| = 5dd7066c0be80e4ff9bda91f46d9e967 | ocamlx(Funind_plugin) |
| = 924b33330b772d3260569e0640c14aec | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 901f7c0521b40c56e920ec0111a48cd1 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 2004055cbdd40c15ee38686ae8255d7a | ocamlx(Funind_plugin__G_indfun) |
| = b5623553c3aeb58e8e0778fcfc0f7857 | ocamlx(Funind_plugin__Gen_principle) |
| = a69cee6a3c544bef4c71602401a5eec2 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 29079bd0bb22cb8e39b75adeadc7a32d | ocamlx(Funind_plugin__Glob_termops) |
| = 7fa5bef1a8a6965f68ab04121b30cac0 | ocamlx(Funind_plugin__Indfun) |
| = 336a5897a5e3b1a092df292d900e89f0 | ocamlx(Funind_plugin__Indfun_common) |
| = b47ed7e4850b79ee4e6bd0b604b86d41 | ocamlx(Funind_plugin__Invfun) |
| = 65cab4b925a9dae514f64aa9c572ff73 | ocamlx(Funind_plugin__Recdef) |
| = 7b4845bd979fb6b41d0ee3025679206b | ocamlx(Future) |
| = 8a1a3d4887ca3c38103f119d57b68732 | ocamlx(G_constr) |
| = 8811fdc9ca259fd430d6b80a8551ef2d | ocamlx(G_prim) |
| = e8b9635a6f53fc82e4c932a1ac028946 | ocamlx(G_proofs) |
| = 50a19576920028b54f638c89ab959378 | ocamlx(G_toplevel) |
| = f7421c88baf51402797492b7c2d8638d | ocamlx(G_vernac) |
| = 09a972dec937d95f342a3b496e40a911 | ocamlx(Genarg) |
| = 9f8d1d25eb8bcdb3b56fff84ddb67a45 | ocamlx(Genintern) |
| = cbc7d5b08d88a997d23a3d48bbbeb738 | ocamlx(Geninterp) |
| = 685a6dbed26fbceb6f3b907471b4d9e3 | ocamlx(Genprint) |
| = f6d6c79714a9455664473c1b3f31ff9f | ocamlx(Genredexpr) |
| = 65169d96e0f5a6f6417c05bd1eda43a7 | ocamlx(GlobEnv) |
| = d3fd3efd7f4042846e0441d5eda8439e | ocamlx(Glob_ops) |
| = 23c3029811a5c1ac31eeebfa3c47efe2 | ocamlx(Glob_term) |
| = e0f1eb492efd37e828a567f8370b6985 | ocamlx(Global) |
| = 5c34985a214caa28ce127da1661aeb5a | ocamlx(Globnames) |
| = 2d9f34b8c246b54a82e8524cf9338949 | ocamlx(Goal) |
| = 53e71fed323477ff90f1a88385ac1c35 | ocamlx(Goal_select) |
| = 93baad7c22e2a96b5dc9fcdf6681ffdf | ocamlx(Goptions) |
| = 7c7f7e5e486fb70585b3002c1a477e8c | ocamlx(Gramlib) |
| = d585d8651352131aafd1529f9d857356 | ocamlx(Gramlib__Gramext) |
| = c567e2123eb288f31ddffe358e669aa8 | ocamlx(Gramlib__Grammar) |
| = b80c1034604f8f4a1d9a6facbdb27f4f | ocamlx(Gramlib__Plexing) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 8be9cde4aa0b44588cf53a47b5412166 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = 3937a048800302ceba6f695f6acfc415 | ocamlx(Himsg) |
| = 3c9046db0fe6152040dd90369682c51f | ocamlx(Hints) |
| = b97a1b84ac43ded47e446b91bde1c2eb | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = 1237261259b96e25fddd64ef4f8513dd | ocamlx(Impargs) |
| = 6e2b8c52c56277eb48b4801cc3c15c64 | ocamlx(Implicit_quantifiers) |
| = 997641b51eb068e2c85fd0a31be83876 | ocamlx(IndTyping) |
| = 6935dd23f79ca119ed42aae1c1c86215 | ocamlx(Ind_tables) |
| = 9629e2aeebe69ff65d3c1e004e698dc1 | ocamlx(Indrec) |
| = 9587fe0ef7b90a20aef0d07ddf68007e | ocamlx(Indschemes) |
| = f7be712fc9736098b5805e4990078a33 | ocamlx(Indtypes) |
| = 5a3b0222a84e831db18b8443242af85f | ocamlx(Inductive) |
| = 172c74b40e52af3c1e1f9b6052a4544d | ocamlx(Inductiveops) |
| = 302b96dfa64986bd51975802925d090b | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = 1f9ebc9b63f315f5503a57cc74cb535b | ocamlx(Inv) |
| = 2e185ac1f7d1ef5d9eb446c408dd395c | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = cc4ac14f4907c73988229315f11ccca1 | ocamlx(Lib) |
| = 6d0b658750284b157a5584c5d1fa3b45 | ocamlx(Libnames) |
| = 7ff465b8b9318202ae13bdc8cc6df94f | ocamlx(Libobject) |
| = 4a698b2d1b7b97c5b923108cd57f7361 | ocamlx(Library) |
| = 63c7a2e8e57091e82e254e04a419e8d7 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = 4469f81b50f200ebf446fbba65b09860 | ocamlx(Locality) |
| = ed638fddde11bbfbbe5541f0d8af5e13 | ocamlx(Locus) |
| = f616b012564b0e6ad8537382e411a1d3 | ocamlx(Locusops) |
| = 4c844345ffedf2bdd3d13b335b0fc612 | ocamlx(Logic) |
| = 7e0f343d399d7374a7e8dd19c479d62b | ocamlx(Logic_monad) |
| = 6edff32a03b33e9a8ba621fd9d33f753 | ocamlx(Ltac2_plugin) |
| = 2bd30cb7c28790db9af002ce651c6a7b | ocamlx(Ltac2_plugin__G_ltac2) |
| = d47913f37a00071cb2cb9f5275ad66cb | ocamlx(Ltac2_plugin__Tac2core) |
| = 33a8769f5f87e89adc9f0e97b4c0cc90 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = f577386512bb4b64f81e8f5282b70c21 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 1fb7981f36b8603a314e4d9c308cecd6 | ocamlx(Ltac2_plugin__Tac2env) |
| = 596c6c3620d40dcadce8b0edd40098f2 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 7c98b57001e5dd6adb94f00bb12a749e | ocamlx(Ltac2_plugin__Tac2ffi) |
| = cf3d125871b461524e35f1b3aa1db2cd | ocamlx(Ltac2_plugin__Tac2intern) |
| = 19819d083ecf80094879bfa9ef02758c | ocamlx(Ltac2_plugin__Tac2interp) |
| = 5a25c7d19471f6baf440b67af8fe3b07 | ocamlx(Ltac2_plugin__Tac2match) |
| = c4f0bcb790853570dfef071ecdbd5e3e | ocamlx(Ltac2_plugin__Tac2print) |
| = aede7e6dc2e43dce3872097a1b954a02 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 52910b06bb7e4347a78bd9e185c0f7d4 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = 9b51ce2862785a1fe40eae7bb06aa59f | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 54a52168ddd14ccb2e7bac9d5656ea65 | ocamlx(Ltac_plugin) |
| = 20afe449d2995829d30f143515277a35 | ocamlx(Ltac_plugin__ComRewrite) |
| = b7d614d51703c409a6530bf0b3602e47 | ocamlx(Ltac_plugin__Coretactics) |
| = cc4f80738297c7a7f270e04b0329d184 | ocamlx(Ltac_plugin__Evar_tactics) |
| = 47018dd4299522523f3c2c115be00a54 | ocamlx(Ltac_plugin__Extraargs) |
| = b9a3ad5ac46c1a5d2a92b5d8f4d04735 | ocamlx(Ltac_plugin__Extratactics) |
| = 34ff28084d379beed5967e24d1184af2 | ocamlx(Ltac_plugin__G_auto) |
| = 7a21e1ade9f60f6d3dd7c4eb3927f821 | ocamlx(Ltac_plugin__G_class) |
| = cbd4103093916f6b1c390dbb5dac963f | ocamlx(Ltac_plugin__G_eqdecide) |
| = dce44d4e7111687d81e4563b88edaafb | ocamlx(Ltac_plugin__G_ltac) |
| = bcb99292336c354e569d81708fda734f | ocamlx(Ltac_plugin__G_obligations) |
| = 408a9503a5d5ee5b4ea63e1e3544c5ed | ocamlx(Ltac_plugin__G_rewrite) |
| = 61549c30f2c004e475f6d17334651381 | ocamlx(Ltac_plugin__G_tactic) |
| = a047e3110ea7db0785936b5a1404e1b3 | ocamlx(Ltac_plugin__Internals) |
| = 940e8c01add0e3523ae4cd82e84fb511 | ocamlx(Ltac_plugin__Leminv) |
| = 3210395dfc809ebeb9745695b1336c02 | ocamlx(Ltac_plugin__Pltac) |
| = b22e21f2b25f88868b9f441a0f5b4c48 | ocamlx(Ltac_plugin__Pptactic) |
| = 8739e3d0401b4ce57fcb3a80194ae83c | ocamlx(Ltac_plugin__Profile_ltac) |
| = 8dd8a0c7cbbdd834e70d90c21d1714bd | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 975b93d5c89b5646c886bcfa38cfbb34 | ocamlx(Ltac_plugin__Tacarg) |
| = d6044f42bdb9dc3eaf51496b4e2a2afe | ocamlx(Ltac_plugin__Taccoerce) |
| = 66572fed95f5b671bd1d02afc2072f02 | ocamlx(Ltac_plugin__Tacentries) |
| = cd4ba02044057de9ae098197140675b2 | ocamlx(Ltac_plugin__Tacenv) |
| = c809999bf8ad261049eaa41534d481a1 | ocamlx(Ltac_plugin__Tacexpr) |
| = 53468181454650689df13d9bc3409f1d | ocamlx(Ltac_plugin__Tacintern) |
| = 7ebf3d3089922f4ba8e0df8121180a29 | ocamlx(Ltac_plugin__Tacinterp) |
| = b8742e562022302d4d4dcbb108334baa | ocamlx(Ltac_plugin__Tacsubst) |
| = 6d33c82ef085a424c30e60befadd47cb | ocamlx(Ltac_plugin__Tactic_debug) |
| = 1aba2c658e6e3c2831b4b4e3c327f1d7 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 5d8ec3eedab980a59563a6e14224d27f | ocamlx(Ltac_plugin__Tactic_option) |
| = 79728da2d8858eb89576f366abc38adb | ocamlx(Ltac_pretype) |
| = 64858b63fa06abb79414e3d3f86730eb | ocamlx(Metasyntax) |
| = 05d03f2585d55e86e2e179b5963eaa34 | ocamlx(Micromega_plugin) |
| = 28eaf1d6268f1246c13c281b560cf2dd | ocamlx(Micromega_plugin__Certificate) |
| = 5cc685e9f382ef7cf1b86a47e61ab8ed | ocamlx(Micromega_plugin__Coq_micromega) |
| = ca5e14f414960f3b44317746633c9da3 | ocamlx(Micromega_plugin__G_micromega) |
| = 449d52d46f96b64cda78076ff6c083cc | ocamlx(Micromega_plugin__Itv) |
| = 17529e5fed3bcfc0e7ee44b8e25ee498 | ocamlx(Micromega_plugin__Linsolve) |
| = 38c4826a75a45e37136962ea89519166 | ocamlx(Micromega_plugin__Micromega) |
| = 204808b973c684a294f3b3d1712f1b05 | ocamlx(Micromega_plugin__Mutils) |
| = d509d24e88893307b9f7602197525f29 | ocamlx(Micromega_plugin__NumCompat) |
| = c45b3eb8979f8e3ef21e2ae68ea2e082 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 64d2efcb3f97b46789b7aea04c6e9717 | ocamlx(Micromega_plugin__Polynomial) |
| = 756bfde86410af02dc8056b0599176d3 | ocamlx(Micromega_plugin__Simplex) |
| = 375efebb43ffa5975bb252e5a8046e4e | ocamlx(Micromega_plugin__Sos) |
| = 707f04ee07364ac2592a8ef0564d65c5 | ocamlx(Micromega_plugin__Sos_lib) |
| = bc85287dee5bc8fc3f88eeeb1b0ecb32 | ocamlx(Micromega_plugin__Sos_types) |
| = 43e02a11d2bfa7ed04362a5c84a5fb85 | ocamlx(Micromega_plugin__Vect) |
| = 16bdcb07a12df63d756533908ac0836d | ocamlx(Miscprint) |
| = e10d97de39e8f45e5cb1bd0e4b0c23dc | ocamlx(Mltop) |
| = 2f01122efca1cfa1f5961ef2c40e8769 | ocamlx(Mod_subst) |
| = 05d63318aab857201bb72b4e3172282d | ocamlx(Mod_typing) |
| = f08ebeff6cce482ca458f2aa22263d57 | ocamlx(Modintern) |
| = 9edc2d362326186161bbeb7ab77d4416 | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = 53b6def8f37bfea9605da45321e23e2a | ocamlx(Namegen) |
| = 901ba7f9949ff6e9b129b1ebd6099ba4 | ocamlx(Nameops) |
| = 5743a290f81ad4670e2f6954bdfc2d78 | ocamlx(Names) |
| = 81107216596c68a21d195268ac1de800 | ocamlx(Nametab) |
| = 25dd46105be7e78ba71f11e778374924 | ocamlx(Nativecode) |
| = f57c4ec9480ae7f9addf63c75c9ad817 | ocamlx(Nativeconv) |
| = e19ade7e376cc7ca86992ddff84ceeea | ocamlx(Nativelambda) |
| = 39f4805334a70ca67ce4888c06a771c8 | ocamlx(Nativelib) |
| = 376bfe4d7a46cacc02f25c5cac930e4b | ocamlx(Nativelibrary) |
| = 9729947fb8be96162424a7e3e44d6076 | ocamlx(Nativenorm) |
| = c6cb05a1550531a6790b95fa67b03342 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = 93ba24664583749622b51a34af4b3d73 | ocamlx(Notation) |
| = aa7b03d4d219d9eda63e95d84b2ec3fb | ocamlx(Notation_gram) |
| = 474b5e8d3fa9bac30d87ce23038ed618 | ocamlx(Notation_ops) |
| = 9c55fe3916c7a1ad6ba7e275e085d9e9 | ocamlx(Notation_term) |
| = 9a4e26e99176d0da5fed10c2b28df7bb | ocamlx(Notgram_ops) |
| = 4e857bdf8e913ae9d0f035d77f052690 | ocamlx(Nsatz_plugin) |
| = 084cefa2853d8d423c2a159a73b2439f | ocamlx(Nsatz_plugin__G_nsatz) |
| = 0f3c58af91f78bfcccb2d5a3137e3b29 | ocamlx(Nsatz_plugin__Ideal) |
| = 0323bd6997d5b659753bdad8faf6f544 | ocamlx(Nsatz_plugin__Nsatz) |
| = e061ba75629de9c485c4fd37d0dff5f7 | ocamlx(Nsatz_plugin__Polynom) |
| = 2813815ebe47cecaa44c96148755e371 | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 3e3a4c17480be0bad0664ef539d1862d | ocamlx(Number_string_notation_plugin) |
| = 1bc92afd48cdcdc758ab4fc35db26575 | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 9465ee359208493d462daf31e83d6aad | ocamlx(Number_string_notation_plugin__Number) |
| = a99b5618e135670c555993f525041cfc | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6dbdd4650c2d804b92f77323d303ff25 | ocamlx(ObjFile) |
| = d40319e8831d0239875ac4f7b42f8dbe | ocamlx(Opaqueproof) |
| = 91851b13963adbe76c10f18c0af5d93a | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 5183408898c42af18ebaa3fed7c1252e | ocamlx(Parray) |
| = 923d97c0a97b92d5f0ef2a631cfa1bbb | ocamlx(Partac) |
| = 7e49d478b7f658cbc9b094cc0fd516d3 | ocamlx(Pattern) |
| = d6d5c807c2b82f4d91f2844f01b7201c | ocamlx(Patternops) |
| = 15e50e72870631df4b256fcca4f31d4a | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = ec8f4dc88ea2a7df744b6e621e05c22c | ocamlx(Ppconstr) |
| = 45f0272f7b2147629665d85ae30da11d | ocamlx(Ppextend) |
| = fa3854abd4fe10e459b2ffd14f5a4973 | ocamlx(Ppred) |
| = 4cfe639e3f6a99d6ed40bfb9b16314ba | ocamlx(Pputils) |
| = 613d7a1986f2e73c275d60386e6a6ebb | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = b5ef8723c5e18dfc95f8c63219856bb6 | ocamlx(Prettyp) |
| = 9c972f9b759aa8d3991e09a9c72d9a2e | ocamlx(Pretype_errors) |
| = a0c3c1b3d95f26b6ef7db4851be6efd2 | ocamlx(Pretyping) |
| = f000985eb431879ad458f83f8de06327 | ocamlx(Primred) |
| = c9b084767a0a745c266666b9ac94eaa4 | ocamlx(Printer) |
| = 4f9f86030b18d8855c0862640808c9fa | ocamlx(Printmod) |
| = 9d35dd1ffa6ec3d9bdbe7ff762a85aeb | ocamlx(Program) |
| = 769b2f837cb6d13a51f54561cd4470e1 | ocamlx(Proof) |
| = c26db57777dc2ae76ef07f56466cd43d | ocamlx(ProofBlockDelimiter) |
| = a319c0d2c36bd9781fef65af6fb43770 | ocamlx(Proof_bullet) |
| = 5ac4357aa450a1193b6e884fa329f1a0 | ocamlx(Proof_diffs) |
| = 0049d7b4b7ed57fec0e7281e2264ce1d | ocamlx(Proof_using) |
| = 3dd59c38d935164fd1852338d9d8c21f | ocamlx(Proofview) |
| = 73edf6ea1f8c15ca2f6b095093201789 | ocamlx(Proofview_monad) |
| = e57b3c4984d188abd0cbe8c248038e8a | ocamlx(Pvernac) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = dc196a2fcdd4423144287614b737bbce | ocamlx(RecLemmas) |
| = 494a41202fc8a62e07f135156ca4918a | ocamlx(Record) |
| = d46e4236aa360bb6bd2246b7125cc96d | ocamlx(Redexpr) |
| = 2807966eccb6d26f91c4adfb69b0a755 | ocamlx(Redops) |
| = dbe930053835afd0cd5c129454ec32f0 | ocamlx(Reduction) |
| = 6ec99de2ec3bc6b5e7b72b96751a49d2 | ocamlx(Reductionops) |
| = 179eb157e358112dfff19fcff8e254d4 | ocamlx(Refine) |
| = c59087820bbeeab70311428ec68c2e80 | ocamlx(Relevanceops) |
| = a5c8a1060f6dabf1c5c90aabc74beea0 | ocamlx(Reserve) |
| = 52dce0725f453d97635970a7468a3736 | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = 7e003254407652d0b5fbabf8ae246483 | ocamlx(Retyping) |
| = f9ff97539fd2daa8a5ed746c6b15859e | ocamlx(Rewrite) |
| = 06f75f5c463f76eff0336c58718710b5 | ocamlx(Ring_plugin) |
| = 86358ddc3be6e249fc38da0e00b8e8da | ocamlx(Ring_plugin__G_ring) |
| = 411512dfaa9bbfd6d95afb5b4a47cc4f | ocamlx(Ring_plugin__Ring) |
| = 79b0d9cef25d30510bb70f69fc8561ac | ocamlx(Ring_plugin__Ring_ast) |
| = 09de2c948f4a19da444201c7e861b6cc | ocamlx(Rtauto_plugin) |
| = 3dfe160d90aa43c8bd696839b122ae2c | ocamlx(Rtauto_plugin__G_rtauto) |
| = c7d915574cfbdc9b252d7c37a23c5bca | ocamlx(Rtauto_plugin__Proof_search) |
| = cc4459792e77fdc80e9280254dbbaf14 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = feb5b582301756fe42e70b0bcbb90200 | ocamlx(Safe_typing) |
| = b386c49adad5ed7c3d87b03cbf3ccb6f | ocamlx(Search) |
| = d5929ac91b2f724062b4b15d6f5f3809 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 28aab43df78616e8192d485e6c90d541 | ocamlx(Smartlocate) |
| = 2eb00e32d1150f40e41c1ea19ea6ab10 | ocamlx(Sorts) |
| = 18d05196468b0ff94746e8cd06f0a1ec | ocamlx(Spawn) |
| = c760f65750c4605b63b9d781ec8784ca | ocamlx(Spawned) |
| = 4dec0a06a96ded3bfca5c26efa1f526c | ocamlx(Ssreflect_plugin) |
| = fd65eb3d4811278c37b1aea7d3133148 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 2ac57af98b5460bc6a9af4b746ac48ec | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 0ef72ae622f8065aed315f66beb2e8e5 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 078d0cc99059f0a72e1e0e997b03f83e | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 36b559bff3586d629d965a1e613f6319 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 6780adc139a50308dcd4de195b644d81 | ocamlx(Ssreflect_plugin__Ssripats) |
| = f2fb67bce68e219dc366d0c8ea1257a4 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = ccb85e11638ce2e2aeb21cef9fa8b0f2 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 61f6bd4c0c2af24511a6f32ceffab037 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 6693224bac4a195e262b9a67bcc2b641 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 7a0420f5c79c52eba49c5a6e711092e7 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5b76aa8a5d0de67cc96c51d3b3604ff3 | ocamlx(Ssrmatching_plugin) |
| = bd99e6eb7685e0d62aac4ab18eaa4e90 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 163885f162948c87e57eb3e47563b407 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 812cb6e3ea58ba3d214687009ca7866b | ocamlx(Stdarg) |
| = d844c48edd70c66444696f62e7a78800 | ocamlx(Stm) |
| = e3680c6306676be2f5b655237d627029 | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = ea7ca845efa055b1d38aebe31f3138f0 | ocamlx(Structures) |
| = 44610da1f1145e3cbdadf7bc9b08e6f9 | ocamlx(Subtyping) |
| = c19edf6c762851cbbab3dd883ce0baf6 | ocamlx(Summary) |
| = 47ef8a8c40d14ddd04f8cbb0fc2027c1 | ocamlx(System) |
| = 9f97760f7e5d2ed1a3176cebdfe3bc11 | ocamlx(TQueue) |
| = 3005a9f5eee7bb85a6a304598f1978aa | ocamlx(Tacmach) |
| = fea576777158272c3ea6a9fff6a0f376 | ocamlx(Tacred) |
| = 3aefe5d3d25eee25c192bf9bb2a9c3b8 | ocamlx(Tacticals) |
| = e890c4f0c9a313b63cab7939e8c56e0b | ocamlx(Tactics) |
| = cd3e08f32efb46f5513e445ce3b11b98 | ocamlx(Tactypes) |
| = f88b82da2114b493d0deb578f8dd4ba9 | ocamlx(Tauto_plugin) |
| = 47a8161213effb150e89200ecd2b6815 | ocamlx(Tauto_plugin__Tauto) |
| = b598b1d5c2c8c00d8c41e4f96c3751e4 | ocamlx(Term) |
| = 35c2907c28ef110e9aadd893baf55b98 | ocamlx(Term_dnet) |
| = fcebf19bb489c72bb5d24f92c93d4a46 | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = 8b28b43e931e32d398a73fde75f95346 | ocamlx(Termops) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 4064d6abe7ef70cc57885ae3697a1f13 | ocamlx(Top_printers) |
| = 966da8d732dca388368ad2b365fb67a7 | ocamlx(Topfmt) |
| = 8124f1fd8b96370b7ba033fb2276c693 | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = 421b6edf2af8dc3142bbcfb353ce80a1 | ocamlx(Tuto0_plugin) |
| = 4c0f2e3918748f02f6d5fcbcc9ba4a7e | ocamlx(Tuto0_plugin__G_tuto0) |
| = 173b874cf2d5d96a41aa890b2292bfbe | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1182c5b9212dab8eeed6f04fdc2cb779 | ocamlx(Tuto1_plugin) |
| = 3bc43e89fd9b825ed9d971b4d5315706 | ocamlx(Tuto1_plugin__G_tuto1) |
| = c257de912d62dcb30ddba8cfad0b2976 | ocamlx(Tuto1_plugin__Inspector) |
| = 8d66917eb24adfa9b2d2b86776d1773a | ocamlx(Tuto1_plugin__Simple_check) |
| = 920506501ebccb1c226867c1aecc3f9a | ocamlx(Tuto1_plugin__Simple_declare) |
| = b7a5f6301f843116746724e92ce571dd | ocamlx(Tuto1_plugin__Simple_print) |
| = 7badc8faa38b1ee75426ee806ac46034 | ocamlx(Tuto2_plugin) |
| = e82b03b707cadefa16c3131d495056bc | ocamlx(Tuto2_plugin__Counter) |
| = c9e349367c595bedb98b98d8c1c0e9dd | ocamlx(Tuto2_plugin__Custom) |
| = acca51164139608ab4d5ba2b236cd706 | ocamlx(Tuto2_plugin__G_tuto2) |
| = 5b976281801a966e0555e9c6a97d7364 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 599b2c4aa1bac417a089758f57f7415c | ocamlx(Tuto3_plugin) |
| = bbb7314906566aedc13858d487310b37 | ocamlx(Tuto3_plugin__Construction_game) |
| = d099ca97489736ae1946924fa3c825cf | ocamlx(Tuto3_plugin__G_tuto3) |
| = e59e8463cee15b66db2b3fbd44d11025 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 368364dfaf37e4aa7549fc6afd1c818c | ocamlx(Type_errors) |
| = f3308da319cb60ce171e05f1f17cb9b9 | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = c0d31c25e2653e36049e2e8a10a55459 | ocamlx(Typeops) |
| = 4d32bf73e92b75d17ae81ee85868b788 | ocamlx(Typing) |
| = cfbe26b87ed59892a9f5e81f64559012 | ocamlx(UGraph) |
| = 2c4c2350321bcc7fd7c18cbfc6fab7b0 | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = 7b05e571561bf0e307044e3928052148 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 94bbd5c0ec5452df8bc8aabad8145492 | ocamlx(Univ) |
| = 24246d78d84edb58c310057207280e6f | ocamlx(UnivGen) |
| = e7d8ee6cf72d489bc0b141721d1086da | ocamlx(UnivMinim) |
| = b6194c5f0c864cce945bc1a8d879d0ad | ocamlx(UnivNames) |
| = 2d529451d6544354f8b34be8d46cc0ec | ocamlx(UnivProblem) |
| = cdac83e74cfd4bcdc9a1889db2c170ef | ocamlx(UnivSubst) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = b0e01d9fa21e64cefb5e9f1de34772fb | ocamlx(Vars) |
| = 12ea50f4132d58dac43255b559d51646 | ocamlx(Vconv) |
| = f5723fb022ba0430119e65925da26d2e | ocamlx(Vcs) |
| = 6cb9dea66e0a4a60f91932c8e01a3b1f | ocamlx(Vernac) |
| = e899d1d4d064280a369bf8453449d08f | ocamlx(Vernac_classifier) |
| = d8223e953b4d21789d5ad6cb9a116c14 | ocamlx(Vernacentries) |
| = 2cdf3148c5f3d7a77b3ab51c423a2c17 | ocamlx(Vernacexpr) |
| = 62db03e687bbe1dbf60dca816940e240 | ocamlx(Vernacextend) |
| = 0802b370206fb91116392dd298b9969f | ocamlx(Vernacinterp) |
| = c0cc0de5a14906f0e4fb630d36b52c4a | ocamlx(Vernacprop) |
| = 6e6973c54505b3cff3add3638f8e2803 | ocamlx(Vernacstate) |
| = 43256ef9f7c20c6bbc9a04239fc196f3 | ocamlx(Vio_checking) |
| = d69b88730db5d8b6bb16236ad3c199b7 | ocamlx(Vm) |
| = f878814b0a94da1f41b842f7a4b3226a | ocamlx(Vmbytecodes) |
| = 767fe71ac5235b27fbc263b3960670b8 | ocamlx(Vmbytegen) |
| = 91b5412015b491886814329ce5cd3b6f | ocamlx(Vmemitcodes) |
| = c0641a80f9aaf55ba86f6a351b65b35a | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 9e119415a69bc3c059a2deb34e3f08d6 | ocamlx(Vmsymtable) |
| = 58d2b5d145834a288cac0e4e79a1c5e8 | ocamlx(Vmvalues) |
| = d33f1080e365d724c23ed26c078e1bd9 | ocamlx(Vnorm) |
| = 0eb3527fe2e313d9326820459e098db4 | ocamlx(WorkerLoop) |
| = 1b648ba1620358ebf68e76aadbe9558c | ocamlx(WorkerPool) |
| = a92a95d724f093014026c762f910b21c | ocamlx(Zify_plugin) |
| = b31f87210e144eff85ce261eb34ade86 | ocamlx(Zify_plugin__G_zify) |
| = b094dfe8bda3fceeaf5cb45bfce483e1 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.16.1-1.fc37.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqproofworker.opt |
| /usr/bin/coqqueryworker.opt |
| /usr/bin/coqtacticworker.opt |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/06/788c47d6e41af9fe62105bb5fce4e4cbf84a18 |
| /usr/lib/.build-id/08/5b75d72e479bd1a51d3eaac711100a80ee88b5 |
| /usr/lib/.build-id/08/a1d2100702d4aa70f7dd05856ca9ce5d1a8637 |
| /usr/lib/.build-id/08/c44998aa20e4da6fc7102144c0850215f11506 |
| /usr/lib/.build-id/0a/dc20ce9b8b4ec754bbf8ef2b0b2f8ddde8ffaf |
| /usr/lib/.build-id/0c/7e0b35385e22310a21e6c4a6ecaaa92539de21 |
| /usr/lib/.build-id/0d/3253ef32fe1f03a88116d1ecd0175c1410254b |
| /usr/lib/.build-id/0f/626a0ab4acb34c4d38540135aa683115c33dc9 |
| /usr/lib/.build-id/10/86debf1c6c43c06012daded8497c5e9cc9711b |
| /usr/lib/.build-id/14/0c3608ae813824552ea4801280583f689c9f19 |
| /usr/lib/.build-id/1a/924bfafc63d994bf40e7212f2b0c9eff3dba80 |
| /usr/lib/.build-id/1c/93d5a2591db60c9886bced7007e7b91e13a2b0 |
| /usr/lib/.build-id/1c/ff18ef1730a2c6a73a9fc3c84e98a2b494d254 |
| /usr/lib/.build-id/26/d7b7199656c793f66204bd4bdfa1adc3817fa5 |
| /usr/lib/.build-id/28 |
| /usr/lib/.build-id/28/5bc08fd2043b5977874dd0184b13ba2ddef790 |
| /usr/lib/.build-id/29/af003b2430b6a3119fb8de33f1c9fe209de89a |
| /usr/lib/.build-id/36/ab4cc76f10b452791622a5535575c44361e31d |
| /usr/lib/.build-id/36/e8c4b23c585ed70d76a566b1e4de146f7bf2fd |
| /usr/lib/.build-id/3a/03956050defa4f36bd593b691e6293939f5e7d |
| /usr/lib/.build-id/3a/82fed392a070ab93f833df3191a4d210ef348d |
| /usr/lib/.build-id/3d/01a00b74f9de6ebcd8642973484dcbad1e37fc |
| /usr/lib/.build-id/47/8ccb055db8f2834fa1572701df61410f7241fb |
| /usr/lib/.build-id/4d/6336e1b67957719ba1697c65a934bde9a992b4 |
| /usr/lib/.build-id/4d/67a330c3245a60f872c4daec62503742841bb2 |
| /usr/lib/.build-id/4f/3ecb4e9119a24aa07e23cd7b09270c7db56d83 |
| /usr/lib/.build-id/57/625703575d2f0b1ba9b6e4b749f74d316deb19 |
| /usr/lib/.build-id/57/afd151ecfc73f0fc60327bab836370c6720f1d |
| /usr/lib/.build-id/58/d5252a20667258f02687a761ef4d1d935cab82 |
| ... and 3145 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2022-11-26 |
Version 8.16.1
|
| 2022-10-06 |
Remove the manual, which has a non-free license (bz 2132567)
|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|
| 2022-06-19 |
Upgrade to 8.15.2
|
| 2022-03-25 |
Version 8.15.1
|
| 2022-02-28 |
Version 8.15.0
|
| 2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-12-27 |
Rebuild for ocaml-lablgtk3 3.1.2
|
| 2021-11-30 |
Version 8.14.1
|
| 2021-10-21 |
Version 8.14.0
|