معرفی شرکت ها
coq-core-8.17.1-1.fc38.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 38 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.17.1-1.fc38.x86_64.rpm |
| نسخه بسته | 8.17.1 |
| انتشار بسته | 1.fc38 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 18 Oct 2023 06 |
| هاست سازنده | buildvm-x86-11.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 135M |
| حجم نصب | 463.972M |
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.1-3.fc38.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-8.16.1-3.fc38.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
| coq-core-8.17.1-1.fc38.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-3.fc38.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-3.fc38.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-1.fc38.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-1.fc38.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.17.1-1.fc38 | 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) |
| = be6239123a472214fc5ecfde31ebd925 | ocaml(Abbreviation) |
| = a0e4e3470a008819dae52557438d0abd | ocaml(Abstract) |
| = 6db97d4aba38e99b1ce79c13c9dc26ae | ocaml(AcyclicGraph) |
| = f8d2f59570b65bc119a64343e8e7b21b | ocaml(Arguments_renaming) |
| = 076163ae4e3a95e45b94d5fdcb123fe6 | ocaml(Assumptions) |
| = c025612b3ea152c9adfee455618ede28 | ocaml(AsyncTaskQueue) |
| = 5a60c0917b2c3a0fcb0df4e62de76fbb | ocaml(Attributes) |
| = 3a014a5521d8ca44e0b705642a120ace | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = 407272d899a613088e7a4b6815bcc157 | 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) |
| = 8bde4d38c237d0b04900c5535d54f8c6 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = f9a54a9152f23e1d99c73094235ce92d | ocaml(Btauto_plugin__Refl_btauto) |
| = 19ceaceb01366d66133ac71d55856e2c | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = e6f0ae1977289571e268f9f4798f45af | ocaml(CAst) |
| = 0e858027f3915a9044ef4a568f65205d | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 4e9a1cc39f535710b599ba92dc88682e | ocaml(CErrors) |
| = 5b4a6dcaec074bbcbd794fc5eaa27e41 | ocaml(CLexer) |
| = 963264b024cbb32e5211e7abb601d1fc | ocaml(CList) |
| = b5f62fbd6f9416f40b63b0dac2bac8a8 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = b572f5424b98ffcb8968be2d42112246 | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = 185a019f870874a8ff87e047f1d56006 | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = 413d1d4c84e7adbf8e02402baf03130c | ocaml(Cases) |
| = c3b823e77e896f61b27535e8255974cd | ocaml(Cbn) |
| = 529f8c46850706c84e6127c16af1defb | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = d00dab7618d0f028d9391ba181187fe5 | ocaml(Cc_plugin__Ccalgo) |
| = 0dee667b8716d5c4a668dc2a67f014e1 | ocaml(Cc_plugin__Ccproof) |
| = 2ef3b8ef3a614e535ec2e2fb6ca24f8f | ocaml(Cc_plugin__Cctac) |
| = 8fcc85e873fd8380c43fba02f0957e4f | ocaml(Ccompile) |
| = 707c775411149cca404064cffcf64d50 | ocaml(Class_tactics) |
| = 1bf541defe0ef05f7aca4aee3bbdc662 | ocaml(Classes) |
| = 3ce38c91997e1420edac26fe82b4b2e8 | ocaml(Clenv) |
| = d9e365869ef519f165e3bd8beac6dbf4 | ocaml(Coercion) |
| = e0b05e9870c9dd8bba9769fdb11d0c34 | ocaml(Coercionops) |
| = 586cffd7f8f54293456da281e77f7e04 | ocaml(Colors) |
| = f460044dd7c35bb447e3ed26a8c80815 | ocaml(ComArguments) |
| = def007512d60c6108971b7539e517077 | ocaml(ComAssumption) |
| = bda88d7e21f5e48f739b5e3982a0dcef | ocaml(ComCoercion) |
| = 02950f943842016f14e51c334c11733c | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 8ad7052330d9c7a870a9821332580cb3 | ocaml(ComFixpoint) |
| = db69ec7d5a79172c6a07269102872604 | ocaml(ComHints) |
| = e6d8419df9b728ed6c0cbc9f9eb8e671 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = 7b66652b9b49a51293e447af1ebf45a5 | ocaml(ComProgramFixpoint) |
| = a7651809fd0614087d64168f71e9ad6b | ocaml(ComSearch) |
| = 0893ebb646b131ba32a368aba15c9f77 | ocaml(ComTactic) |
| = 90b67686d6aa6baf2363d0c701b94f03 | ocaml(Common_compile) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 670799fa78880c542c37d64b3baf38aa | ocaml(Constr) |
| = 5b8babb34158c764159c3aeab6bff249 | ocaml(Constr_matching) |
| = 89d8853310bab32ea1eb882a028a8445 | ocaml(Constrexpr) |
| = 031f6eaad3ac7e53b139e99de6939f7c | ocaml(Constrexpr_ops) |
| = 42357b0a5b4aefa282943398a806c220 | ocaml(Constrextern) |
| = 2b5645f078e081a0478249562e9d5b05 | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = aa1d19af1a1d56cef0b4588bb4d8ea75 | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = 2c425c1e71f2ea9e68941efc72edf46e | ocaml(Cooking) |
| = 3237b310a30d0c20634682b03f69ff08 | ocaml(Coq_config) |
| = f0dbb0c8814c6210f51334f286da1b39 | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = e0f7d6e588e70598542cd61ebd0f23fc | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | ocaml(Coqloadpath) |
| = 9e84647125a0bf24b7904ce65428128c | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = a310b4a378c72c1c649fb05b9bcce833 | ocaml(Coqtop) |
| = 2bc1a56e71d08445950f1bfcbadbd6b1 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = 7d980c0cbe7bf12e0b87d6fae18f2cf6 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = aaa7cf86083c22fe0bdc650b9766d7f2 | ocaml(Declarations) |
| = ebadfec2550643d7dadaed20cd7bb4a6 | ocaml(Declare) |
| = 0a9bfe7ec898e0bc70b2a27e95fdeb5f | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 5c9255d8afb68db07781fe06f0113560 | ocaml(DeclareUniv) |
| = fb16413a97e082b5ed9c79cca9f31f9b | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = c143bdd1833d476947a9f81d767bdcf8 | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 5e9d9d968313c00a6440be458c9aaf83 | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 40533e96e93de95e706644b3917d47d6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 25750de3f8d5627e05625fc8c96573f4 | ocaml(Dumpglob) |
| = a80a8fb9c90585019a5f7a92adf2e2fc | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = f7ccdac0e964cd5cdb24c34fd0de582a | ocaml(EConstr) |
| = 25df3641a9701d7a59c88d1e11957c25 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 3ec613601260bfe0bbba15bbbb25e290 | ocaml(Egramml) |
| = 9590634ad98a1bfa99f504820a3b5747 | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 292cd81a23ad7e0507d10f00d83d1e9e | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 52e9defc7fd393e51d052bac59d8446f | ocaml(Environ) |
| = 99a5307b34d1fa7bd77464c9601717aa | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = c937130ca9e4d168b06d9417c1869776 | ocaml(Equality) |
| = a96ceb099c2f1fb6d9584a61b57ee72b | ocaml(Esubst) |
| = 5410ca5e116902547a19a06b75d92579 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = 028f0dd3c04344d72de7ea562093aa85 | ocaml(Evar_tactics) |
| = 0c453f02921db63a808978ad22d2d9ae | ocaml(Evarconv) |
| = 61b0a4dd1e82f8a77a24f23deaeb743f | ocaml(Evardefine) |
| = 24b8886508accd2291c7434f83a97011 | ocaml(Evarsolve) |
| = 6ed8a4aa0ace5ba3553e75261d2ce316 | ocaml(Evarutil) |
| = 6e9608a15e2e2562ca13abeeeca35a18 | ocaml(Evd) |
| = 1108fbdf2827b6d2494e3e4bca2b55f0 | ocaml(Exninfo) |
| = ea6908938502338d5a40473f55556d2b | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2873e23b0aeeee7e82c43cdc00df9d86 | ocaml(Extraction_plugin__Common) |
| = 10a2bc62f1d06a52a8a37bee7f381dd0 | ocaml(Extraction_plugin__Extract_env) |
| = cb0decbf90fc305fda2ec0594cb824a7 | 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) |
| = 947df666d35d03330fb0749f1dc3ab64 | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = 4d2af0d8d9cd0b7c269f728902e3d265 | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = aaf3caa95d2265b72051264a68f46ebb | ocaml(Firstorder_plugin__Formula) |
| = 605965667faa629c1cf29678298e3e79 | ocaml(Firstorder_plugin__Ground) |
| = b81837963ea52f6484f8bf9672408296 | ocaml(Firstorder_plugin__Instances) |
| = 406f539079ebbbb61154ac1c9562d336 | ocaml(Firstorder_plugin__Rules) |
| = dd561863405bc42187a4c4ada1da2f35 | ocaml(Firstorder_plugin__Sequent) |
| = 02e69a90e8d7c916999132ba20b9ae90 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 919fb2eabc120f3c4e0129cfc56531e2 | ocaml(Float64) |
| = f7cc67c618c9af164bf5153d7aefb0d4 | ocaml(Float64_common) |
| = f78ee5f7e7021278250fefd3823b8995 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = d81d36e1925b33ec229f7e24cb99de04 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = ff42b3169109c52746b6bcb38acf1e78 | ocaml(Funind_plugin__Functional_principles_types) |
| = 3d8b89835f138f73f37fc9727d7d39f4 | ocaml(Funind_plugin__Gen_principle) |
| = 31081489d72840c7e9bfe7e6b1f87e71 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 85bde48dd543630a9da5868e9312b41e | ocaml(Funind_plugin__Glob_termops) |
| = 5f0feac81298c3089519cd03b8f63488 | ocaml(Funind_plugin__Indfun) |
| = 145b88c17610a08446ccb5d1c0a2005b | ocaml(Funind_plugin__Indfun_common) |
| = e7fb0e6551b18632ec1d5d5821616c37 | ocaml(Funind_plugin__Invfun) |
| = e9a2b6648be307a26e41af94e9c681aa | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 08e5a4beb27f5d000b6b178fd08b13a4 | ocaml(G_proofs) |
| = dbfd8bd5e63f768f5aad3c3a0441d469 | ocaml(G_toplevel) |
| = b87f2e22bc3f3580ff846c404c5a1d04 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = dea1abeb892588a68048e5281bd50c3a | ocaml(Genintern) |
| = e53eabcc0f9e0074037775f5eded68b4 | ocaml(Geninterp) |
| = 56cbe0a8daebf59b513cd61e5af4c4a0 | ocaml(Genlambda) |
| = 083509d48354fa981b03ded6f7e5574c | ocaml(Genprint) |
| = f53a74c218a59a60651f05f62ac89d06 | ocaml(Genredexpr) |
| = 7ebd778657dc4ce1640ce3c2b6e09795 | ocaml(GlobEnv) |
| = d8a130de03f1c0a13b011c330418eac9 | ocaml(Glob_ops) |
| = 5ef7569a2107526d8939df2edc1719f2 | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 7d19dd4e674067766e7badd2397d3479 | ocaml(Globnames) |
| = 4436d8e1f64e5b9232522bd9da57ae36 | ocaml(Goal_select) |
| = 14f9f251574a55f813b1b9c6aa56c246 | ocaml(Goptions) |
| = 8e1c211ef61e4e62fd295ca9771f63ec | ocaml(Gramlib) |
| = 2e57141ce4d24fd67956a8faad609320 | ocaml(Gramlib__Gramext) |
| = 09d1e16ec99220015f9f182f7d8a3846 | ocaml(Gramlib__Grammar) |
| = b5de63fd5eb20f4c2d8ef0455825af32 | ocaml(Gramlib__LStream) |
| = 1f45f85d4f8fa0710a63bf260ce64dcd | ocaml(Gramlib__Plexing) |
| = 7e4f02849f98bf6703e0fdcdf678cd86 | ocaml(Gramlib__Stream) |
| = 524baeb05ef735552c97528e363ccdda | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = a1c8eff0dc5577ee5bdd237d7c014298 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 8e677510e0f47f3638fe41a16265bc9f | ocaml(Himsg) |
| = 4d33a7d04e4ea5be3282f2483d71168c | ocaml(Hints) |
| = 81bddd9ca9dd022c58d6e259dd41f0e6 | ocaml(Hipattern) |
| = 91f169611318aedc592bf024573af625 | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = 59fdb83865f44cc6f25c60be55eedc38 | ocaml(Impargs) |
| = a366863d1b8e8fcead40add575b62d1c | ocaml(Implicit_quantifiers) |
| = 6ea8b3aeeace6bd04e760ab96d946ce1 | ocaml(IndTyping) |
| = 5f1e45678e7aa4a39c04ab8e26e27c70 | ocaml(Ind_tables) |
| = 95e8555d8b7783115d69caea0b48cf02 | ocaml(Indrec) |
| = 30c668f017f9230be709577db88d318b | ocaml(Indschemes) |
| = f273e2dbe2862c6422b1bfe8cff51217 | ocaml(Indtypes) |
| = f1a9f772087b26c2d34eb25a900b96e9 | ocaml(Inductive) |
| = 463396af8e15994e6333f473f51d4ad0 | ocaml(Inductiveops) |
| = 8e779023084c3f8e0b2f12a283ef64ff | ocaml(InferCumulativity) |
| = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 | ocaml(Int) |
| = 51eadaf0cae064f29382e502af8bb869 | ocaml(Inv) |
| = 4efbdf8a09bd6505648a25074e8595c8 | ocaml(Keys) |
| = 4d4e0019fb768523b194e87563e45c74 | ocaml(Lib) |
| = 02ee04741ecccd4a6a82dd66b8c3795d | ocaml(Libnames) |
| = 55fd7942a25933ad93fc7b288222b20f | ocaml(Libobject) |
| = 627c0896e1c1c6aa4a23c7c0bac92457 | ocaml(Library) |
| = 229a02026ac8fd859473a9b3ddb63d3d | ocaml(Load) |
| = 3ec2d446d93dabd3a592dd90b287f393 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = 446b59cbb24530cc5dccfcb639525d3b | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = a982fb04f7d3d9a4a2c17f8fd2325491 | ocaml(Logic) |
| = 7568b85d2e5b3a8a6979dbdb1096e38c | ocaml(Logic_monad) |
| = b1993183de704b35704156e88e6c3eab | ocaml(Ltac2_plugin) |
| = 540e89aa0ee963c445eb42ca7f3df380 | ocaml(Ltac2_plugin__Tac2core) |
| = 7041ceed31923fae2c6295bc8e11c0d0 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 95d453317e8253185cd6374756742aad | ocaml(Ltac2_plugin__Tac2entries) |
| = 3b57a1477972c4df60417306399f1335 | ocaml(Ltac2_plugin__Tac2env) |
| = 6253230716103d6b7dd6ea2aea081685 | ocaml(Ltac2_plugin__Tac2expr) |
| = d9a653f1c6599223710a871e72132889 | ocaml(Ltac2_plugin__Tac2extffi) |
| = a56b27ff5e2e97a2b4254ed306825c9b | ocaml(Ltac2_plugin__Tac2ffi) |
| = bc2398708106f421e409f122eedc1c86 | ocaml(Ltac2_plugin__Tac2intern) |
| = e0c938a9a75fe271c93a569130af89a5 | ocaml(Ltac2_plugin__Tac2interp) |
| = 48704916cad759bd4f77de5179975db6 | ocaml(Ltac2_plugin__Tac2match) |
| = 7be5d20d26971ca3bb3d560b6e9b60be | ocaml(Ltac2_plugin__Tac2print) |
| = b6c2add69326c5b9ac9ab915b4775626 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 0f7fd6381b4303343e69dede49642bc2 | ocaml(Ltac2_plugin__Tac2quote) |
| = 7f76be165611225cde1893f8d5dbd754 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 74304ebac81f72fceabd656de3589d6d | ocaml(Ltac2_plugin__Tac2types) |
| = ff40f0eaa3941f0427c9540957ea3df4 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = 7f51264610d86febd55751ade481cb54 | ocaml(Ltac_plugin) |
| = d2518dea8625c7029aa7b0cf6ae5a8a6 | ocaml(Ltac_plugin__ComRewrite) |
| = 60a5d9e4b843ebcf2a2ab7a929e54c05 | ocaml(Ltac_plugin__Extraargs) |
| = 3a445bdffb53ee5e77a92db316b06392 | ocaml(Ltac_plugin__G_ltac) |
| = 76d323702bb18bb63c6e8a5f21378f8b | ocaml(Ltac_plugin__Internals) |
| = 40c3edad22a06490d3ea7733b12f7cd6 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 343a0e91e5570407d4d55f975c39f4ed | ocaml(Ltac_plugin__Pptactic) |
| = 5ab560471afa103b368e74214cbab5d9 | ocaml(Ltac_plugin__Profile_ltac) |
| = 460daa5ee1c71de8f0a82854b5efc61f | ocaml(Ltac_plugin__Tacarg) |
| = 1c060cec2a7fa8864681089a11eb4cd8 | ocaml(Ltac_plugin__Taccoerce) |
| = 0995c1927bdacf1c523aaaa675e82a07 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = 57396f6e0de4dee925444431786b1957 | ocaml(Ltac_plugin__Tacexpr) |
| = 329eae3362e9f995d16a1b3c9bd944e6 | ocaml(Ltac_plugin__Tacintern) |
| = f6081045f29dbd3f2ab614066b067927 | ocaml(Ltac_plugin__Tacinterp) |
| = 8b8688b257969aa8bb742ef9c382084f | ocaml(Ltac_plugin__Tacsubst) |
| = 6b4b9794d2e2b592a4ab94224dc2e59d | ocaml(Ltac_plugin__Tactic_debug) |
| = 8673fdd5126c7791c13816daee83707d | ocaml(Ltac_plugin__Tactic_matching) |
| = d4a149e1177cc01114734f7895e97fca | ocaml(Ltac_plugin__Tactic_option) |
| = 270e7aa2a02bec3eda99e4f427a351f7 | ocaml(Ltac_pretype) |
| = ef17ddb3edfa09035e930a283de5f7e5 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = d9d0c697178a03aaadf7d820af2c4d1e | 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) |
| = a6e902c1bacde71e112af166b3205c88 | ocaml(Micromega_plugin__Vect) |
| = fd4208321b1c906f81a281034c3b8ff0 | ocaml(Miscprint) |
| = 18037b34393e18d572701dfee90ec3f7 | ocaml(Mltop) |
| = 883ff24157873ad45c0b936416e276f3 | ocaml(Mod_subst) |
| = 584bf17c50f5f292ce1a3db1da2920e8 | ocaml(Mod_typing) |
| = ca3937afd03274907b8d5ddcfd574c91 | ocaml(Modintern) |
| = de481303e1a8dec4d220dc9522f57034 | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = b27857dd58e622e963a475048c219bfc | ocaml(Namegen) |
| = 39600ad4195e192f6b794ace9699536d | ocaml(Nameops) |
| = 2ea9132743d37e1af5c8327b5dc400b1 | ocaml(Names) |
| = cd1025d7a24bd57f7b3234cafa33d7b6 | ocaml(Nametab) |
| = 842a27615e40a598a3aabe25b3b65322 | ocaml(Nativecode) |
| = 8d892045979e0114aa149472891fd7cd | ocaml(Nativeconv) |
| = 1869be31085172561c0826ff03c09026 | ocaml(Nativelambda) |
| = c14db6be2a471852ffc636e36467ec57 | ocaml(Nativelib) |
| = 9e33a00b8b1da3b368030be376fdcc44 | ocaml(Nativelibrary) |
| = 18f04e43e9c942ad5d3df102b097b480 | ocaml(Nativenorm) |
| = 50c4bb93028b49d5f9a3462bd4dda4e2 | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = ccc9173dc208892df5f9805bb3da133b | ocaml(Notation) |
| = 8fa4b901449f85b461f7fec7b0e251b0 | ocaml(Notation_gram) |
| = c8c86cbd0a75bb468eb0f1fde43336ed | ocaml(Notation_ops) |
| = f8928ba07509dc722ec93f786e618660 | ocaml(Notation_term) |
| = 6f691d234ff40f7e5788f4deef3bab47 | ocaml(Notationextern) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 6738fbab7a990394369e676c5a9fb3ba | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 5d3e7b9a2ad3262b9d6a272123b58884 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = 36b1f77b970034a899dd009a4e83e73b | ocaml(Number_string_notation_plugin__Number) |
| = 7915dbe69833e922e3bad98926c6e6ee | ocaml(Number_string_notation_plugin__String_notation) |
| = af105c139433e79a0b5b638c061c375c | ocaml(ObjFile) |
| = 999bfd5f937c49fe3b1b03eafd7a3c8b | ocaml(Opaqueproof) |
| = fbc7fcc30c684040eb9c11e3569e6e2a | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = a77c98a741a12cc0e30505f6ab67508e | ocaml(Pattern) |
| = e0fd278985e428f08fb9f688b2a2d341 | ocaml(Patternops) |
| = 534232cf0659b65b2cf606961452861f | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = c92e1d8bb7b56e34e0c67d76e06ad751 | ocaml(Ppconstr) |
| = 8d27b09f158f4a7e4a91f72aead8104c | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 91db037523f5a70b4e0b407801dc8ab1 | ocaml(Pputils) |
| = 38c0075d1d6ff286f044118a2d0aafbe | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 7c98662facfc2eae79018900551ece9b | ocaml(Prettyp) |
| = dc00e6f662a07e1405a5dd7f2e0ea833 | ocaml(Pretype_errors) |
| = 48b23857b1e813b0220a424962b8062f | ocaml(Pretyping) |
| = 4124a8d003016e321c5cc107b0d85c78 | ocaml(Primred) |
| = 142897df5497b18633c10c72ff0123ad | ocaml(Printer) |
| = 297a99be2a51e8572bfc3dccc857c134 | ocaml(Printmod) |
| = cacb6933086f515e793f211298f362fe | ocaml(Program) |
| = 4215cb70ba4758c3f779c2e5a6f28cd7 | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 237d3e015419aea21ca33195f9e3dd67 | ocaml(Proof_diffs) |
| = bd77afdfa26a6def6efd099a60c94825 | ocaml(Proof_using) |
| = 036409de3ce6e1b89709592a00f2a153 | ocaml(Proofview) |
| = 14b0d99211d2510fffeb2d5bebcba76d | ocaml(Proofview_monad) |
| = d73f78fd7407a990e00737b9f2f5c623 | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 0fedb0ae2727a77075157f91c3326a6b | ocaml(RecLemmas) |
| = 59fc693e71f414bd1bce62e3b6714af9 | ocaml(Record) |
| = c025c04c287e4c064bb17ad4a4e59160 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 061463a7ecc6882acd7c10c1c6cf2653 | ocaml(Reduction) |
| = 49f5d5eece86a9150ff5104c30b4c804 | ocaml(Reductionops) |
| = 5ee59939e30830565d9eb5d6be0ed2ba | ocaml(Refine) |
| = 0dd4560834bbc3e67ea8342d68a6a349 | ocaml(Relevanceops) |
| = 3b4ff909f64de6f4afc8b8b8f6e0d96a | ocaml(Reserve) |
| = 0f77e1ab603b08ff482d468569f092be | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 8784ac89f9afd496a2d931bdc8805638 | ocaml(Retyping) |
| = 26c447157c3d6c8e2cbaf6dfa65402c2 | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 8372c9042602313e1de3a58af38aaff0 | ocaml(Ring_plugin__Ring) |
| = 38360bfa10949f4b955f0cdde4c408ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 76113dd743107343d550301cf469e291 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 87266e831aa0fb41e7e69d43dba10e03 | ocaml(SList) |
| = 077905aaf9d36b5fbc475f19af4cf4bc | ocaml(Safe_typing) |
| = ced8457eb022d013856a59f721bb6d2d | ocaml(Search) |
| = 178658b34fe52e6380c020193adca07e | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = 26b95b0ac110181a8ba3e6fcfe04f163 | ocaml(Ssreflect_plugin__Ssrast) |
| = 1273b4999add4e754c380b0041146b1a | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 92d259a5ff76e43f765d196de78d1a7c | ocaml(Ssreflect_plugin__Ssrcommon) |
| = c2c403eaa26c12760b2702c426ff06d9 | ocaml(Ssreflect_plugin__Ssrelim) |
| = 70e04e0fbd05e41c960cc8dec232544b | ocaml(Ssreflect_plugin__Ssrequality) |
| = f0e22f67bfc49b2f36f4bc6ffc9f5f87 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = aaed5f33f32776eff138d372836d8f53 | ocaml(Ssreflect_plugin__Ssripats) |
| = 5a2bf34184b527af1a53474b14e59126 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 32636e6774779ef5d97f6ee9344e9d66 | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 80ba613a04e3c7c76b3aa816b81cadbf | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = f80437dd6857cf0d51335e928c045734 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 19442d45b6573d7ae8f1f6a87005c674 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 18c1e1caa14d693923ae0f349dd2b350 | ocaml(Stdarg) |
| = 79b0e9d3b6f7fed07eb3cc2abb961b91 | 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) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 28f276c430fdc51a3a10691d3066b26a | ocaml(Stdlib__Weak) |
| = 0ff5c07638f9179d1776aa495f7e4e1a | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 514c63e7d96516ff4c601fe47900a52d | ocaml(Str) |
| = 63eeba12de775b8a45de7c8a85fe2212 | ocaml(Structures) |
| = a6ef663f5f39cf030cba28740a068e91 | ocaml(Subtyping) |
| = 858008ea8c56f907396e598f98daef71 | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = b5d3792869376370386502651527baa1 | ocaml(Tacmach) |
| = f8842bb29660b50a02735faa11d2447a | ocaml(Tacred) |
| = 9d0357efcaf60a446685cf5fdd528d0a | ocaml(Tacticals) |
| = 356d951a919895c83fcd4cfb2e5a2b98 | ocaml(Tactics) |
| = 65ee8f80ddd505d1a33624bc0cb44b61 | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 7a45b29ea54c962bdd7f36b12dac3b17 | ocaml(Term) |
| = d6e95187137cf80e4b855efe58d4fc93 | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = 860deea12963f24bf148076f1aa7675a | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = 2bddd7a50c5dc668c81f067689ea2a24 | ocaml(Tok) |
| = 816ab3bdc8a46f98e99bbb04b0872e06 | 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) |
| = fb78d902dcb5399dfbea44e2f6317114 | ocaml(Tuto1_plugin__Simple_check) |
| = 81d98c72083228668c1332c15b505649 | ocaml(Tuto1_plugin__Simple_declare) |
| = 04bbf6b01ed59d86a3efcc0dfbcd5f8d | 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) |
| = d72e33164fb9ef92bcb0867a09f77072 | ocaml(Tuto3_plugin__Construction_game) |
| = caf24d6a839d58b72bcc81040aa04137 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 8ea8227048ad205d3384b10fc32d3b09 | ocaml(Type_errors) |
| = e273397fb1b53aad8bc86e45bfb6d589 | ocaml(Typeclasses) |
| = 0685ad351314e6881f9efef1f44bffbb | ocaml(Typeclasses_errors) |
| = 6d369174464463517c6f13560c32e442 | ocaml(Typeops) |
| = 7725bc327db698f1f87987823e9e6ac9 | ocaml(Typing) |
| = 2fd6f0b34adce97d21c5d93b17310f9b | ocaml(UGraph) |
| = 9cb90b5c0198a9392b644fc648a3b2e1 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 36a6ae469f84757170a84a81b6d92182 | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = 53a988bf819cc7d250124ea3076eb3a9 | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = f7225d1b1091516b25bcad262c410029 | ocaml(Univ) |
| = 808b07bc3e637d1c75fca5c3a86bc9d4 | ocaml(UnivGen) |
| = 48a462058b4ee2448760cff726ce452d | ocaml(UnivMinim) |
| = 650214610ca9c965cca2140d6065e8c4 | ocaml(UnivNames) |
| = e7830949b233fefd37a1fd12dae0225b | ocaml(UnivProblem) |
| = f8e474cbcc595932bd4a530a6694fbfc | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 82442e4e897c61e9ffd5234974e104ef | ocaml(Util) |
| = cb3ff5d5b665cb384fb59c1413884523 | ocaml(Values) |
| = f17abb022dd4936d1a6ad91b4dda1549 | ocaml(Vars) |
| = 550a2f4b799a9e7c3b8f787aa7b5ec93 | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 7f412b2ae3a5f631dc411abdcdaba630 | ocaml(Vernac) |
| = a59f22207d274f93b817ad3453c1025f | ocaml(Vernac_classifier) |
| = 13fb30dc9f6048f84628cf65cc8a6e8d | ocaml(Vernacentries) |
| = b40e25528243ed19b4d298cad8d3815c | ocaml(Vernacexpr) |
| = 23cac55a4ec53b7a700e727d744aa012 | ocaml(Vernacextend) |
| = 207d177b3b9bec0a4d91d161bfda9ea4 | ocaml(Vernacinterp) |
| = 71176486fcf560d57ca342c2c619f300 | ocaml(Vernacprop) |
| = ce4f1d6799d679c6a098221e4e471d74 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = 32621364c2630626379d3be44fd46fd4 | ocaml(Vio_compile) |
| = f0ec330433b935ae1c1fe15ec7447bfe | ocaml(Vm) |
| = 0ec5367f45655d3cfc46db2e6443e395 | ocaml(Vmbytecodes) |
| = e153353f8c69b37c926991db72ac8c87 | ocaml(Vmbytegen) |
| = 346ef462a1e0243aad6f2621f358e795 | ocaml(Vmemitcodes) |
| = 80285fb8af95606eb567f5fb7e23423a | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = 7ed81fefa009caa6efe0230b11866b98 | ocaml(Vmsymtable) |
| = 1faa9be887b3fe66b213790f9bb1a3d8 | ocaml(Vmvalues) |
| = a870bcab96ddf73c8413d6aba9b3ac07 | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = fe038150f1e21ce13b77d0fc1645378e | ocaml(Zify_plugin__Zify) |
| = fa191a0b0ae96feb1d972b8e4d3ca547 | ocamlx(Abbreviation) |
| = d779741afab3f7c17c4a132bd6c6dc57 | ocamlx(Abstract) |
| = e86869a795f9e0c897d1b62c22fe8748 | ocamlx(AcyclicGraph) |
| = 965b49b77f561a615fe0c29925b888bc | ocamlx(Arguments_renaming) |
| = 6459f18bba23d0d03a2340ba5eb2e42e | ocamlx(Assumptions) |
| = 274025ce3b0454f6c369a7a721933d3b | ocamlx(AsyncTaskQueue) |
| = 5641542dad55260d3ae60cc2915dee2a | ocamlx(Attributes) |
| = 09611febbe9dfada52730f48095cdbb6 | ocamlx(Auto) |
| = e226bf4b8b6963cbcfe6ac811540edf6 | ocamlx(Auto_ind_decl) |
| = ed9c952e84cc2aaf70b9fd0fabe5ac3d | ocamlx(Autorewrite) |
| = 6663498f81240aa32091d09dad5125e4 | ocamlx(Aux_file) |
| = bb73056068d7ab79dba6b47fc43812c2 | ocamlx(Big_int_Z) |
| = ea8ff75f1c1362e4f703c929ef1838f2 | ocamlx(Boot__Env) |
| = b59e0b50d2caa2ea735361e16a2dd50b | ocamlx(Boot__Path) |
| = d89112f90887bc750103983d19191fa7 | ocamlx(Boot__Usage) |
| = 3a8655be4f88b02d96281da59f836979 | ocamlx(Boot__Util) |
| = d89efd34e957b124014af748723c4a8e | ocamlx(Btauto_plugin__Refl_btauto) |
| = 3f636f034295acefcfaca24ec37e782f | ocamlx(Btermdn) |
| = 69077a70554ae7c4aafb812c3551f8ce | ocamlx(CArray) |
| = 65083c3b3abbf671de54b4ee20ee8bbb | ocamlx(CAst) |
| = c0362577c837d3b00c10496c77f0fe97 | ocamlx(CClosure) |
| = 8cc98a7c2778b1e956c2506c0e2dab22 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = d2beb050d8fbcad7edf714e12edbc2d3 | ocamlx(CErrors) |
| = 11afce1858100b47b77165f4bcc4cde4 | ocamlx(CLexer) |
| = ae24fb792094005682af4d83cd3e3a5e | ocamlx(CList) |
| = 9ecbc00493b814c9a5b3e6c1f46beed7 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = dc6cbfef3822f3ad1a2122516aad5c8a | ocamlx(CPrimitives) |
| = e849df80a3bae5f98a1c0a0d97fca7b7 | ocamlx(CProfile) |
| = 731b09278ea266a3de76a71873a1f500 | ocamlx(CSet) |
| = bb0679407165dab9dc28c93b6a4bfe5a | ocamlx(CString) |
| = 5738f40b996b72bef73c0152ee136148 | ocamlx(CThread) |
| = 43fbbe8818bbf229513b357b7c495fec | ocamlx(CUnix) |
| = 8092fb6d7c560e48e7e811d32c0728f7 | ocamlx(CWarnings) |
| = 0573444d7d158417dbd5f4f46081e73b | ocamlx(CamlinternalLazy) |
| = 6655be7904f5f055c5ec94e3fc3775ba | ocamlx(CamlinternalMod) |
| = 8f45b9257dcd8c6aa6185a694834d5fc | ocamlx(Canonical) |
| = 65b548fbdb53858a379f7a8d3a7be378 | ocamlx(Cases) |
| = 439719aeb7ae2ce17f55c6741cd4d973 | ocamlx(Cbn) |
| = 9d2982a4dac8cb0609788370601799cc | ocamlx(Cbv) |
| = 1ad5399791907f9ac099470672033d5f | ocamlx(Cc_plugin__Ccalgo) |
| = 104a5f04269cc1518ffa213b34b232c8 | ocamlx(Cc_plugin__Ccproof) |
| = 6aaa67824f6ddee646f54fbb45d0f09d | ocamlx(Cc_plugin__Cctac) |
| = 836743e087cc201fc64465f9b7f876b2 | ocamlx(Ccompile) |
| = 9a94a292df8e6b139b7d5a6c92e08170 | ocamlx(Class_tactics) |
| = b008a26f79846ff4dadfca60472e42e3 | ocamlx(Classes) |
| = 1dec1b23240000e956cab42ad465a5e0 | ocamlx(Clenv) |
| = bb132b915535b152b69f312aee4a97b4 | ocamlx(Coercion) |
| = c4a6970dc841040840f544eeeaf43c16 | ocamlx(Coercionops) |
| = 6c1daf115612bf12ac82a17cec8165ce | ocamlx(Colors) |
| = 9f1a159a571968be9681957b08a5f101 | ocamlx(ComArguments) |
| = 7e96b37ef8a2afb4c099bc44783e64c1 | ocamlx(ComAssumption) |
| = 79f454e262c0b672e81a07d25b5c9647 | ocamlx(ComCoercion) |
| = faffc6bfcc9dbe9dcd33ee399711b993 | ocamlx(ComDefinition) |
| = 569c987dc990998e1c64c69dca9146cb | ocamlx(ComExtraDeps) |
| = 1bdafa993ce0a05af1d085d8d8c56d8c | ocamlx(ComFixpoint) |
| = 77dba46fad67a7c4bce0b5272e340d72 | ocamlx(ComHints) |
| = f3af9e1f13e0c3269c503b6241cb019c | ocamlx(ComInductive) |
| = 7c2ce0aad4942cd99505e31a7ea832f6 | ocamlx(ComPrimitive) |
| = a750c9c9414416068f230a86ca9a1901 | ocamlx(ComProgramFixpoint) |
| = 1c56d55d1a65cefef569627bf5fcaf19 | ocamlx(ComSearch) |
| = be669282165461252d96f18b7bbf56f4 | ocamlx(ComTactic) |
| = 709d7f0691a07fd5f0157cf4ecd0c92a | ocamlx(Common_compile) |
| = a63efe87f1c64636f7dd0ca176135334 | ocamlx(Condition) |
| = 251dbf0308786aad53276f7e427cd1b1 | ocamlx(Constr) |
| = bd23cc27bb48c1be8ca34a8ba5db8aa6 | ocamlx(Constr_matching) |
| = 4b6b9a01741b22a844e44ef761f0ed75 | ocamlx(Constrexpr_ops) |
| = c6d56d11e72ce0671d20fea94f3d3afa | ocamlx(Constrextern) |
| = b38d526c104bb0a6940b207335f205c6 | ocamlx(Constrintern) |
| = 05e9be34eb5157b1b17807eb4ca8f2fc | ocamlx(Context) |
| = 970bc77c4b0e2be9b331c1a10537ccf1 | ocamlx(Contradiction) |
| = 43e49934208bcd922ae13d402a76b5a3 | ocamlx(Control) |
| = 3ecf428d2a9e00d69a9445c3dbf4cc8e | ocamlx(Conv_oracle) |
| = f0a547fb7f2367cec04aae3610103832 | ocamlx(Cooking) |
| = 7cf638d493004511d5d651aae4aa842a | ocamlx(Coq_config) |
| = 6fe793e0db7137bfbdf2d597dad9c348 | ocamlx(Coqargs) |
| = 7bcfc479cf9dae2140250c3342ab3abc | ocamlx(Coqcargs) |
| = 24e426b126944de74335a3dcc4908760 | ocamlx(Coqinit) |
| = 98c5bd45008d7f9bdb738d24a8288a94 | ocamlx(Coqlib) |
| = 6e76512a8f2199b7a6929806c36a8a5e | ocamlx(Coqloadpath) |
| = 5a5886e0607dce39142d5afd9d851b45 | ocamlx(Coqloop) |
| = 505b9aa3cdae95aea062d5709ab1d059 | ocamlx(Coqrc) |
| = 2bce147ead5d7d9b314ebf12bfbc58ef | ocamlx(Coqtop) |
| = 20cae04b7e47399fc86a4333b355f97e | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = 87bf9a546855ea7a2cfcaac317204a46 | ocamlx(DAst) |
| = eee2c52e4dbf8e4d961538104ebc18ea | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 516b3e150ddf97ed1b36b7b620472b1f | ocamlx(Declare) |
| = 83f47144b28652bfa2e6bf88f8268a29 | ocamlx(DeclareInd) |
| = 503750a0a507f927e1be645a4eea8be9 | ocamlx(DeclareScheme) |
| = e4e5b2b29dac26ce5a55349f6ee60bc6 | ocamlx(DeclareUctx) |
| = 643f0b686235e845bb1f31d50268376a | ocamlx(DeclareUniv) |
| = b8ad63054a4afa6af6da1f28e5e0bc35 | ocamlx(Declaremods) |
| = cb663cf40e7f0bed4c787770fcad98a7 | ocamlx(Declareops) |
| = 1b1eb8eca63ab65dcca4140fe6c5b93a | ocamlx(Decls) |
| = 3894cbdf79a7112ef59eb0b75ed51f90 | ocamlx(Deprecation) |
| = 63af3599b1f6dc0147c22d2a51a0c404 | ocamlx(Derive_plugin__Derive) |
| = 3a99e1008881ab1753620c278233c91e | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 7652de72cda677f6574f419cdb8c846c | ocamlx(Discharge) |
| = 4f6cd7c74431bf6f639f68a74b3c1b31 | ocamlx(Dn) |
| = c6f66c0094ad3e6c7d841a4939e66ca5 | ocamlx(Dumpglob) |
| = 8df2aa2eeee7aede0a80f4d4cd8215c9 | ocamlx(Dyn) |
| = d08637f19b43f8abf794c7007961024e | ocamlx(Dynlink) |
| = eb7b746806b2dff679732b3924d392a1 | ocamlx(EConstr) |
| = f45f8e67d755c40be35677a01094e87c | ocamlx(Eauto) |
| = a05df4b8a27d05e0b0a54b578b895bf5 | ocamlx(Egramcoq) |
| = f08b9cf3c289d84f577f401398d0eb9e | ocamlx(Egramml) |
| = 04e43958120f7c8cea47612b687e7b78 | ocamlx(Elim) |
| = dc3f5630b94f02ddd95bc07450090dfc | ocamlx(Elimschemes) |
| = 8bf4fde65cef1580b3d852bc60750eb2 | ocamlx(Envars) |
| = ed4d2cbd4e05f41dd2d1e1f81a47d919 | ocamlx(Environ) |
| = 538d9187a08438ad4dcb4c7f457ea0c5 | ocamlx(Eqdecide) |
| = d06632ce33d8037a381baabb22631e8c | ocamlx(Eqschemes) |
| = bb3fff7898ddf3970a8667606fc9c055 | ocamlx(Equality) |
| = 6f07572552977d3f82d75508de5af7ce | ocamlx(Esubst) |
| = 9302b49ceb98ff523a7e5e42d6f73c85 | ocamlx(Evar) |
| = e87dc1437be578ef332455ef667f0caa | ocamlx(Evar_kinds) |
| = 561992d0001e9c09f3a3f419863bc803 | ocamlx(Evar_tactics) |
| = acf978bd97ab176462096434713142b7 | ocamlx(Evarconv) |
| = 3170c677bd106635f029d838286b422a | ocamlx(Evardefine) |
| = a5c8ad3ecec942caffc603ea2179e1dd | ocamlx(Evarsolve) |
| = 31fbde6f81ba195b35cf57cddc213eaf | ocamlx(Evarutil) |
| = 3eabb38d326ded18b39b5ec2b0e4c114 | ocamlx(Evd) |
| = cce74d96bc6d031a65a5e0de91168728 | ocamlx(Exninfo) |
| = d9f4e56169238574ba08a6840b32d45d | ocamlx(Extend) |
| = d627212907e415db191cd03c91b81353 | ocamlx(Extraction_plugin__Common) |
| = 80f220f5b564f5cfc0b65ccef55f7dba | ocamlx(Extraction_plugin__Extract_env) |
| = 9f88f33f7e7a0c092ada8aeaa88f4b05 | ocamlx(Extraction_plugin__Extraction) |
| = a98fce8bfa54e123166b3db893caea59 | ocamlx(Extraction_plugin__Haskell) |
| = 29e90c1eef79cf303e940b19c682cafd | ocamlx(Extraction_plugin__Json) |
| = 910b0a534997070034d88d86263adfaa | ocamlx(Extraction_plugin__Mlutil) |
| = f7cf374531f02224d1a5abe194ce4202 | ocamlx(Extraction_plugin__Modutil) |
| = d064329a78d692ff03382a42da68550c | ocamlx(Extraction_plugin__Ocaml) |
| = ef548b087859a21c915cb94365fef8f2 | ocamlx(Extraction_plugin__Scheme) |
| = af0ac609689670fe1c527f9e32783324 | ocamlx(Extraction_plugin__Table) |
| = ecb5fe26475144c8c7f397d285400da7 | ocamlx(Feedback) |
| = 2eca0162ac08dcffc65bbfa3cece6c30 | ocamlx(Find_subterm) |
| = ea6d3af572ec1204a8f64eadd76d485f | ocamlx(Firstorder_plugin__Formula) |
| = 386a472d13b38519af33ec9ef4a7a3de | ocamlx(Firstorder_plugin__Ground) |
| = df7b60cdcb609c61ab65808bdebc9f37 | ocamlx(Firstorder_plugin__Instances) |
| = 162c6f978f7fccd1e26cb26ac2a106fe | ocamlx(Firstorder_plugin__Rules) |
| = df70be1fa5520d1625fe4189b8b6a7b5 | ocamlx(Firstorder_plugin__Sequent) |
| = 77768e36700c8c14341b7b137a598fb5 | ocamlx(Firstorder_plugin__Unify) |
| = 842c8a5368d76c776d1e40dbf3fed00e | ocamlx(Flags) |
| = d9b45137b271e469dfc36466ea1ca6e9 | ocamlx(Float64) |
| = c079b73647ef633fadbfa5bdce5e1a3e | ocamlx(Float64_common) |
| = 7cf9cbe4cad975c0349cffc65457d335 | ocamlx(Ftactic) |
| = 6cd22bcaabd014872c153816ea9243ff | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = e1ac7e8fe5e7c6027ac621ef872d5d7c | ocamlx(Funind_plugin__Functional_principles_types) |
| = 3f3e15d8ec54111952792b6be9a010a1 | ocamlx(Funind_plugin__Gen_principle) |
| = 20dda3e4f2db0259358c289ed44f84ca | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 4d9012fbe223fd62113113010543b2d5 | ocamlx(Funind_plugin__Glob_termops) |
| = f2005217b48edc948d04f691322819af | ocamlx(Funind_plugin__Indfun) |
| = 8e2c3c8cecf79ead6ee9d3c2bb569e99 | ocamlx(Funind_plugin__Indfun_common) |
| = 64870896309377994f6b45bb64d1170d | ocamlx(Funind_plugin__Invfun) |
| = 253332f110bd886d6bf002a34e12eebe | ocamlx(Funind_plugin__Recdef) |
| = 054f88ffa68b1ed6037f3bf240a3ade1 | ocamlx(Future) |
| = b0af35f42943d1d92685e982999870d8 | ocamlx(G_proofs) |
| = 333656af0bf17cd49b39e0b581001ec1 | ocamlx(G_toplevel) |
| = 20ad92a0f8b88bd2f45901bb5bd09c50 | ocamlx(G_vernac) |
| = b52463c11f9310d3eaedbb90a39d1c88 | ocamlx(Genarg) |
| = 97ff875b472c847091e219eb1d9b5af9 | ocamlx(Genintern) |
| = 425882dd4802306ec846afb94a40590f | ocamlx(Geninterp) |
| = 0aea1d1cb69de01b5aa63cfe4360524b | ocamlx(Genlambda) |
| = 5c7afdbaa62f959f50257367a265193c | ocamlx(Genprint) |
| = b1e0379a937b3e9721f891ef3612c85f | ocamlx(Genredexpr) |
| = 0f472b00384422a5091c09a46c109217 | ocamlx(GlobEnv) |
| = 813110165466da9b8654c096697f7d5c | ocamlx(Glob_ops) |
| = 790376db3cf0b52c37a66ad42f994223 | ocamlx(Global) |
| = f50a1da734d1768d65843fc8f22e1979 | ocamlx(Globnames) |
| = 90386f0a5662123f6aca2708d770e4e9 | ocamlx(Goal_select) |
| = c4d46618ad1c45a16f31a4899658fc5a | ocamlx(Goptions) |
| = 1f9470b12b6af35960ff459bd2efa81f | ocamlx(Gramlib__Gramext) |
| = a4fdcfc9a736b889e4e4148491a73934 | ocamlx(Gramlib__Grammar) |
| = 079e72044ed7fd3c35164f9ec6d5dbaf | ocamlx(Gramlib__LStream) |
| = 4d79c7546d977c90b14f035a31008544 | ocamlx(Gramlib__Stream) |
| = b2cf5dd59b52e4587106ca256f2d91a3 | ocamlx(HMap) |
| = 8e15bb6dbac7f1a0b4597cb2dea57763 | ocamlx(Hashcons) |
| = 289d79da738c49c99cd6d18df93996e7 | ocamlx(Hashset) |
| = 8488526f2fb8dcf3e8c8b90b3b9ce0f9 | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = 8bed99f9e8b29f7ae63196a29a0db708 | ocamlx(Himsg) |
| = e43f6dbba75031bf46f6ebb48bfcfbbe | ocamlx(Hints) |
| = d74d86cdf70a40e5e08975503677a4f9 | ocamlx(Hipattern) |
| = f0b5d946152854c7e0421f96585f9c32 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = 2e9a67c2cabd15a87b5277ef462d6490 | ocamlx(Impargs) |
| = 5986ee73f06cfed2b7258ab72d2250f5 | ocamlx(Implicit_quantifiers) |
| = 9f50def85c20b19c95a825e83f0d9a7d | ocamlx(IndTyping) |
| = 29d2a509ab905f5e048148a31ce42211 | ocamlx(Ind_tables) |
| = 13f6faefc0c1337f368a12c68f122ac9 | ocamlx(Indrec) |
| = ba49dbd6be77254584ac370b9b2e5e7a | ocamlx(Indschemes) |
| = 251f6aed157a2fa2612055e2888b0c80 | ocamlx(Indtypes) |
| = 3e996741506496476719ad70c4c3c21d | ocamlx(Inductive) |
| = 3a5b15deda396ca7c2d63ea39716d6a6 | ocamlx(Inductiveops) |
| = 7997655dfee9926641087ab1cb52b029 | ocamlx(InferCumulativity) |
| = 5a7a707e81004c77cb758062d28de739 | ocamlx(Int) |
| = af8c688e7ae55a04de1c81581d5f1807 | ocamlx(Inv) |
| = d8b660626c0fdc276ec73ee236ee0c10 | ocamlx(Keys) |
| = a0718b3b8131d19cdb33a6de29e22ffc | ocamlx(Lib) |
| = dfd2e6102b233eae0b3ad0a1285bb65f | ocamlx(Libnames) |
| = b87dc31cb7344d131fbfbffc4a960705 | ocamlx(Libobject) |
| = 56b05299dea9e4abc4697194ae612d91 | ocamlx(Library) |
| = a8da92e2bb79480dce6ac433a6cafe82 | ocamlx(Load) |
| = 1e50e66469465a441f1b7ae3deaa8ae2 | ocamlx(Loadpath) |
| = da5c60aea5eb2601f809baa02357b1de | ocamlx(Loc) |
| = 7bac7b52ba11e1ec3f7da64f450c8031 | ocamlx(Locality) |
| = 9acbb2d23906cf0be4b3ac9e8f4fb666 | ocamlx(Locusops) |
| = a29bc81dc3266dc3425ee9a3bef99187 | ocamlx(Logic) |
| = 8c77db64109524ea84e7506712db1580 | ocamlx(Logic_monad) |
| = 2e2ee5e36a14379d0ea087f650c8cbfb | ocamlx(Ltac2_plugin__Tac2core) |
| = 7448045b7cc9da4be89ad66f332e1b49 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 9528b0b13fbf25ab5dda05d094ecc562 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 625da0bdf8c708c3d666df4c40d799f7 | ocamlx(Ltac2_plugin__Tac2env) |
| = 4b980386f08753bf5ec77e15b0d3bf89 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = c85d87651a833e21b577ae2f815f0e0f | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 330f9cdcbf7a2c3f2d34a498f7c7da43 | ocamlx(Ltac2_plugin__Tac2intern) |
| = b9bbb79bc30cc7b54c0c938166ecf080 | ocamlx(Ltac2_plugin__Tac2interp) |
| = acf6db6374e1dff5bcd9c6caf2ae7888 | ocamlx(Ltac2_plugin__Tac2match) |
| = 9ed4948203cbe84340cdfb28808ae052 | ocamlx(Ltac2_plugin__Tac2print) |
| = 58c322402aa3aae77f3d135d97e7f2a1 | ocamlx(Ltac2_plugin__Tac2quote) |
| = a0147448bb4ea721d193b1513fe42e45 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 8cd253cdf763d32211a1ea04e5d6b43a | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 3e5a5916fd8afa705fcf3ecfad8a2757 | ocamlx(Ltac_plugin__ComRewrite) |
| = e77a6d8418b2c916a08840fdca035089 | ocamlx(Ltac_plugin__Extraargs) |
| = 6520b29f7b39c63f0523f91b9ed4d924 | ocamlx(Ltac_plugin__G_ltac) |
| = 266b5059ecc62009252f61be02a64111 | ocamlx(Ltac_plugin__Internals) |
| = a547abfc50f5ddd5b1ad5b0e29d2e036 | ocamlx(Ltac_plugin__Leminv) |
| = c2b89a66426a68bab0097e73705a06a2 | ocamlx(Ltac_plugin__Pltac) |
| = 0b0c59fb9c8fd4ef114d2ba197281561 | ocamlx(Ltac_plugin__Pptactic) |
| = 87840570f184cad4b28a0c602551673b | ocamlx(Ltac_plugin__Profile_ltac) |
| = 4c3e5ae6643dba5f7f79768dc1e593bf | ocamlx(Ltac_plugin__Tacarg) |
| = 692604c42ee04b3ea6d659aec38ecd0c | ocamlx(Ltac_plugin__Taccoerce) |
| = 3a0c857e538bd57dd1c2ad62d3f02eb4 | ocamlx(Ltac_plugin__Tacentries) |
| = 2d876c6e15b1e1e1d767e5748f64e30a | ocamlx(Ltac_plugin__Tacenv) |
| = d2b27ac5dfe36f78193fa964de612b65 | ocamlx(Ltac_plugin__Tacintern) |
| = 7f44d05837983120f6d1acfe377308cb | ocamlx(Ltac_plugin__Tacinterp) |
| = 02e2c7c81809ae177188659d34e6151f | ocamlx(Ltac_plugin__Tacsubst) |
| = 6fa2e6fe2b7b6aa50be03e3737a415c9 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 5d08a78b02b9502fa139b693c7aa6bff | ocamlx(Ltac_plugin__Tactic_matching) |
| = 8e1a2fea0213b49d8c82360b0e451760 | ocamlx(Ltac_plugin__Tactic_option) |
| = b731880ca13a0f93754de6f872d45e74 | ocamlx(Metasyntax) |
| = cff1339f024bb3063ea31da6c3283e89 | ocamlx(Micromega_plugin__Certificate) |
| = a8387b853527467e717f441bdcce4c1a | ocamlx(Micromega_plugin__Coq_micromega) |
| = b90825661ce247b240190a255eff6d77 | ocamlx(Micromega_plugin__Linsolve) |
| = 50b27671573a4979b71a1b6ce20c80ae | ocamlx(Micromega_plugin__Micromega) |
| = c5bbc10bca829dd3f65f021173e60baf | ocamlx(Micromega_plugin__Mutils) |
| = 0edf2d3de0356b16d49fc5887357e7b2 | ocamlx(Micromega_plugin__NumCompat) |
| = 13b9bf52ffc60f1816bf4be0897e8074 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 89614c69986571e0dd4dc59630f5b6dd | ocamlx(Micromega_plugin__Polynomial) |
| = 670c0bec4ecb935a822dc990b196425e | ocamlx(Micromega_plugin__Simplex) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = 8bccfdb1c4149eae975fad0cd3d9467f | ocamlx(Micromega_plugin__Vect) |
| = 483874379d0e6c6bdb4537523680864c | ocamlx(Miscprint) |
| = bbfa7404a3847693fa6d8092dccab864 | ocamlx(Mltop) |
| = 59c06ca21103f273d0bc4c7b7fe395df | ocamlx(Mod_subst) |
| = e888754a7bcd27c95518c9e8339ea289 | ocamlx(Mod_typing) |
| = 1f11da891d74e737a66a91371c2e2021 | ocamlx(Modintern) |
| = d23f311b0251904325d5a940faec0396 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 070d55bb683901b185545f26b3d87913 | ocamlx(Mutex) |
| = 047236918134576130d51a116afe565e | ocamlx(Namegen) |
| = afcd2eb3e9984d30d706133e319b3bb5 | ocamlx(Nameops) |
| = f2af9c65627b96691453a86a0b898d83 | ocamlx(Names) |
| = 4344b5269fff36f03c9940f3f805e356 | ocamlx(Nametab) |
| = 5a7e0e94055b1546ca43d838d54c067d | ocamlx(Nativecode) |
| = e86f2f046e8b1b14467f5dc9fa6bf3ae | ocamlx(Nativeconv) |
| = 15a1cf4822cf714a56461cbfd7041163 | ocamlx(Nativelambda) |
| = 3e672094c89b504f420f16260891a881 | ocamlx(Nativelib) |
| = 9980f276a110ee049700bab981fbdeeb | ocamlx(Nativelibrary) |
| = 0eb916320b713158752471db16ac830e | ocamlx(Nativenorm) |
| = dbcd9cbff7a6549a641c25e4afb7c276 | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = 5d8d69fc88c9b72f7345ac34d1940dd0 | ocamlx(Notation) |
| = 5dbec5d41f0f3c2a4ab5351c23753b06 | ocamlx(Notation_ops) |
| = f3c6ed1b086316676007b3ce5138d5f7 | ocamlx(Notationextern) |
| = 8788a5124848174ea9d6dbd7247061ca | ocamlx(Notgram_ops) |
| = c6108f02c5f8b27fb5f9fc216e2d682c | ocamlx(Nsatz_plugin__Ideal) |
| = 960d795a28f6e3e646529f84ca79cd41 | ocamlx(Nsatz_plugin__Nsatz) |
| = dea68b71b835d1d482854c5fb607d25e | ocamlx(Nsatz_plugin__Polynom) |
| = 009d61d376666a539a6c1850244d4492 | ocamlx(Nsatz_plugin__Utile) |
| = e5dad2b6a56f4993ccde46d88778e805 | ocamlx(NumTok) |
| = 5d8a6af47d2f88bb3ce3412a8231f1bd | ocamlx(Number_string_notation_plugin__Number) |
| = a54aa5c51c64ec1453fe84b1b7c4fc46 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 7b22af394cac5d81506af6b96f6f0d3c | ocamlx(ObjFile) |
| = 7073d4a5947666b1809d5774943773c9 | ocamlx(Opaqueproof) |
| = 5fbc1109d7ec7017fa5a99586b04e787 | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 0ac4543a9028e035f21f74ce6ef8708b | ocamlx(OrderedType) |
| = 160d1af2771cf00e7082e108e752c1e5 | ocamlx(Parray) |
| = b589642c46c502598d250abf70e84bad | ocamlx(Partac) |
| = fc69eaf836c41c5e45827dc048465679 | ocamlx(Patternops) |
| = 222505fdb3a54d68a818e7bf5b0f1b41 | ocamlx(Pcoq) |
| = f856573c5dbd6b3be2ff2435e2e9ad5a | ocamlx(Pp) |
| = 37068b2d55ec8e0c71b347d9b5b55462 | ocamlx(Pp_diff) |
| = 8559fb727de005e22e51068971e33e24 | ocamlx(Ppconstr) |
| = fe43a69dd0948725a121d8a75a026c41 | ocamlx(Ppextend) |
| = e0fc0c85f757031b910455a0cfaad412 | ocamlx(Ppred) |
| = cbbd7538ee0cdbe8b3b0c2a42f7f79fd | ocamlx(Pputils) |
| = 2fac87316b29df3406e35bc342d2bf18 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = 6867c61f71285629b34117e8faca5214 | ocamlx(Prettyp) |
| = 17ce4458e5c1e8e500ee11af65fb6e64 | ocamlx(Pretype_errors) |
| = db5c6a7b524f24c2447aa583ba2478fc | ocamlx(Pretyping) |
| = 9ff42da181097d77a476788c229c8eec | ocamlx(Primred) |
| = 31c008dfbc0d0ab10729d839a88511c6 | ocamlx(Printer) |
| = d41d383cb954c0ed14db6a8e3e6e7697 | ocamlx(Printmod) |
| = 15ad438fe876eb837b0c5929cd5d3bc6 | ocamlx(Program) |
| = fd230458e9b954e9e8bf7b255e0ae39a | ocamlx(Proof) |
| = 604d7a58b529840556d73d8f933ba143 | ocamlx(Proof_bullet) |
| = a366f923b21fe58d9e555f4b14c5ffbe | ocamlx(Proof_diffs) |
| = 9edd6fa85f9465ac42418b39e54b242f | ocamlx(Proof_using) |
| = 1616d3eeaa69b728c800eb108a74e3d8 | ocamlx(Proofview) |
| = 5d98569f3fa87129021be7635984676a | ocamlx(Proofview_monad) |
| = df39aa65ad06d03a53fe51863a75a343 | ocamlx(Pvernac) |
| = 778db690673a2ecd778badfca767ce6a | ocamlx(Q) |
| = 1d5958e8dda605e6cbc4f87eb5e144f6 | ocamlx(Range) |
| = d2c6ff98b5030b0944917ad7c583e419 | ocamlx(RecLemmas) |
| = 94310c90697e7ab6d2f699eb2efd254d | ocamlx(Record) |
| = 64075108992c06270809c189048b4b52 | ocamlx(Redexpr) |
| = c0bdf1cc701e3862a930342012da1f05 | ocamlx(Redops) |
| = 03a90f42980b7072a978063bb84d3ffc | ocamlx(Reduction) |
| = 19e63b62315c1426c00d1ce8025bb24c | ocamlx(Reductionops) |
| = cf4db555a34d575ccfa3282077adf01b | ocamlx(Refine) |
| = cf5d3addf5ad77af12da7570badb1d43 | ocamlx(Relevanceops) |
| = 661af2b14d5afe309bfb4e29b93d9053 | ocamlx(Reserve) |
| = a49fead344ba78058eae1728b8a1f665 | ocamlx(RetrieveObl) |
| = d402ce6645603748483439c72fae3388 | ocamlx(Retroknowledge) |
| = 1a028a2f8ec9aa39a340c337b846ad6d | ocamlx(Retyping) |
| = b126bfae440867026a8f956fb67b627c | ocamlx(Rewrite) |
| = c23dc0ecbb425250da38f2632326d51d | ocamlx(Ring_plugin__Ring) |
| = fd4fab7de6a07f41734ce68bf0c9434f | ocamlx(Rtauto_plugin__Proof_search) |
| = f62bb0ace311914a350632e68caf582e | ocamlx(Rtauto_plugin__Refl_tauto) |
| = dbc0de87e0d4608236eaa749bf0e3969 | ocamlx(Rtree) |
| = 59d96b80bd792dac72c4cc60cdd42a15 | ocamlx(SList) |
| = 9a492e3c03a85c48b5be40168c80fa6d | ocamlx(Safe_typing) |
| = 4dfb70356d4b68d2d78205e524605d43 | ocamlx(Search) |
| = 3b2ceb524f5fb2b32ca0bfc4d7d22ee8 | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 334cf7a80e17684b390760dc45f8ac36 | ocamlx(Smartlocate) |
| = 4e1b7f447863bf33575b1460ae8c391b | ocamlx(Sorts) |
| = 16c47534e30908f42d7491de744d9972 | ocamlx(Spawn) |
| = 979af89369c75fcf800a9692aa5e18c4 | ocamlx(Spawned) |
| = d3747e517e646ff6c5c3085397881266 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 4f91ee02364a0b8f3f8709ca820f404d | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 1e6ab75f5e269618b21c3cbba8cd9909 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 3edbdf1aed27934aae8077d2c08257ed | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 2784fab94b817f6602d64e44fe090501 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 000eed3e7854f2235103207161cdf0ad | ocamlx(Ssreflect_plugin__Ssripats) |
| = 88446a7e09657e6e790e4d15cba835a8 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 75176beceb5bb15c1ab280f194fbbadb | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 6d90177196a345796126c5b0bc592873 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 42f6835a7a81ed4066debc12661bc425 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 3b9b6f71170ad3700f96284f6a5138bd | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 2b7be9278707aca66876a9472e505937 | ocamlx(Stateid) |
| = 3607d25f7cc0a37fd7f2fc4201524569 | ocamlx(Stdarg) |
| = 29fc6b4fd90dc91235156e20d0575996 | ocamlx(Stdlib) |
| = bb1212fc50265efb994301edbd2f0ecc | ocamlx(Stdlib__Array) |
| = 673e1a9feee4c24aeb62fe0f3e3ec4ad | ocamlx(Stdlib__Buffer) |
| = 332b036c618456adadc97ebc4c0edd44 | ocamlx(Stdlib__Bytes) |
| = 7cfadcb8c8da32e9f00e211aa321718b | ocamlx(Stdlib__Char) |
| = 7d577dae6edeadfbfb103d3b9b8931ba | ocamlx(Stdlib__Digest) |
| = c9b944058da07ad3950f915d5682e6d9 | ocamlx(Stdlib__Ephemeron) |
| = d28509257398356aab9aed2edf11d6cb | ocamlx(Stdlib__Filename) |
| = 983da56657d4a84e1921601ebd2ba5fd | ocamlx(Stdlib__Format) |
| = 265b59e1def4560a3187de619e15ad64 | ocamlx(Stdlib__Fun) |
| = 69b30dbb497b1693413644ac9604be89 | ocamlx(Stdlib__Gc) |
| = c60c5e9b84ec15b69584c299944d0abb | ocamlx(Stdlib__Hashtbl) |
| = 92cf9826d556878104ed3545f31b55b5 | ocamlx(Stdlib__Int32) |
| = 371b761429600b4a3480435d7bb83c8a | ocamlx(Stdlib__Int64) |
| = 6e981fd0efd14a1dff5f06e6c215a2d2 | ocamlx(Stdlib__Lazy) |
| = 75bce4c751643e407b6e75caf60b9db7 | ocamlx(Stdlib__List) |
| = f9b31d0fc661b76354b76376270f8fae | ocamlx(Stdlib__Map) |
| = eb9932635a49a93c31c0e9a675c07fff | ocamlx(Stdlib__Marshal) |
| = 23286e910874d627cdfbcadb3610dcf9 | ocamlx(Stdlib__Obj) |
| = 92fa2375a865927827b95a710fd8db2b | ocamlx(Stdlib__Printexc) |
| = 5637860688f82d7f837407cfaf0a6fae | ocamlx(Stdlib__Printf) |
| = ac29fa1eab3344162fa1d6afdf6872d4 | ocamlx(Stdlib__Queue) |
| = bd6cc79123202b55fdf31fc087aa06eb | ocamlx(Stdlib__Random) |
| = 77c1354d6effc4c07123bbe247f06393 | ocamlx(Stdlib__Scanf) |
| = 9d41b0f6935651fa2b340a0986078a0a | ocamlx(Stdlib__Set) |
| = 6e4c13fcfc9d23fccc45c9e0ea742960 | ocamlx(Stdlib__Stack) |
| = 16f00be18fe41d5b5f3bc6b9bf6629df | ocamlx(Stdlib__String) |
| = b7b20574aeaf6b9579b0e18cd71b27d3 | ocamlx(Stdlib__Sys) |
| = bba061f4005216cd927f027dd350ea87 | ocamlx(Stdlib__Weak) |
| = 514025c7ece399136dff4d8388ccc374 | ocamlx(Stm) |
| = 6ee31a7374c87ea144c104df23f00364 | ocamlx(Stmargs) |
| = 2ba3a6f89f234ff58c41785d74dbd400 | ocamlx(Store) |
| = 4f153d0614e739753ccb1a58e9ecaa38 | ocamlx(Str) |
| = 0bcb3f53d6e4ca69bf36f93aa91802ea | ocamlx(Structures) |
| = 13b7c5f984fd2d2851f02061b7eeeee9 | ocamlx(Subtyping) |
| = 64574dc57866813324588821e0597966 | ocamlx(Summary) |
| = ec13e23ce1e39e6752e31ab2bbf89d6d | ocamlx(System) |
| = a019062e0148533c2823faf5dd0ea870 | ocamlx(TQueue) |
| = 080439ed60b468c4b7c522a39b56f72a | ocamlx(Tacmach) |
| = ecb0fcd34cdb7ce76cc8d44f5afd6c74 | ocamlx(Tacred) |
| = 6ea84164d136b62c3828f50cf79558e1 | ocamlx(Tacticals) |
| = 72fcb32f246de82dd19f7e59a6c391f8 | ocamlx(Tactics) |
| = 5013e3751f97dbda4d5e1d98ef7a3e98 | ocamlx(Term) |
| = 0d80c0077f9b4452dd140f64186a5b27 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = b73b465b78216555f9f0490d7f95207b | ocamlx(Termops) |
| = b6058a12af622a83bc30e409c733d611 | ocamlx(Thread) |
| = da310519e86d4a9bb4b5a9ed30d2282f | ocamlx(Tok) |
| = 2c61a7625f1fee5ce70b1f42b1de059f | ocamlx(Topfmt) |
| = b03e4860ad37c0c5d2113446dbb373d9 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 469cc9e55e0ea6e97d4ff8d6483d55e4 | ocamlx(Tuto1_plugin__Inspector) |
| = 9545f6edb9e140befb1679a8fb7adf7c | ocamlx(Tuto1_plugin__Simple_check) |
| = 38411b971017af2b17ac41ddac889ab7 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 1bcfbe16a88af641ee576054cb73e983 | ocamlx(Tuto1_plugin__Simple_print) |
| = 866d10139575a41772f229eb2866a65d | ocamlx(Tuto2_plugin__Counter) |
| = 5d8f22e421bfa211a8c2a9bbb18353dc | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 3d43c214f3b96870603efc898cc86eb5 | ocamlx(Tuto3_plugin__Construction_game) |
| = 0cd11ca5ce85d8384936fb6ea887535d | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = da223a81fb9994a0342935c6ffa6dfee | ocamlx(Type_errors) |
| = bbf23d8cedb53d56d50f2a8427da832f | ocamlx(Typeclasses) |
| = 807a80b21c9225e8d5a0316a8ed11883 | ocamlx(Typeclasses_errors) |
| = 5030778cc1ed7fff1b48ecdb4c9f9faa | ocamlx(Typeops) |
| = 6f3f39d2aa3dc1f627c8b133dd6369a7 | ocamlx(Typing) |
| = 2cc7d8a95909eafcee26b6f8e9685df6 | ocamlx(UGraph) |
| = 1897a3125b09c34f48dd59f563c9aebc | ocamlx(UState) |
| = f87e8fd10a80479899f7e6b4bfcffe03 | ocamlx(Uint63) |
| = 855f0c9639f5529e69dc785b8214cde5 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = 3c88da5c53f4c4b0a128d80895766db0 | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = 484f90f09c79209f21eab77341a82078 | ocamlx(Univ) |
| = 6588df5ee42657acb746bc039ca8b1f3 | ocamlx(UnivGen) |
| = 20189f73792ab1296775dd658c0db475 | ocamlx(UnivMinim) |
| = 35bfd080f10d84c1d6435475fb021809 | ocamlx(UnivNames) |
| = 06f526b6ef6c2613f13b482a1218ee0e | ocamlx(UnivProblem) |
| = f39fd36ed889915987ea791d521a9040 | ocamlx(UnivSubst) |
| = f98e9ef7f9e913e26df2cf0d3af4252b | ocamlx(Unix) |
| = 37df21a9868bb8ca8afde41e83efc1c5 | ocamlx(Util) |
| = e24c804d91e60b7e5f23101865ca0644 | ocamlx(Vars) |
| = a62cf440b8622fd451ea37f584a4dd6d | ocamlx(Vconv) |
| = 2082d4cf0e673df856056836b9976c16 | ocamlx(Vcs) |
| = 5ef32d45e5b692c5991ae01ba9c2aa05 | ocamlx(Vernac) |
| = 7fe443a91a933b81e70510603ec3aaeb | ocamlx(Vernac_classifier) |
| = f5286d16054ad69a88950a2428ee0814 | ocamlx(Vernacentries) |
| = 86e506287023ad93ebf3d7784b6af489 | ocamlx(Vernacextend) |
| = ff3699cdea9837b3d2d6a24a2bdd9de6 | ocamlx(Vernacinterp) |
| = c2add45f7008dffa219489c4ae4bde38 | ocamlx(Vernacprop) |
| = b65f404f93a5cfc5eee55da4bd3a499e | ocamlx(Vernacstate) |
| = d08e5a3771481a0992b43576e098a377 | ocamlx(Vio_checking) |
| = 2ac32bb503eca9dbe97c78417051d1ac | ocamlx(Vio_compile) |
| = dee1e5df2deb6a2aef2fba7bb52f76d5 | ocamlx(Vm) |
| = 925ca763b3a2ea4e7619e004c29ef944 | ocamlx(Vmbytecodes) |
| = 2243e992f5259a7db3e854944a7df18b | ocamlx(Vmbytegen) |
| = d24dca8ae965e5c2ef63aa6dcf52ef64 | ocamlx(Vmemitcodes) |
| = 4fc09efd617b1a1d4e54e6d18338443b | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = fd49526a086ae698475eca9968999dc4 | ocamlx(Vmsymtable) |
| = 9566b8dacf45b64ee25bb439b7a15901 | ocamlx(Vmvalues) |
| = ba113bd6d93b9d46d78c31fe5bd2775c | ocamlx(Vnorm) |
| = b157a62bf7547a0996649466efef0b76 | ocamlx(WorkerPool) |
| = 35e6c2baec05f2448f0ffb79a9faad0e | ocamlx(Z) |
| = adc6dee094b85fd4f0f5175d18e2a357 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.17.1-1.fc38 | coq-core |
| = 8.17.1-1.fc38 | coq-core(x86-64) |
| = be6239123a472214fc5ecfde31ebd925 | ocaml(Abbreviation) |
| = a0e4e3470a008819dae52557438d0abd | ocaml(Abstract) |
| = 6db97d4aba38e99b1ce79c13c9dc26ae | ocaml(AcyclicGraph) |
| = f8d2f59570b65bc119a64343e8e7b21b | ocaml(Arguments_renaming) |
| = 076163ae4e3a95e45b94d5fdcb123fe6 | ocaml(Assumptions) |
| = c025612b3ea152c9adfee455618ede28 | ocaml(AsyncTaskQueue) |
| = 5a60c0917b2c3a0fcb0df4e62de76fbb | ocaml(Attributes) |
| = 3a014a5521d8ca44e0b705642a120ace | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = 407272d899a613088e7a4b6815bcc157 | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f498938c3cd8c3c430d1ecb0bf0739f4 | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = 8bde4d38c237d0b04900c5535d54f8c6 | ocaml(Boot__Util) |
| = 9009b76733276115709ad8eaf7608140 | ocaml(Btauto_plugin) |
| = ceed7aaab41c37f32cd48ea41e306203 | ocaml(Btauto_plugin__G_btauto) |
| = f9a54a9152f23e1d99c73094235ce92d | ocaml(Btauto_plugin__Refl_btauto) |
| = 19ceaceb01366d66133ac71d55856e2c | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = e6f0ae1977289571e268f9f4798f45af | ocaml(CAst) |
| = 0e858027f3915a9044ef4a568f65205d | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = 4e9a1cc39f535710b599ba92dc88682e | ocaml(CErrors) |
| = 5b4a6dcaec074bbcbd794fc5eaa27e41 | ocaml(CLexer) |
| = 963264b024cbb32e5211e7abb601d1fc | ocaml(CList) |
| = b5f62fbd6f9416f40b63b0dac2bac8a8 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = b572f5424b98ffcb8968be2d42112246 | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = 185a019f870874a8ff87e047f1d56006 | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = 413d1d4c84e7adbf8e02402baf03130c | ocaml(Cases) |
| = c3b823e77e896f61b27535e8255974cd | ocaml(Cbn) |
| = 529f8c46850706c84e6127c16af1defb | ocaml(Cbv) |
| = ceb46e8aedadbdd92158dcf60a3cd0fb | ocaml(Cc_plugin) |
| = d00dab7618d0f028d9391ba181187fe5 | ocaml(Cc_plugin__Ccalgo) |
| = 0dee667b8716d5c4a668dc2a67f014e1 | ocaml(Cc_plugin__Ccproof) |
| = 2ef3b8ef3a614e535ec2e2fb6ca24f8f | ocaml(Cc_plugin__Cctac) |
| = eec951b9c33268214bf4d23c95f7ece2 | ocaml(Cc_plugin__G_congruence) |
| = 8fcc85e873fd8380c43fba02f0957e4f | ocaml(Ccompile) |
| = 707c775411149cca404064cffcf64d50 | ocaml(Class_tactics) |
| = 1bf541defe0ef05f7aca4aee3bbdc662 | ocaml(Classes) |
| = 3ce38c91997e1420edac26fe82b4b2e8 | ocaml(Clenv) |
| = d9e365869ef519f165e3bd8beac6dbf4 | ocaml(Coercion) |
| = e0b05e9870c9dd8bba9769fdb11d0c34 | ocaml(Coercionops) |
| = 586cffd7f8f54293456da281e77f7e04 | ocaml(Colors) |
| = f460044dd7c35bb447e3ed26a8c80815 | ocaml(ComArguments) |
| = def007512d60c6108971b7539e517077 | ocaml(ComAssumption) |
| = bda88d7e21f5e48f739b5e3982a0dcef | ocaml(ComCoercion) |
| = 02950f943842016f14e51c334c11733c | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 8ad7052330d9c7a870a9821332580cb3 | ocaml(ComFixpoint) |
| = db69ec7d5a79172c6a07269102872604 | ocaml(ComHints) |
| = e6d8419df9b728ed6c0cbc9f9eb8e671 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = 7b66652b9b49a51293e447af1ebf45a5 | ocaml(ComProgramFixpoint) |
| = a7651809fd0614087d64168f71e9ad6b | ocaml(ComSearch) |
| = 0893ebb646b131ba32a368aba15c9f77 | ocaml(ComTactic) |
| = 90b67686d6aa6baf2363d0c701b94f03 | ocaml(Common_compile) |
| = 670799fa78880c542c37d64b3baf38aa | ocaml(Constr) |
| = 5b8babb34158c764159c3aeab6bff249 | ocaml(Constr_matching) |
| = 89d8853310bab32ea1eb882a028a8445 | ocaml(Constrexpr) |
| = 031f6eaad3ac7e53b139e99de6939f7c | ocaml(Constrexpr_ops) |
| = 42357b0a5b4aefa282943398a806c220 | ocaml(Constrextern) |
| = 2b5645f078e081a0478249562e9d5b05 | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = aa1d19af1a1d56cef0b4588bb4d8ea75 | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = 2c425c1e71f2ea9e68941efc72edf46e | ocaml(Cooking) |
| = 8d5a20010af02ab9428729ec3a35515b | ocaml(CoqProject_file) |
| = 3237b310a30d0c20634682b03f69ff08 | ocaml(Coq_config) |
| = f0dbb0c8814c6210f51334f286da1b39 | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = e0f7d6e588e70598542cd61ebd0f23fc | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | ocaml(Coqloadpath) |
| = 9e84647125a0bf24b7904ce65428128c | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = a310b4a378c72c1c649fb05b9bcce833 | ocaml(Coqtop) |
| = 2bc1a56e71d08445950f1bfcbadbd6b1 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = 7d980c0cbe7bf12e0b87d6fae18f2cf6 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = aaa7cf86083c22fe0bdc650b9766d7f2 | ocaml(Declarations) |
| = ebadfec2550643d7dadaed20cd7bb4a6 | ocaml(Declare) |
| = 0a9bfe7ec898e0bc70b2a27e95fdeb5f | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 5c9255d8afb68db07781fe06f0113560 | ocaml(DeclareUniv) |
| = fb16413a97e082b5ed9c79cca9f31f9b | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = c143bdd1833d476947a9f81d767bdcf8 | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 87ebc9f2679fc769364ed6fc35137bff | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 6b73c1079612ba930d3f84561281e473 | ocaml(Derive_plugin__G_derive) |
| = 5e9d9d968313c00a6440be458c9aaf83 | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 40533e96e93de95e706644b3917d47d6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 25750de3f8d5627e05625fc8c96573f4 | ocaml(Dumpglob) |
| = a80a8fb9c90585019a5f7a92adf2e2fc | ocaml(Dyn) |
| = f7ccdac0e964cd5cdb24c34fd0de582a | ocaml(EConstr) |
| = 25df3641a9701d7a59c88d1e11957c25 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 3ec613601260bfe0bbba15bbbb25e290 | ocaml(Egramml) |
| = 9590634ad98a1bfa99f504820a3b5747 | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 292cd81a23ad7e0507d10f00d83d1e9e | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 52e9defc7fd393e51d052bac59d8446f | ocaml(Environ) |
| = 99a5307b34d1fa7bd77464c9601717aa | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = c937130ca9e4d168b06d9417c1869776 | ocaml(Equality) |
| = a96ceb099c2f1fb6d9584a61b57ee72b | ocaml(Esubst) |
| = 5410ca5e116902547a19a06b75d92579 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = 028f0dd3c04344d72de7ea562093aa85 | ocaml(Evar_tactics) |
| = 0c453f02921db63a808978ad22d2d9ae | ocaml(Evarconv) |
| = 61b0a4dd1e82f8a77a24f23deaeb743f | ocaml(Evardefine) |
| = 24b8886508accd2291c7434f83a97011 | ocaml(Evarsolve) |
| = 6ed8a4aa0ace5ba3553e75261d2ce316 | ocaml(Evarutil) |
| = 6e9608a15e2e2562ca13abeeeca35a18 | ocaml(Evd) |
| = 1108fbdf2827b6d2494e3e4bca2b55f0 | ocaml(Exninfo) |
| = ea6908938502338d5a40473f55556d2b | ocaml(Extend) |
| = fdd86db306fda87185be4fa90f2a0006 | ocaml(Extraction_plugin) |
| = 2873e23b0aeeee7e82c43cdc00df9d86 | ocaml(Extraction_plugin__Common) |
| = 10a2bc62f1d06a52a8a37bee7f381dd0 | ocaml(Extraction_plugin__Extract_env) |
| = cb0decbf90fc305fda2ec0594cb824a7 | ocaml(Extraction_plugin__Extraction) |
| = c715530b2b7e48699615529a774faec6 | 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) |
| = 947df666d35d03330fb0749f1dc3ab64 | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = 4d2af0d8d9cd0b7c269f728902e3d265 | ocaml(Find_subterm) |
| = 974870c1e0c3303435a343893f7444e8 | ocaml(Firstorder_plugin) |
| = aaf3caa95d2265b72051264a68f46ebb | ocaml(Firstorder_plugin__Formula) |
| = 7d2f082debba50ad6447f77c9c4636d9 | ocaml(Firstorder_plugin__G_ground) |
| = 605965667faa629c1cf29678298e3e79 | ocaml(Firstorder_plugin__Ground) |
| = b81837963ea52f6484f8bf9672408296 | ocaml(Firstorder_plugin__Instances) |
| = 406f539079ebbbb61154ac1c9562d336 | ocaml(Firstorder_plugin__Rules) |
| = dd561863405bc42187a4c4ada1da2f35 | ocaml(Firstorder_plugin__Sequent) |
| = 02e69a90e8d7c916999132ba20b9ae90 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 919fb2eabc120f3c4e0129cfc56531e2 | ocaml(Float64) |
| = f7cc67c618c9af164bf5153d7aefb0d4 | ocaml(Float64_common) |
| = f78ee5f7e7021278250fefd3823b8995 | ocaml(Ftactic) |
| = ac7a138ea913bafeee82c6cde006e5c3 | ocaml(Funind_plugin) |
| = d81d36e1925b33ec229f7e24cb99de04 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = ff42b3169109c52746b6bcb38acf1e78 | ocaml(Funind_plugin__Functional_principles_types) |
| = 32ef0e3b49613235389c38d2691253a4 | ocaml(Funind_plugin__G_indfun) |
| = 3d8b89835f138f73f37fc9727d7d39f4 | ocaml(Funind_plugin__Gen_principle) |
| = 31081489d72840c7e9bfe7e6b1f87e71 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 85bde48dd543630a9da5868e9312b41e | ocaml(Funind_plugin__Glob_termops) |
| = 5f0feac81298c3089519cd03b8f63488 | ocaml(Funind_plugin__Indfun) |
| = 145b88c17610a08446ccb5d1c0a2005b | ocaml(Funind_plugin__Indfun_common) |
| = e7fb0e6551b18632ec1d5d5821616c37 | ocaml(Funind_plugin__Invfun) |
| = e9a2b6648be307a26e41af94e9c681aa | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = e16423952333a3177eba36a7886a58b6 | ocaml(G_constr) |
| = f0e099d2bd4a1ad859517feedbb8450c | ocaml(G_prim) |
| = 08e5a4beb27f5d000b6b178fd08b13a4 | ocaml(G_proofs) |
| = dbfd8bd5e63f768f5aad3c3a0441d469 | ocaml(G_toplevel) |
| = b87f2e22bc3f3580ff846c404c5a1d04 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = dea1abeb892588a68048e5281bd50c3a | ocaml(Genintern) |
| = e53eabcc0f9e0074037775f5eded68b4 | ocaml(Geninterp) |
| = 56cbe0a8daebf59b513cd61e5af4c4a0 | ocaml(Genlambda) |
| = 083509d48354fa981b03ded6f7e5574c | ocaml(Genprint) |
| = f53a74c218a59a60651f05f62ac89d06 | ocaml(Genredexpr) |
| = 7ebd778657dc4ce1640ce3c2b6e09795 | ocaml(GlobEnv) |
| = d8a130de03f1c0a13b011c330418eac9 | ocaml(Glob_ops) |
| = 5ef7569a2107526d8939df2edc1719f2 | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 7d19dd4e674067766e7badd2397d3479 | ocaml(Globnames) |
| = 4436d8e1f64e5b9232522bd9da57ae36 | ocaml(Goal_select) |
| = 14f9f251574a55f813b1b9c6aa56c246 | ocaml(Goptions) |
| = 8e1c211ef61e4e62fd295ca9771f63ec | ocaml(Gramlib) |
| = 2e57141ce4d24fd67956a8faad609320 | ocaml(Gramlib__Gramext) |
| = 09d1e16ec99220015f9f182f7d8a3846 | ocaml(Gramlib__Grammar) |
| = b5de63fd5eb20f4c2d8ef0455825af32 | ocaml(Gramlib__LStream) |
| = 1f45f85d4f8fa0710a63bf260ce64dcd | ocaml(Gramlib__Plexing) |
| = 7e4f02849f98bf6703e0fdcdf678cd86 | ocaml(Gramlib__Stream) |
| = 524baeb05ef735552c97528e363ccdda | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = a1c8eff0dc5577ee5bdd237d7c014298 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 8e677510e0f47f3638fe41a16265bc9f | ocaml(Himsg) |
| = 4d33a7d04e4ea5be3282f2483d71168c | ocaml(Hints) |
| = 81bddd9ca9dd022c58d6e259dd41f0e6 | ocaml(Hipattern) |
| = 91f169611318aedc592bf024573af625 | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = 59fdb83865f44cc6f25c60be55eedc38 | ocaml(Impargs) |
| = a366863d1b8e8fcead40add575b62d1c | ocaml(Implicit_quantifiers) |
| = 6ea8b3aeeace6bd04e760ab96d946ce1 | ocaml(IndTyping) |
| = 5f1e45678e7aa4a39c04ab8e26e27c70 | ocaml(Ind_tables) |
| = 95e8555d8b7783115d69caea0b48cf02 | ocaml(Indrec) |
| = 30c668f017f9230be709577db88d318b | ocaml(Indschemes) |
| = f273e2dbe2862c6422b1bfe8cff51217 | ocaml(Indtypes) |
| = f1a9f772087b26c2d34eb25a900b96e9 | ocaml(Inductive) |
| = 463396af8e15994e6333f473f51d4ad0 | ocaml(Inductiveops) |
| = 8e779023084c3f8e0b2f12a283ef64ff | ocaml(InferCumulativity) |
| = 5d7dae0fd8a18e8d5aa73a19ee3bbc40 | ocaml(Int) |
| = 51eadaf0cae064f29382e502af8bb869 | ocaml(Inv) |
| = 4efbdf8a09bd6505648a25074e8595c8 | ocaml(Keys) |
| = 4d4e0019fb768523b194e87563e45c74 | ocaml(Lib) |
| = 02ee04741ecccd4a6a82dd66b8c3795d | ocaml(Libnames) |
| = 55fd7942a25933ad93fc7b288222b20f | ocaml(Libobject) |
| = 627c0896e1c1c6aa4a23c7c0bac92457 | ocaml(Library) |
| = 229a02026ac8fd859473a9b3ddb63d3d | ocaml(Load) |
| = 3ec2d446d93dabd3a592dd90b287f393 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = 446b59cbb24530cc5dccfcb639525d3b | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = a982fb04f7d3d9a4a2c17f8fd2325491 | ocaml(Logic) |
| = 7568b85d2e5b3a8a6979dbdb1096e38c | ocaml(Logic_monad) |
| = b1993183de704b35704156e88e6c3eab | ocaml(Ltac2_plugin) |
| = b270cfa4e7403ef3d87050e931e1e7cb | ocaml(Ltac2_plugin__G_ltac2) |
| = 540e89aa0ee963c445eb42ca7f3df380 | ocaml(Ltac2_plugin__Tac2core) |
| = 7041ceed31923fae2c6295bc8e11c0d0 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 95d453317e8253185cd6374756742aad | ocaml(Ltac2_plugin__Tac2entries) |
| = 3b57a1477972c4df60417306399f1335 | ocaml(Ltac2_plugin__Tac2env) |
| = 6253230716103d6b7dd6ea2aea081685 | ocaml(Ltac2_plugin__Tac2expr) |
| = d9a653f1c6599223710a871e72132889 | ocaml(Ltac2_plugin__Tac2extffi) |
| = a56b27ff5e2e97a2b4254ed306825c9b | ocaml(Ltac2_plugin__Tac2ffi) |
| = bc2398708106f421e409f122eedc1c86 | ocaml(Ltac2_plugin__Tac2intern) |
| = e0c938a9a75fe271c93a569130af89a5 | ocaml(Ltac2_plugin__Tac2interp) |
| = 48704916cad759bd4f77de5179975db6 | ocaml(Ltac2_plugin__Tac2match) |
| = 7be5d20d26971ca3bb3d560b6e9b60be | ocaml(Ltac2_plugin__Tac2print) |
| = b6c2add69326c5b9ac9ab915b4775626 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 0f7fd6381b4303343e69dede49642bc2 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 7f76be165611225cde1893f8d5dbd754 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 74304ebac81f72fceabd656de3589d6d | ocaml(Ltac2_plugin__Tac2types) |
| = ff40f0eaa3941f0427c9540957ea3df4 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = 7f51264610d86febd55751ade481cb54 | ocaml(Ltac_plugin) |
| = d2518dea8625c7029aa7b0cf6ae5a8a6 | ocaml(Ltac_plugin__ComRewrite) |
| = 58b063ff3d3d08297e840e6a8d74db92 | ocaml(Ltac_plugin__Coretactics) |
| = 60a5d9e4b843ebcf2a2ab7a929e54c05 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 75d1c1727cb6d51e57476ad3ddd112f9 | ocaml(Ltac_plugin__G_auto) |
| = b655ea219dd08d7cebbed9bffdb5fac1 | ocaml(Ltac_plugin__G_class) |
| = 7bb49a3a4d5da714274d3aeca6bdcc87 | ocaml(Ltac_plugin__G_eqdecide) |
| = 3a445bdffb53ee5e77a92db316b06392 | ocaml(Ltac_plugin__G_ltac) |
| = 8f2a684a5c4902ba3d76dbf1b71488b4 | ocaml(Ltac_plugin__G_obligations) |
| = 231d70643b0cd890bdde5f00e39a2607 | ocaml(Ltac_plugin__G_rewrite) |
| = 4b94fc711e80edfa02d0c09ec3bf02ab | ocaml(Ltac_plugin__G_tactic) |
| = 76d323702bb18bb63c6e8a5f21378f8b | ocaml(Ltac_plugin__Internals) |
| = 40c3edad22a06490d3ea7733b12f7cd6 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 343a0e91e5570407d4d55f975c39f4ed | ocaml(Ltac_plugin__Pptactic) |
| = 5ab560471afa103b368e74214cbab5d9 | ocaml(Ltac_plugin__Profile_ltac) |
| = 30e030fc373b9cb5af4fcc275f544cbb | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 460daa5ee1c71de8f0a82854b5efc61f | ocaml(Ltac_plugin__Tacarg) |
| = 1c060cec2a7fa8864681089a11eb4cd8 | ocaml(Ltac_plugin__Taccoerce) |
| = 0995c1927bdacf1c523aaaa675e82a07 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = 57396f6e0de4dee925444431786b1957 | ocaml(Ltac_plugin__Tacexpr) |
| = 329eae3362e9f995d16a1b3c9bd944e6 | ocaml(Ltac_plugin__Tacintern) |
| = f6081045f29dbd3f2ab614066b067927 | ocaml(Ltac_plugin__Tacinterp) |
| = 8b8688b257969aa8bb742ef9c382084f | ocaml(Ltac_plugin__Tacsubst) |
| = 6b4b9794d2e2b592a4ab94224dc2e59d | ocaml(Ltac_plugin__Tactic_debug) |
| = 8673fdd5126c7791c13816daee83707d | ocaml(Ltac_plugin__Tactic_matching) |
| = d4a149e1177cc01114734f7895e97fca | ocaml(Ltac_plugin__Tactic_option) |
| = 270e7aa2a02bec3eda99e4f427a351f7 | ocaml(Ltac_pretype) |
| = ef17ddb3edfa09035e930a283de5f7e5 | ocaml(Metasyntax) |
| = 477e4d683c0b40afe138ea0fb8efd814 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = d9d0c697178a03aaadf7d820af2c4d1e | 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) |
| = a6e902c1bacde71e112af166b3205c88 | ocaml(Micromega_plugin__Vect) |
| = fd4208321b1c906f81a281034c3b8ff0 | ocaml(Miscprint) |
| = 18037b34393e18d572701dfee90ec3f7 | ocaml(Mltop) |
| = 883ff24157873ad45c0b936416e276f3 | ocaml(Mod_subst) |
| = 584bf17c50f5f292ce1a3db1da2920e8 | ocaml(Mod_typing) |
| = ca3937afd03274907b8d5ddcfd574c91 | ocaml(Modintern) |
| = de481303e1a8dec4d220dc9522f57034 | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = b27857dd58e622e963a475048c219bfc | ocaml(Namegen) |
| = 39600ad4195e192f6b794ace9699536d | ocaml(Nameops) |
| = 2ea9132743d37e1af5c8327b5dc400b1 | ocaml(Names) |
| = cd1025d7a24bd57f7b3234cafa33d7b6 | ocaml(Nametab) |
| = 842a27615e40a598a3aabe25b3b65322 | ocaml(Nativecode) |
| = 8d892045979e0114aa149472891fd7cd | ocaml(Nativeconv) |
| = 1869be31085172561c0826ff03c09026 | ocaml(Nativelambda) |
| = c14db6be2a471852ffc636e36467ec57 | ocaml(Nativelib) |
| = 9e33a00b8b1da3b368030be376fdcc44 | ocaml(Nativelibrary) |
| = 18f04e43e9c942ad5d3df102b097b480 | ocaml(Nativenorm) |
| = 50c4bb93028b49d5f9a3462bd4dda4e2 | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = ccc9173dc208892df5f9805bb3da133b | ocaml(Notation) |
| = 8fa4b901449f85b461f7fec7b0e251b0 | ocaml(Notation_gram) |
| = c8c86cbd0a75bb468eb0f1fde43336ed | ocaml(Notation_ops) |
| = f8928ba07509dc722ec93f786e618660 | ocaml(Notation_term) |
| = 6f691d234ff40f7e5788f4deef3bab47 | ocaml(Notationextern) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 1b6976b6917d803cbdf8de5f54fee594 | ocaml(Nsatz_plugin) |
| = 53f8733de219da25ee53d1c81bfb7c8f | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 6738fbab7a990394369e676c5a9fb3ba | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 5d3e7b9a2ad3262b9d6a272123b58884 | ocaml(NumTok) |
| = 51ac4a03513f6ae660fff42d91271831 | ocaml(Number_string_notation_plugin) |
| = bd489bcc90cd262b6357a338d164b4a2 | ocaml(Number_string_notation_plugin__G_number_string) |
| = 36b1f77b970034a899dd009a4e83e73b | ocaml(Number_string_notation_plugin__Number) |
| = 7915dbe69833e922e3bad98926c6e6ee | ocaml(Number_string_notation_plugin__String_notation) |
| = af105c139433e79a0b5b638c061c375c | ocaml(ObjFile) |
| = 999bfd5f937c49fe3b1b03eafd7a3c8b | ocaml(Opaqueproof) |
| = fbc7fcc30c684040eb9c11e3569e6e2a | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = a77c98a741a12cc0e30505f6ab67508e | ocaml(Pattern) |
| = e0fd278985e428f08fb9f688b2a2d341 | ocaml(Patternops) |
| = 534232cf0659b65b2cf606961452861f | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = c92e1d8bb7b56e34e0c67d76e06ad751 | ocaml(Ppconstr) |
| = 8d27b09f158f4a7e4a91f72aead8104c | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 91db037523f5a70b4e0b407801dc8ab1 | ocaml(Pputils) |
| = 38c0075d1d6ff286f044118a2d0aafbe | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = 7c98662facfc2eae79018900551ece9b | ocaml(Prettyp) |
| = dc00e6f662a07e1405a5dd7f2e0ea833 | ocaml(Pretype_errors) |
| = 48b23857b1e813b0220a424962b8062f | ocaml(Pretyping) |
| = 4124a8d003016e321c5cc107b0d85c78 | ocaml(Primred) |
| = 142897df5497b18633c10c72ff0123ad | ocaml(Printer) |
| = 297a99be2a51e8572bfc3dccc857c134 | ocaml(Printmod) |
| = cacb6933086f515e793f211298f362fe | ocaml(Program) |
| = 4215cb70ba4758c3f779c2e5a6f28cd7 | ocaml(Proof) |
| = bbe1360bee9265bd501f0324a8f687dd | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 237d3e015419aea21ca33195f9e3dd67 | ocaml(Proof_diffs) |
| = bd77afdfa26a6def6efd099a60c94825 | ocaml(Proof_using) |
| = 036409de3ce6e1b89709592a00f2a153 | ocaml(Proofview) |
| = 14b0d99211d2510fffeb2d5bebcba76d | ocaml(Proofview_monad) |
| = d73f78fd7407a990e00737b9f2f5c623 | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 0fedb0ae2727a77075157f91c3326a6b | ocaml(RecLemmas) |
| = 59fc693e71f414bd1bce62e3b6714af9 | ocaml(Record) |
| = c025c04c287e4c064bb17ad4a4e59160 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 061463a7ecc6882acd7c10c1c6cf2653 | ocaml(Reduction) |
| = 49f5d5eece86a9150ff5104c30b4c804 | ocaml(Reductionops) |
| = 5ee59939e30830565d9eb5d6be0ed2ba | ocaml(Refine) |
| = 0dd4560834bbc3e67ea8342d68a6a349 | ocaml(Relevanceops) |
| = 3b4ff909f64de6f4afc8b8b8f6e0d96a | ocaml(Reserve) |
| = 0f77e1ab603b08ff482d468569f092be | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 8784ac89f9afd496a2d931bdc8805638 | ocaml(Retyping) |
| = 26c447157c3d6c8e2cbaf6dfa65402c2 | ocaml(Rewrite) |
| = 59777bc023dc2f779226cc57a4f18948 | ocaml(Ring_plugin) |
| = 187e82c1a08ff672b99be5f95cf0e7f3 | ocaml(Ring_plugin__G_ring) |
| = 8372c9042602313e1de3a58af38aaff0 | ocaml(Ring_plugin__Ring) |
| = 38360bfa10949f4b955f0cdde4c408ba | ocaml(Ring_plugin__Ring_ast) |
| = 1ccac922ee6c453c5b78275edf751850 | ocaml(Rtauto_plugin) |
| = 7e1ea6f02a4b632e8ff96d67efb3ce81 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 76113dd743107343d550301cf469e291 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 87266e831aa0fb41e7e69d43dba10e03 | ocaml(SList) |
| = 077905aaf9d36b5fbc475f19af4cf4bc | ocaml(Safe_typing) |
| = ced8457eb022d013856a59f721bb6d2d | ocaml(Search) |
| = 178658b34fe52e6380c020193adca07e | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = c896fb1b0fea255b7a392a0203129c74 | ocaml(Ssreflect_plugin) |
| = 26b95b0ac110181a8ba3e6fcfe04f163 | ocaml(Ssreflect_plugin__Ssrast) |
| = 1273b4999add4e754c380b0041146b1a | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 92d259a5ff76e43f765d196de78d1a7c | ocaml(Ssreflect_plugin__Ssrcommon) |
| = c2c403eaa26c12760b2702c426ff06d9 | ocaml(Ssreflect_plugin__Ssrelim) |
| = 70e04e0fbd05e41c960cc8dec232544b | ocaml(Ssreflect_plugin__Ssrequality) |
| = f0e22f67bfc49b2f36f4bc6ffc9f5f87 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = aaed5f33f32776eff138d372836d8f53 | ocaml(Ssreflect_plugin__Ssripats) |
| = adec17b02dfebc7262ae670a92c07f88 | ocaml(Ssreflect_plugin__Ssrparser) |
| = 5a2bf34184b527af1a53474b14e59126 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 32636e6774779ef5d97f6ee9344e9d66 | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 80ba613a04e3c7c76b3aa816b81cadbf | ocaml(Ssreflect_plugin__Ssrview) |
| = c3e1af22ac2aa8657b01523f06b2d5e9 | ocaml(Ssrmatching_plugin) |
| = f80437dd6857cf0d51335e928c045734 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 19442d45b6573d7ae8f1f6a87005c674 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 18c1e1caa14d693923ae0f349dd2b350 | ocaml(Stdarg) |
| = 0ff5c07638f9179d1776aa495f7e4e1a | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 63eeba12de775b8a45de7c8a85fe2212 | ocaml(Structures) |
| = a6ef663f5f39cf030cba28740a068e91 | ocaml(Subtyping) |
| = 858008ea8c56f907396e598f98daef71 | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = b5d3792869376370386502651527baa1 | ocaml(Tacmach) |
| = f8842bb29660b50a02735faa11d2447a | ocaml(Tacred) |
| = 9d0357efcaf60a446685cf5fdd528d0a | ocaml(Tacticals) |
| = 356d951a919895c83fcd4cfb2e5a2b98 | ocaml(Tactics) |
| = 65ee8f80ddd505d1a33624bc0cb44b61 | ocaml(Tactypes) |
| = aa8f4685317ce8dff797fb032be373f3 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = 7a45b29ea54c962bdd7f36b12dac3b17 | ocaml(Term) |
| = d6e95187137cf80e4b855efe58d4fc93 | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = 860deea12963f24bf148076f1aa7675a | ocaml(Termops) |
| = 2bddd7a50c5dc668c81f067689ea2a24 | ocaml(Tok) |
| = 2b409d36cb0ba32556a75879cc19e665 | ocaml(Top_printers) |
| = 816ab3bdc8a46f98e99bbb04b0872e06 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 812cf3340836e621be63fa9aa920f56c | ocaml(Tuto0_plugin) |
| = 9e3a5c71c6a4ccb7e69c35833a7e62df | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 9cb6b709539dbad0cbe61a556c4bbd59 | ocaml(Tuto1_plugin) |
| = 68bbaa45733afaa60e33dd1df8d43b3b | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = fb78d902dcb5399dfbea44e2f6317114 | ocaml(Tuto1_plugin__Simple_check) |
| = 81d98c72083228668c1332c15b505649 | ocaml(Tuto1_plugin__Simple_declare) |
| = 04bbf6b01ed59d86a3efcc0dfbcd5f8d | ocaml(Tuto1_plugin__Simple_print) |
| = 117dad8dfb3fbf1d4f7967854193338f | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = a5d78d2339634584ddbfd804f5aede03 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 0c73a52fe51cfe8d55f24c9edcd2421d | ocaml(Tuto3_plugin) |
| = d72e33164fb9ef92bcb0867a09f77072 | ocaml(Tuto3_plugin__Construction_game) |
| = fc2f1bb7959e748416d43aa50a97ce3f | ocaml(Tuto3_plugin__G_tuto3) |
| = caf24d6a839d58b72bcc81040aa04137 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 8ea8227048ad205d3384b10fc32d3b09 | ocaml(Type_errors) |
| = e273397fb1b53aad8bc86e45bfb6d589 | ocaml(Typeclasses) |
| = 0685ad351314e6881f9efef1f44bffbb | ocaml(Typeclasses_errors) |
| = 6d369174464463517c6f13560c32e442 | ocaml(Typeops) |
| = 7725bc327db698f1f87987823e9e6ac9 | ocaml(Typing) |
| = 2fd6f0b34adce97d21c5d93b17310f9b | ocaml(UGraph) |
| = 9cb90b5c0198a9392b644fc648a3b2e1 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 36a6ae469f84757170a84a81b6d92182 | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = 53a988bf819cc7d250124ea3076eb3a9 | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = f7225d1b1091516b25bcad262c410029 | ocaml(Univ) |
| = 808b07bc3e637d1c75fca5c3a86bc9d4 | ocaml(UnivGen) |
| = 48a462058b4ee2448760cff726ce452d | ocaml(UnivMinim) |
| = 650214610ca9c965cca2140d6065e8c4 | ocaml(UnivNames) |
| = e7830949b233fefd37a1fd12dae0225b | ocaml(UnivProblem) |
| = f8e474cbcc595932bd4a530a6694fbfc | ocaml(UnivSubst) |
| = 82442e4e897c61e9ffd5234974e104ef | ocaml(Util) |
| = cb3ff5d5b665cb384fb59c1413884523 | ocaml(Values) |
| = f17abb022dd4936d1a6ad91b4dda1549 | ocaml(Vars) |
| = 550a2f4b799a9e7c3b8f787aa7b5ec93 | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 7f412b2ae3a5f631dc411abdcdaba630 | ocaml(Vernac) |
| = a59f22207d274f93b817ad3453c1025f | ocaml(Vernac_classifier) |
| = 13fb30dc9f6048f84628cf65cc8a6e8d | ocaml(Vernacentries) |
| = b40e25528243ed19b4d298cad8d3815c | ocaml(Vernacexpr) |
| = 23cac55a4ec53b7a700e727d744aa012 | ocaml(Vernacextend) |
| = 207d177b3b9bec0a4d91d161bfda9ea4 | ocaml(Vernacinterp) |
| = 71176486fcf560d57ca342c2c619f300 | ocaml(Vernacprop) |
| = ce4f1d6799d679c6a098221e4e471d74 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = 32621364c2630626379d3be44fd46fd4 | ocaml(Vio_compile) |
| = f0ec330433b935ae1c1fe15ec7447bfe | ocaml(Vm) |
| = 0ec5367f45655d3cfc46db2e6443e395 | ocaml(Vmbytecodes) |
| = e153353f8c69b37c926991db72ac8c87 | ocaml(Vmbytegen) |
| = 346ef462a1e0243aad6f2621f358e795 | ocaml(Vmemitcodes) |
| = 80285fb8af95606eb567f5fb7e23423a | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = 7ed81fefa009caa6efe0230b11866b98 | ocaml(Vmsymtable) |
| = 1faa9be887b3fe66b213790f9bb1a3d8 | ocaml(Vmvalues) |
| = a870bcab96ddf73c8413d6aba9b3ac07 | ocaml(Vnorm) |
| = d7d51d02cbdc62435c803471bd250b29 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = 61512478af51fb18cb17e36ae0122e4b | ocaml(Zify_plugin) |
| = 19eb91963282f3cf5f4310f42a826aeb | ocaml(Zify_plugin__G_zify) |
| = fe038150f1e21ce13b77d0fc1645378e | ocaml(Zify_plugin__Zify) |
| = fa191a0b0ae96feb1d972b8e4d3ca547 | ocamlx(Abbreviation) |
| = d779741afab3f7c17c4a132bd6c6dc57 | ocamlx(Abstract) |
| = e86869a795f9e0c897d1b62c22fe8748 | ocamlx(AcyclicGraph) |
| = 965b49b77f561a615fe0c29925b888bc | ocamlx(Arguments_renaming) |
| = 6459f18bba23d0d03a2340ba5eb2e42e | ocamlx(Assumptions) |
| = 274025ce3b0454f6c369a7a721933d3b | ocamlx(AsyncTaskQueue) |
| = 5641542dad55260d3ae60cc2915dee2a | ocamlx(Attributes) |
| = 09611febbe9dfada52730f48095cdbb6 | ocamlx(Auto) |
| = e226bf4b8b6963cbcfe6ac811540edf6 | ocamlx(Auto_ind_decl) |
| = ed9c952e84cc2aaf70b9fd0fabe5ac3d | ocamlx(Autorewrite) |
| = 6663498f81240aa32091d09dad5125e4 | ocamlx(Aux_file) |
| = bc1d5fdc1e51ac3821e54c2aca07ba9f | ocamlx(Boot) |
| = ea8ff75f1c1362e4f703c929ef1838f2 | ocamlx(Boot__Env) |
| = b59e0b50d2caa2ea735361e16a2dd50b | ocamlx(Boot__Path) |
| = d89112f90887bc750103983d19191fa7 | ocamlx(Boot__Usage) |
| = 3a8655be4f88b02d96281da59f836979 | ocamlx(Boot__Util) |
| = 341420e31c0382d9f68dcca9cf6866ee | ocamlx(Btauto_plugin) |
| = 342e9e5134b9009048294bc979c86b11 | ocamlx(Btauto_plugin__G_btauto) |
| = d89efd34e957b124014af748723c4a8e | ocamlx(Btauto_plugin__Refl_btauto) |
| = 3f636f034295acefcfaca24ec37e782f | ocamlx(Btermdn) |
| = 69077a70554ae7c4aafb812c3551f8ce | ocamlx(CArray) |
| = 65083c3b3abbf671de54b4ee20ee8bbb | ocamlx(CAst) |
| = c0362577c837d3b00c10496c77f0fe97 | ocamlx(CClosure) |
| = 8cc98a7c2778b1e956c2506c0e2dab22 | ocamlx(CDebug) |
| = 1937a568693350c13ffb13c56320461d | ocamlx(CEphemeron) |
| = d2beb050d8fbcad7edf714e12edbc2d3 | ocamlx(CErrors) |
| = 11afce1858100b47b77165f4bcc4cde4 | ocamlx(CLexer) |
| = ae24fb792094005682af4d83cd3e3a5e | ocamlx(CList) |
| = 9ecbc00493b814c9a5b3e6c1f46beed7 | ocamlx(CMap) |
| = 6e6ac1878d614429ff8a0738fd6ce516 | ocamlx(CObj) |
| = dc6cbfef3822f3ad1a2122516aad5c8a | ocamlx(CPrimitives) |
| = e849df80a3bae5f98a1c0a0d97fca7b7 | ocamlx(CProfile) |
| = 731b09278ea266a3de76a71873a1f500 | ocamlx(CSet) |
| = bb0679407165dab9dc28c93b6a4bfe5a | ocamlx(CString) |
| = 5738f40b996b72bef73c0152ee136148 | ocamlx(CThread) |
| = 43fbbe8818bbf229513b357b7c495fec | ocamlx(CUnix) |
| = 8092fb6d7c560e48e7e811d32c0728f7 | ocamlx(CWarnings) |
| = 8f45b9257dcd8c6aa6185a694834d5fc | ocamlx(Canonical) |
| = 65b548fbdb53858a379f7a8d3a7be378 | ocamlx(Cases) |
| = 439719aeb7ae2ce17f55c6741cd4d973 | ocamlx(Cbn) |
| = 9d2982a4dac8cb0609788370601799cc | ocamlx(Cbv) |
| = 2f23cf69bae81a2ebb250c91ad9cc184 | ocamlx(Cc_plugin) |
| = 1ad5399791907f9ac099470672033d5f | ocamlx(Cc_plugin__Ccalgo) |
| = 104a5f04269cc1518ffa213b34b232c8 | ocamlx(Cc_plugin__Ccproof) |
| = 6aaa67824f6ddee646f54fbb45d0f09d | ocamlx(Cc_plugin__Cctac) |
| = 4a6a78769b1d9c9a50d46cd3c681a806 | ocamlx(Cc_plugin__G_congruence) |
| = 836743e087cc201fc64465f9b7f876b2 | ocamlx(Ccompile) |
| = 9a94a292df8e6b139b7d5a6c92e08170 | ocamlx(Class_tactics) |
| = b008a26f79846ff4dadfca60472e42e3 | ocamlx(Classes) |
| = 1dec1b23240000e956cab42ad465a5e0 | ocamlx(Clenv) |
| = bb132b915535b152b69f312aee4a97b4 | ocamlx(Coercion) |
| = c4a6970dc841040840f544eeeaf43c16 | ocamlx(Coercionops) |
| = 6c1daf115612bf12ac82a17cec8165ce | ocamlx(Colors) |
| = 9f1a159a571968be9681957b08a5f101 | ocamlx(ComArguments) |
| = 7e96b37ef8a2afb4c099bc44783e64c1 | ocamlx(ComAssumption) |
| = 79f454e262c0b672e81a07d25b5c9647 | ocamlx(ComCoercion) |
| = faffc6bfcc9dbe9dcd33ee399711b993 | ocamlx(ComDefinition) |
| = 569c987dc990998e1c64c69dca9146cb | ocamlx(ComExtraDeps) |
| = 1bdafa993ce0a05af1d085d8d8c56d8c | ocamlx(ComFixpoint) |
| = 77dba46fad67a7c4bce0b5272e340d72 | ocamlx(ComHints) |
| = f3af9e1f13e0c3269c503b6241cb019c | ocamlx(ComInductive) |
| = 7c2ce0aad4942cd99505e31a7ea832f6 | ocamlx(ComPrimitive) |
| = a750c9c9414416068f230a86ca9a1901 | ocamlx(ComProgramFixpoint) |
| = 1c56d55d1a65cefef569627bf5fcaf19 | ocamlx(ComSearch) |
| = be669282165461252d96f18b7bbf56f4 | ocamlx(ComTactic) |
| = 709d7f0691a07fd5f0157cf4ecd0c92a | ocamlx(Common_compile) |
| = 251dbf0308786aad53276f7e427cd1b1 | ocamlx(Constr) |
| = bd23cc27bb48c1be8ca34a8ba5db8aa6 | ocamlx(Constr_matching) |
| = b1a856c87595b36d9a9980c0f8e63f3f | ocamlx(Constrexpr) |
| = 4b6b9a01741b22a844e44ef761f0ed75 | ocamlx(Constrexpr_ops) |
| = c6d56d11e72ce0671d20fea94f3d3afa | ocamlx(Constrextern) |
| = b38d526c104bb0a6940b207335f205c6 | ocamlx(Constrintern) |
| = 05e9be34eb5157b1b17807eb4ca8f2fc | ocamlx(Context) |
| = 970bc77c4b0e2be9b331c1a10537ccf1 | ocamlx(Contradiction) |
| = 43e49934208bcd922ae13d402a76b5a3 | ocamlx(Control) |
| = 3ecf428d2a9e00d69a9445c3dbf4cc8e | ocamlx(Conv_oracle) |
| = f0a547fb7f2367cec04aae3610103832 | ocamlx(Cooking) |
| = 55e054efc504e4c18cf05003685b4097 | ocamlx(CoqProject_file) |
| = 7cf638d493004511d5d651aae4aa842a | ocamlx(Coq_config) |
| = 6fe793e0db7137bfbdf2d597dad9c348 | ocamlx(Coqargs) |
| = 35deaa0d27bd4329be4500be2a014fd1 | ocamlx(Coqc) |
| = 7bcfc479cf9dae2140250c3342ab3abc | ocamlx(Coqcargs) |
| = 24e426b126944de74335a3dcc4908760 | ocamlx(Coqinit) |
| = 98c5bd45008d7f9bdb738d24a8288a94 | ocamlx(Coqlib) |
| = 6e76512a8f2199b7a6929806c36a8a5e | ocamlx(Coqloadpath) |
| = 5a5886e0607dce39142d5afd9d851b45 | ocamlx(Coqloop) |
| = 505b9aa3cdae95aea062d5709ab1d059 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = 2bce147ead5d7d9b314ebf12bfbc58ef | ocamlx(Coqtop) |
| = 20cae04b7e47399fc86a4333b355f97e | ocamlx(CoqworkmgrApi) |
| = d00b8e4cc73d9a30dafcd47f7dff0b88 | ocamlx(Core_plugins_findlib_compat) |
| = 87bf9a546855ea7a2cfcaac317204a46 | ocamlx(DAst) |
| = eee2c52e4dbf8e4d961538104ebc18ea | ocamlx(Dag) |
| = 785da4532ffe3524ce71a17022a63610 | ocamlx(DebugHook) |
| = 2183546dd37ae21919eb08562a4a5ccf | ocamlx(Declarations) |
| = 516b3e150ddf97ed1b36b7b620472b1f | ocamlx(Declare) |
| = 83f47144b28652bfa2e6bf88f8268a29 | ocamlx(DeclareInd) |
| = 503750a0a507f927e1be645a4eea8be9 | ocamlx(DeclareScheme) |
| = e4e5b2b29dac26ce5a55349f6ee60bc6 | ocamlx(DeclareUctx) |
| = 643f0b686235e845bb1f31d50268376a | ocamlx(DeclareUniv) |
| = b8ad63054a4afa6af6da1f28e5e0bc35 | ocamlx(Declaremods) |
| = cb663cf40e7f0bed4c787770fcad98a7 | ocamlx(Declareops) |
| = 1b1eb8eca63ab65dcca4140fe6c5b93a | ocamlx(Decls) |
| = 3894cbdf79a7112ef59eb0b75ed51f90 | ocamlx(Deprecation) |
| = 4bfed4f9c4227d7e97f0f9359969e727 | ocamlx(Derive_plugin) |
| = 63af3599b1f6dc0147c22d2a51a0c404 | ocamlx(Derive_plugin__Derive) |
| = 42f73313247c12d165ed9abb2a0fc105 | ocamlx(Derive_plugin__G_derive) |
| = 3a99e1008881ab1753620c278233c91e | ocamlx(Detyping) |
| = 9e863c7141ed3283a737857120311b7f | ocamlx(Diff2) |
| = 7652de72cda677f6574f419cdb8c846c | ocamlx(Discharge) |
| = 4f6cd7c74431bf6f639f68a74b3c1b31 | ocamlx(Dn) |
| = c6f66c0094ad3e6c7d841a4939e66ca5 | ocamlx(Dumpglob) |
| = 8df2aa2eeee7aede0a80f4d4cd8215c9 | ocamlx(Dyn) |
| = eb7b746806b2dff679732b3924d392a1 | ocamlx(EConstr) |
| = f45f8e67d755c40be35677a01094e87c | ocamlx(Eauto) |
| = a05df4b8a27d05e0b0a54b578b895bf5 | ocamlx(Egramcoq) |
| = f08b9cf3c289d84f577f401398d0eb9e | ocamlx(Egramml) |
| = 04e43958120f7c8cea47612b687e7b78 | ocamlx(Elim) |
| = dc3f5630b94f02ddd95bc07450090dfc | ocamlx(Elimschemes) |
| = f29fbcba128d02be238bcf0c123407e1 | ocamlx(Entries) |
| = 8bf4fde65cef1580b3d852bc60750eb2 | ocamlx(Envars) |
| = ed4d2cbd4e05f41dd2d1e1f81a47d919 | ocamlx(Environ) |
| = 538d9187a08438ad4dcb4c7f457ea0c5 | ocamlx(Eqdecide) |
| = d06632ce33d8037a381baabb22631e8c | ocamlx(Eqschemes) |
| = bb3fff7898ddf3970a8667606fc9c055 | ocamlx(Equality) |
| = 6f07572552977d3f82d75508de5af7ce | ocamlx(Esubst) |
| = 9302b49ceb98ff523a7e5e42d6f73c85 | ocamlx(Evar) |
| = e87dc1437be578ef332455ef667f0caa | ocamlx(Evar_kinds) |
| = 561992d0001e9c09f3a3f419863bc803 | ocamlx(Evar_tactics) |
| = acf978bd97ab176462096434713142b7 | ocamlx(Evarconv) |
| = 3170c677bd106635f029d838286b422a | ocamlx(Evardefine) |
| = a5c8ad3ecec942caffc603ea2179e1dd | ocamlx(Evarsolve) |
| = 31fbde6f81ba195b35cf57cddc213eaf | ocamlx(Evarutil) |
| = 3eabb38d326ded18b39b5ec2b0e4c114 | ocamlx(Evd) |
| = cce74d96bc6d031a65a5e0de91168728 | ocamlx(Exninfo) |
| = d9f4e56169238574ba08a6840b32d45d | ocamlx(Extend) |
| = 6fcff5b02a9436ef0b637c2d29e353c1 | ocamlx(Extraction_plugin) |
| = d627212907e415db191cd03c91b81353 | ocamlx(Extraction_plugin__Common) |
| = 80f220f5b564f5cfc0b65ccef55f7dba | ocamlx(Extraction_plugin__Extract_env) |
| = 9f88f33f7e7a0c092ada8aeaa88f4b05 | ocamlx(Extraction_plugin__Extraction) |
| = c90e90a7d9204f86cfbd06eae466160c | ocamlx(Extraction_plugin__G_extraction) |
| = a98fce8bfa54e123166b3db893caea59 | ocamlx(Extraction_plugin__Haskell) |
| = 29e90c1eef79cf303e940b19c682cafd | ocamlx(Extraction_plugin__Json) |
| = b2592b2b0cb38de155a887806614bb0a | ocamlx(Extraction_plugin__Miniml) |
| = 910b0a534997070034d88d86263adfaa | ocamlx(Extraction_plugin__Mlutil) |
| = f7cf374531f02224d1a5abe194ce4202 | ocamlx(Extraction_plugin__Modutil) |
| = d064329a78d692ff03382a42da68550c | ocamlx(Extraction_plugin__Ocaml) |
| = ef548b087859a21c915cb94365fef8f2 | ocamlx(Extraction_plugin__Scheme) |
| = af0ac609689670fe1c527f9e32783324 | ocamlx(Extraction_plugin__Table) |
| = ecb5fe26475144c8c7f397d285400da7 | ocamlx(Feedback) |
| = 2eca0162ac08dcffc65bbfa3cece6c30 | ocamlx(Find_subterm) |
| = f846c99dbaa260cbe0e19175997ef3d1 | ocamlx(Firstorder_plugin) |
| = ea6d3af572ec1204a8f64eadd76d485f | ocamlx(Firstorder_plugin__Formula) |
| = 97db5e506657ebf92f0a724afe93a806 | ocamlx(Firstorder_plugin__G_ground) |
| = 386a472d13b38519af33ec9ef4a7a3de | ocamlx(Firstorder_plugin__Ground) |
| = df7b60cdcb609c61ab65808bdebc9f37 | ocamlx(Firstorder_plugin__Instances) |
| = 162c6f978f7fccd1e26cb26ac2a106fe | ocamlx(Firstorder_plugin__Rules) |
| = df70be1fa5520d1625fe4189b8b6a7b5 | ocamlx(Firstorder_plugin__Sequent) |
| = 77768e36700c8c14341b7b137a598fb5 | ocamlx(Firstorder_plugin__Unify) |
| = 842c8a5368d76c776d1e40dbf3fed00e | ocamlx(Flags) |
| = d9b45137b271e469dfc36466ea1ca6e9 | ocamlx(Float64) |
| = c079b73647ef633fadbfa5bdce5e1a3e | ocamlx(Float64_common) |
| = 7cf9cbe4cad975c0349cffc65457d335 | ocamlx(Ftactic) |
| = 5dd7066c0be80e4ff9bda91f46d9e967 | ocamlx(Funind_plugin) |
| = 6cd22bcaabd014872c153816ea9243ff | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = e1ac7e8fe5e7c6027ac621ef872d5d7c | ocamlx(Funind_plugin__Functional_principles_types) |
| = aa31062cf71d1bd1490ab3849b40a077 | ocamlx(Funind_plugin__G_indfun) |
| = 3f3e15d8ec54111952792b6be9a010a1 | ocamlx(Funind_plugin__Gen_principle) |
| = 20dda3e4f2db0259358c289ed44f84ca | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 4d9012fbe223fd62113113010543b2d5 | ocamlx(Funind_plugin__Glob_termops) |
| = f2005217b48edc948d04f691322819af | ocamlx(Funind_plugin__Indfun) |
| = 8e2c3c8cecf79ead6ee9d3c2bb569e99 | ocamlx(Funind_plugin__Indfun_common) |
| = 64870896309377994f6b45bb64d1170d | ocamlx(Funind_plugin__Invfun) |
| = 253332f110bd886d6bf002a34e12eebe | ocamlx(Funind_plugin__Recdef) |
| = 054f88ffa68b1ed6037f3bf240a3ade1 | ocamlx(Future) |
| = 5d8c4de19506828c8ff00fec7f72d7e3 | ocamlx(G_constr) |
| = 7efc69c253bd6db109b5e07a9f6faa1e | ocamlx(G_prim) |
| = b0af35f42943d1d92685e982999870d8 | ocamlx(G_proofs) |
| = 333656af0bf17cd49b39e0b581001ec1 | ocamlx(G_toplevel) |
| = 20ad92a0f8b88bd2f45901bb5bd09c50 | ocamlx(G_vernac) |
| = b52463c11f9310d3eaedbb90a39d1c88 | ocamlx(Genarg) |
| = 97ff875b472c847091e219eb1d9b5af9 | ocamlx(Genintern) |
| = 425882dd4802306ec846afb94a40590f | ocamlx(Geninterp) |
| = 0aea1d1cb69de01b5aa63cfe4360524b | ocamlx(Genlambda) |
| = 5c7afdbaa62f959f50257367a265193c | ocamlx(Genprint) |
| = b1e0379a937b3e9721f891ef3612c85f | ocamlx(Genredexpr) |
| = 0f472b00384422a5091c09a46c109217 | ocamlx(GlobEnv) |
| = 813110165466da9b8654c096697f7d5c | ocamlx(Glob_ops) |
| = f5c4b881a348e8232913c3ce808fdc99 | ocamlx(Glob_term) |
| = 790376db3cf0b52c37a66ad42f994223 | ocamlx(Global) |
| = f50a1da734d1768d65843fc8f22e1979 | ocamlx(Globnames) |
| = 90386f0a5662123f6aca2708d770e4e9 | ocamlx(Goal_select) |
| = c4d46618ad1c45a16f31a4899658fc5a | ocamlx(Goptions) |
| = 669bc26e61098dd6aac2e66f4beb2808 | ocamlx(Gramlib) |
| = 1f9470b12b6af35960ff459bd2efa81f | ocamlx(Gramlib__Gramext) |
| = a4fdcfc9a736b889e4e4148491a73934 | ocamlx(Gramlib__Grammar) |
| = 079e72044ed7fd3c35164f9ec6d5dbaf | ocamlx(Gramlib__LStream) |
| = 9240f864ffdb5aeac8668ae8fde93d66 | ocamlx(Gramlib__Plexing) |
| = 4d79c7546d977c90b14f035a31008544 | ocamlx(Gramlib__Stream) |
| = b2cf5dd59b52e4587106ca256f2d91a3 | ocamlx(HMap) |
| = 8e15bb6dbac7f1a0b4597cb2dea57763 | ocamlx(Hashcons) |
| = 289d79da738c49c99cd6d18df93996e7 | ocamlx(Hashset) |
| = 8488526f2fb8dcf3e8c8b90b3b9ce0f9 | ocamlx(Heads) |
| = 5a6a359577c07c6606ca9d5394f6f5f3 | ocamlx(Heap) |
| = 8bed99f9e8b29f7ae63196a29a0db708 | ocamlx(Himsg) |
| = e43f6dbba75031bf46f6ebb48bfcfbbe | ocamlx(Hints) |
| = d74d86cdf70a40e5e08975503677a4f9 | ocamlx(Hipattern) |
| = f0b5d946152854c7e0421f96585f9c32 | ocamlx(Hook) |
| = 6f509739c7a71eeb374f65b9d4fc92d9 | ocamlx(IStream) |
| = 2e9a67c2cabd15a87b5277ef462d6490 | ocamlx(Impargs) |
| = 5986ee73f06cfed2b7258ab72d2250f5 | ocamlx(Implicit_quantifiers) |
| = 9f50def85c20b19c95a825e83f0d9a7d | ocamlx(IndTyping) |
| = 29d2a509ab905f5e048148a31ce42211 | ocamlx(Ind_tables) |
| = 13f6faefc0c1337f368a12c68f122ac9 | ocamlx(Indrec) |
| = ba49dbd6be77254584ac370b9b2e5e7a | ocamlx(Indschemes) |
| = 251f6aed157a2fa2612055e2888b0c80 | ocamlx(Indtypes) |
| = 3e996741506496476719ad70c4c3c21d | ocamlx(Inductive) |
| = 3a5b15deda396ca7c2d63ea39716d6a6 | ocamlx(Inductiveops) |
| = 7997655dfee9926641087ab1cb52b029 | ocamlx(InferCumulativity) |
| = 5a7a707e81004c77cb758062d28de739 | ocamlx(Int) |
| = af8c688e7ae55a04de1c81581d5f1807 | ocamlx(Inv) |
| = d8b660626c0fdc276ec73ee236ee0c10 | ocamlx(Keys) |
| = a0718b3b8131d19cdb33a6de29e22ffc | ocamlx(Lib) |
| = dfd2e6102b233eae0b3ad0a1285bb65f | ocamlx(Libnames) |
| = b87dc31cb7344d131fbfbffc4a960705 | ocamlx(Libobject) |
| = 56b05299dea9e4abc4697194ae612d91 | ocamlx(Library) |
| = a8da92e2bb79480dce6ac433a6cafe82 | ocamlx(Load) |
| = 1e50e66469465a441f1b7ae3deaa8ae2 | ocamlx(Loadpath) |
| = da5c60aea5eb2601f809baa02357b1de | ocamlx(Loc) |
| = 7bac7b52ba11e1ec3f7da64f450c8031 | ocamlx(Locality) |
| = 7d5b363a2d229391d2436e2331291e5e | ocamlx(Locus) |
| = 9acbb2d23906cf0be4b3ac9e8f4fb666 | ocamlx(Locusops) |
| = a29bc81dc3266dc3425ee9a3bef99187 | ocamlx(Logic) |
| = 8c77db64109524ea84e7506712db1580 | ocamlx(Logic_monad) |
| = 1e367ab2728a05c33cf15202952d0a4a | ocamlx(Ltac2_plugin) |
| = c303e42a0da2cf66813c00ba781938af | ocamlx(Ltac2_plugin__G_ltac2) |
| = 2e2ee5e36a14379d0ea087f650c8cbfb | ocamlx(Ltac2_plugin__Tac2core) |
| = 7448045b7cc9da4be89ad66f332e1b49 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 9528b0b13fbf25ab5dda05d094ecc562 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 625da0bdf8c708c3d666df4c40d799f7 | ocamlx(Ltac2_plugin__Tac2env) |
| = 4b980386f08753bf5ec77e15b0d3bf89 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = c85d87651a833e21b577ae2f815f0e0f | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 330f9cdcbf7a2c3f2d34a498f7c7da43 | ocamlx(Ltac2_plugin__Tac2intern) |
| = b9bbb79bc30cc7b54c0c938166ecf080 | ocamlx(Ltac2_plugin__Tac2interp) |
| = acf6db6374e1dff5bcd9c6caf2ae7888 | ocamlx(Ltac2_plugin__Tac2match) |
| = 9ed4948203cbe84340cdfb28808ae052 | ocamlx(Ltac2_plugin__Tac2print) |
| = 58c322402aa3aae77f3d135d97e7f2a1 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 87190ad385b9b4e8f1d70c88b85a0359 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = a0147448bb4ea721d193b1513fe42e45 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 8cd253cdf763d32211a1ea04e5d6b43a | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 092b4b4888aea5a478c5f3979f93b7af | ocamlx(Ltac_plugin) |
| = 3e5a5916fd8afa705fcf3ecfad8a2757 | ocamlx(Ltac_plugin__ComRewrite) |
| = e76528210716b0b01b5e26c4c5ea5c42 | ocamlx(Ltac_plugin__Coretactics) |
| = e77a6d8418b2c916a08840fdca035089 | ocamlx(Ltac_plugin__Extraargs) |
| = 788c83f1b0f517e8e70d3bf6e5b1a82f | ocamlx(Ltac_plugin__Extratactics) |
| = aaeb194e8cf9e46cc988d66cee961362 | ocamlx(Ltac_plugin__G_auto) |
| = 8257cd18528ad1354d89ba0d77490b00 | ocamlx(Ltac_plugin__G_class) |
| = ff4b2cfede9581bc09f5969a89fbfcee | ocamlx(Ltac_plugin__G_eqdecide) |
| = 6520b29f7b39c63f0523f91b9ed4d924 | ocamlx(Ltac_plugin__G_ltac) |
| = 1b5793b9a875142427db6b5a5ea8a83d | ocamlx(Ltac_plugin__G_obligations) |
| = 7e21a1f665a97f471d0db186b731c9f2 | ocamlx(Ltac_plugin__G_rewrite) |
| = 143806b3f8566322eedf9cf96246b7dd | ocamlx(Ltac_plugin__G_tactic) |
| = 266b5059ecc62009252f61be02a64111 | ocamlx(Ltac_plugin__Internals) |
| = a547abfc50f5ddd5b1ad5b0e29d2e036 | ocamlx(Ltac_plugin__Leminv) |
| = c2b89a66426a68bab0097e73705a06a2 | ocamlx(Ltac_plugin__Pltac) |
| = 0b0c59fb9c8fd4ef114d2ba197281561 | ocamlx(Ltac_plugin__Pptactic) |
| = 87840570f184cad4b28a0c602551673b | ocamlx(Ltac_plugin__Profile_ltac) |
| = d86bec0d85743c7ed872413779a188ee | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 4c3e5ae6643dba5f7f79768dc1e593bf | ocamlx(Ltac_plugin__Tacarg) |
| = 692604c42ee04b3ea6d659aec38ecd0c | ocamlx(Ltac_plugin__Taccoerce) |
| = 3a0c857e538bd57dd1c2ad62d3f02eb4 | ocamlx(Ltac_plugin__Tacentries) |
| = 2d876c6e15b1e1e1d767e5748f64e30a | ocamlx(Ltac_plugin__Tacenv) |
| = ae9a1a8a69e3177d350672eb0a9f8a08 | ocamlx(Ltac_plugin__Tacexpr) |
| = d2b27ac5dfe36f78193fa964de612b65 | ocamlx(Ltac_plugin__Tacintern) |
| = 7f44d05837983120f6d1acfe377308cb | ocamlx(Ltac_plugin__Tacinterp) |
| = 02e2c7c81809ae177188659d34e6151f | ocamlx(Ltac_plugin__Tacsubst) |
| = 6fa2e6fe2b7b6aa50be03e3737a415c9 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 5d08a78b02b9502fa139b693c7aa6bff | ocamlx(Ltac_plugin__Tactic_matching) |
| = 8e1a2fea0213b49d8c82360b0e451760 | ocamlx(Ltac_plugin__Tactic_option) |
| = 330a6f8aaf93789cc5dbbaf94c2cf2bc | ocamlx(Ltac_pretype) |
| = b731880ca13a0f93754de6f872d45e74 | ocamlx(Metasyntax) |
| = 05d03f2585d55e86e2e179b5963eaa34 | ocamlx(Micromega_plugin) |
| = cff1339f024bb3063ea31da6c3283e89 | ocamlx(Micromega_plugin__Certificate) |
| = a8387b853527467e717f441bdcce4c1a | ocamlx(Micromega_plugin__Coq_micromega) |
| = 254a6302768e8e42a2a6d5c9444cc3e0 | ocamlx(Micromega_plugin__G_micromega) |
| = 6ddd3506e7d80e2025a02535f8e5f3a2 | ocamlx(Micromega_plugin__Itv) |
| = b90825661ce247b240190a255eff6d77 | ocamlx(Micromega_plugin__Linsolve) |
| = 50b27671573a4979b71a1b6ce20c80ae | ocamlx(Micromega_plugin__Micromega) |
| = c5bbc10bca829dd3f65f021173e60baf | ocamlx(Micromega_plugin__Mutils) |
| = 0edf2d3de0356b16d49fc5887357e7b2 | ocamlx(Micromega_plugin__NumCompat) |
| = 13b9bf52ffc60f1816bf4be0897e8074 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 89614c69986571e0dd4dc59630f5b6dd | ocamlx(Micromega_plugin__Polynomial) |
| = 670c0bec4ecb935a822dc990b196425e | ocamlx(Micromega_plugin__Simplex) |
| = 8fbdef72fbc32f090bac360dcb79a7eb | ocamlx(Micromega_plugin__Sos) |
| = bf5f2dd3776c85ef279d18b665c5bc76 | ocamlx(Micromega_plugin__Sos_lib) |
| = 076acae9130c8efcd263bcc5da066189 | ocamlx(Micromega_plugin__Sos_types) |
| = 8bccfdb1c4149eae975fad0cd3d9467f | ocamlx(Micromega_plugin__Vect) |
| = 483874379d0e6c6bdb4537523680864c | ocamlx(Miscprint) |
| = bbfa7404a3847693fa6d8092dccab864 | ocamlx(Mltop) |
| = 59c06ca21103f273d0bc4c7b7fe395df | ocamlx(Mod_subst) |
| = e888754a7bcd27c95518c9e8339ea289 | ocamlx(Mod_typing) |
| = 1f11da891d74e737a66a91371c2e2021 | ocamlx(Modintern) |
| = d23f311b0251904325d5a940faec0396 | ocamlx(Modops) |
| = 13e661dfe6ca8935bb5cdab606051c50 | ocamlx(Monad) |
| = 047236918134576130d51a116afe565e | ocamlx(Namegen) |
| = afcd2eb3e9984d30d706133e319b3bb5 | ocamlx(Nameops) |
| = f2af9c65627b96691453a86a0b898d83 | ocamlx(Names) |
| = 4344b5269fff36f03c9940f3f805e356 | ocamlx(Nametab) |
| = 5a7e0e94055b1546ca43d838d54c067d | ocamlx(Nativecode) |
| = e86f2f046e8b1b14467f5dc9fa6bf3ae | ocamlx(Nativeconv) |
| = 15a1cf4822cf714a56461cbfd7041163 | ocamlx(Nativelambda) |
| = 3e672094c89b504f420f16260891a881 | ocamlx(Nativelib) |
| = 9980f276a110ee049700bab981fbdeeb | ocamlx(Nativelibrary) |
| = 0eb916320b713158752471db16ac830e | ocamlx(Nativenorm) |
| = dbcd9cbff7a6549a641c25e4afb7c276 | ocamlx(Nativevalues) |
| = 393118bbf0a3c91eba0a638198347673 | ocamlx(NeList) |
| = 5d8d69fc88c9b72f7345ac34d1940dd0 | ocamlx(Notation) |
| = c890d6de1d1b26373d8ea0e76939d46f | ocamlx(Notation_gram) |
| = 5dbec5d41f0f3c2a4ab5351c23753b06 | ocamlx(Notation_ops) |
| = 082bf9f57e4577968dfd7d84ed32ebd6 | ocamlx(Notation_term) |
| = f3c6ed1b086316676007b3ce5138d5f7 | ocamlx(Notationextern) |
| = 8788a5124848174ea9d6dbd7247061ca | ocamlx(Notgram_ops) |
| = 4e857bdf8e913ae9d0f035d77f052690 | ocamlx(Nsatz_plugin) |
| = bda445ab77b2f664e7be220ec62376a1 | ocamlx(Nsatz_plugin__G_nsatz) |
| = c6108f02c5f8b27fb5f9fc216e2d682c | ocamlx(Nsatz_plugin__Ideal) |
| = 960d795a28f6e3e646529f84ca79cd41 | ocamlx(Nsatz_plugin__Nsatz) |
| = dea68b71b835d1d482854c5fb607d25e | ocamlx(Nsatz_plugin__Polynom) |
| = 009d61d376666a539a6c1850244d4492 | ocamlx(Nsatz_plugin__Utile) |
| = e5dad2b6a56f4993ccde46d88778e805 | ocamlx(NumTok) |
| = 3e3a4c17480be0bad0664ef539d1862d | ocamlx(Number_string_notation_plugin) |
| = bc629a034669108959f33a8779e57695 | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 5d8a6af47d2f88bb3ce3412a8231f1bd | ocamlx(Number_string_notation_plugin__Number) |
| = a54aa5c51c64ec1453fe84b1b7c4fc46 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 7b22af394cac5d81506af6b96f6f0d3c | ocamlx(ObjFile) |
| = 7073d4a5947666b1809d5774943773c9 | ocamlx(Opaqueproof) |
| = 5fbc1109d7ec7017fa5a99586b04e787 | ocamlx(Opaques) |
| = 027e5e1bfabd879c0bafd13804c95ae3 | ocamlx(Option) |
| = 0ac4543a9028e035f21f74ce6ef8708b | ocamlx(OrderedType) |
| = 160d1af2771cf00e7082e108e752c1e5 | ocamlx(Parray) |
| = b589642c46c502598d250abf70e84bad | ocamlx(Partac) |
| = 662c09e5671b185d58de5d780fa1c74f | ocamlx(Pattern) |
| = fc69eaf836c41c5e45827dc048465679 | ocamlx(Patternops) |
| = 222505fdb3a54d68a818e7bf5b0f1b41 | ocamlx(Pcoq) |
| = f856573c5dbd6b3be2ff2435e2e9ad5a | ocamlx(Pp) |
| = 37068b2d55ec8e0c71b347d9b5b55462 | ocamlx(Pp_diff) |
| = 8559fb727de005e22e51068971e33e24 | ocamlx(Ppconstr) |
| = fe43a69dd0948725a121d8a75a026c41 | ocamlx(Ppextend) |
| = e0fc0c85f757031b910455a0cfaad412 | ocamlx(Ppred) |
| = cbbd7538ee0cdbe8b3b0c2a42f7f79fd | ocamlx(Pputils) |
| = 2fac87316b29df3406e35bc342d2bf18 | ocamlx(Ppvernac) |
| = 8d89cd4730fafcc3023c0d6ea129afa0 | ocamlx(Predicate) |
| = 6867c61f71285629b34117e8faca5214 | ocamlx(Prettyp) |
| = 17ce4458e5c1e8e500ee11af65fb6e64 | ocamlx(Pretype_errors) |
| = db5c6a7b524f24c2447aa583ba2478fc | ocamlx(Pretyping) |
| = 9ff42da181097d77a476788c229c8eec | ocamlx(Primred) |
| = 31c008dfbc0d0ab10729d839a88511c6 | ocamlx(Printer) |
| = d41d383cb954c0ed14db6a8e3e6e7697 | ocamlx(Printmod) |
| = 15ad438fe876eb837b0c5929cd5d3bc6 | ocamlx(Program) |
| = fd230458e9b954e9e8bf7b255e0ae39a | ocamlx(Proof) |
| = 670373411178a33728b0dbca283476d4 | ocamlx(ProofBlockDelimiter) |
| = 604d7a58b529840556d73d8f933ba143 | ocamlx(Proof_bullet) |
| = a366f923b21fe58d9e555f4b14c5ffbe | ocamlx(Proof_diffs) |
| = 9edd6fa85f9465ac42418b39e54b242f | ocamlx(Proof_using) |
| = 1616d3eeaa69b728c800eb108a74e3d8 | ocamlx(Proofview) |
| = 5d98569f3fa87129021be7635984676a | ocamlx(Proofview_monad) |
| = df39aa65ad06d03a53fe51863a75a343 | ocamlx(Pvernac) |
| = 1d5958e8dda605e6cbc4f87eb5e144f6 | ocamlx(Range) |
| = d2c6ff98b5030b0944917ad7c583e419 | ocamlx(RecLemmas) |
| = 94310c90697e7ab6d2f699eb2efd254d | ocamlx(Record) |
| = 64075108992c06270809c189048b4b52 | ocamlx(Redexpr) |
| = c0bdf1cc701e3862a930342012da1f05 | ocamlx(Redops) |
| = 03a90f42980b7072a978063bb84d3ffc | ocamlx(Reduction) |
| = 19e63b62315c1426c00d1ce8025bb24c | ocamlx(Reductionops) |
| = cf4db555a34d575ccfa3282077adf01b | ocamlx(Refine) |
| = cf5d3addf5ad77af12da7570badb1d43 | ocamlx(Relevanceops) |
| = 661af2b14d5afe309bfb4e29b93d9053 | ocamlx(Reserve) |
| = a49fead344ba78058eae1728b8a1f665 | ocamlx(RetrieveObl) |
| = d402ce6645603748483439c72fae3388 | ocamlx(Retroknowledge) |
| = 1a028a2f8ec9aa39a340c337b846ad6d | ocamlx(Retyping) |
| = b126bfae440867026a8f956fb67b627c | ocamlx(Rewrite) |
| = 06f75f5c463f76eff0336c58718710b5 | ocamlx(Ring_plugin) |
| = 870fbbda22d723bca89e00cee5f97857 | ocamlx(Ring_plugin__G_ring) |
| = c23dc0ecbb425250da38f2632326d51d | ocamlx(Ring_plugin__Ring) |
| = c6044c08c13568fd431fc8b4dd1e9083 | ocamlx(Ring_plugin__Ring_ast) |
| = 09de2c948f4a19da444201c7e861b6cc | ocamlx(Rtauto_plugin) |
| = a35f3236c76f5b10053270844b7aaf57 | ocamlx(Rtauto_plugin__G_rtauto) |
| = fd4fab7de6a07f41734ce68bf0c9434f | ocamlx(Rtauto_plugin__Proof_search) |
| = f62bb0ace311914a350632e68caf582e | ocamlx(Rtauto_plugin__Refl_tauto) |
| = dbc0de87e0d4608236eaa749bf0e3969 | ocamlx(Rtree) |
| = 59d96b80bd792dac72c4cc60cdd42a15 | ocamlx(SList) |
| = 9a492e3c03a85c48b5be40168c80fa6d | ocamlx(Safe_typing) |
| = 4dfb70356d4b68d2d78205e524605d43 | ocamlx(Search) |
| = 3b2ceb524f5fb2b32ca0bfc4d7d22ee8 | ocamlx(Section) |
| = c6f5516ba5d174f67829ed9c8c8909b8 | ocamlx(Segmenttree) |
| = 334cf7a80e17684b390760dc45f8ac36 | ocamlx(Smartlocate) |
| = 4e1b7f447863bf33575b1460ae8c391b | ocamlx(Sorts) |
| = 16c47534e30908f42d7491de744d9972 | ocamlx(Spawn) |
| = 979af89369c75fcf800a9692aa5e18c4 | ocamlx(Spawned) |
| = 4dec0a06a96ded3bfca5c26efa1f526c | ocamlx(Ssreflect_plugin) |
| = d3747e517e646ff6c5c3085397881266 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 4f91ee02364a0b8f3f8709ca820f404d | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 1e6ab75f5e269618b21c3cbba8cd9909 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 3edbdf1aed27934aae8077d2c08257ed | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 2784fab94b817f6602d64e44fe090501 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 000eed3e7854f2235103207161cdf0ad | ocamlx(Ssreflect_plugin__Ssripats) |
| = d87f25d9be47c54c07247321fb8448e6 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 88446a7e09657e6e790e4d15cba835a8 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 75176beceb5bb15c1ab280f194fbbadb | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = b77c366da2f5338902ec5a943fd46072 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 6d90177196a345796126c5b0bc592873 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 5b76aa8a5d0de67cc96c51d3b3604ff3 | ocamlx(Ssrmatching_plugin) |
| = 42f6835a7a81ed4066debc12661bc425 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 3b9b6f71170ad3700f96284f6a5138bd | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 2b7be9278707aca66876a9472e505937 | ocamlx(Stateid) |
| = 3607d25f7cc0a37fd7f2fc4201524569 | ocamlx(Stdarg) |
| = 514025c7ece399136dff4d8388ccc374 | ocamlx(Stm) |
| = 6ee31a7374c87ea144c104df23f00364 | ocamlx(Stmargs) |
| = 2ba3a6f89f234ff58c41785d74dbd400 | ocamlx(Store) |
| = 0bcb3f53d6e4ca69bf36f93aa91802ea | ocamlx(Structures) |
| = 13b7c5f984fd2d2851f02061b7eeeee9 | ocamlx(Subtyping) |
| = 64574dc57866813324588821e0597966 | ocamlx(Summary) |
| = ec13e23ce1e39e6752e31ab2bbf89d6d | ocamlx(System) |
| = a019062e0148533c2823faf5dd0ea870 | ocamlx(TQueue) |
| = 080439ed60b468c4b7c522a39b56f72a | ocamlx(Tacmach) |
| = ecb0fcd34cdb7ce76cc8d44f5afd6c74 | ocamlx(Tacred) |
| = 6ea84164d136b62c3828f50cf79558e1 | ocamlx(Tacticals) |
| = 72fcb32f246de82dd19f7e59a6c391f8 | ocamlx(Tactics) |
| = a66545e95f70fe515f98cc3e2c8b50db | ocamlx(Tactypes) |
| = f88b82da2114b493d0deb578f8dd4ba9 | ocamlx(Tauto_plugin) |
| = 606a73cd0945c104219d0938242c19c6 | ocamlx(Tauto_plugin__Tauto) |
| = 5013e3751f97dbda4d5e1d98ef7a3e98 | ocamlx(Term) |
| = 0d80c0077f9b4452dd140f64186a5b27 | ocamlx(Term_typing) |
| = 6ff9df188b1447212303a5929ee3399b | ocamlx(Terminal) |
| = b73b465b78216555f9f0490d7f95207b | ocamlx(Termops) |
| = da310519e86d4a9bb4b5a9ed30d2282f | ocamlx(Tok) |
| = 8c474bb52b413a155f8209a52abe653c | ocamlx(Top_printers) |
| = 2c61a7625f1fee5ce70b1f42b1de059f | ocamlx(Topfmt) |
| = b03e4860ad37c0c5d2113446dbb373d9 | ocamlx(TransparentState) |
| = a10c81b0b47cd4fddf7ef018ed0625fc | ocamlx(Trie) |
| = 421b6edf2af8dc3142bbcfb353ce80a1 | ocamlx(Tuto0_plugin) |
| = 396d0c62dc565f8930dcc038c45969cd | ocamlx(Tuto0_plugin__G_tuto0) |
| = 835a9eb8236b2b63a134b24ce0c88c20 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1182c5b9212dab8eeed6f04fdc2cb779 | ocamlx(Tuto1_plugin) |
| = be78bd8331611b7aaf852334190c0404 | ocamlx(Tuto1_plugin__G_tuto1) |
| = 469cc9e55e0ea6e97d4ff8d6483d55e4 | ocamlx(Tuto1_plugin__Inspector) |
| = 9545f6edb9e140befb1679a8fb7adf7c | ocamlx(Tuto1_plugin__Simple_check) |
| = 38411b971017af2b17ac41ddac889ab7 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 1bcfbe16a88af641ee576054cb73e983 | ocamlx(Tuto1_plugin__Simple_print) |
| = 7badc8faa38b1ee75426ee806ac46034 | ocamlx(Tuto2_plugin) |
| = 866d10139575a41772f229eb2866a65d | ocamlx(Tuto2_plugin__Counter) |
| = 85ca865e0cfb2986a275e4530f5512f6 | ocamlx(Tuto2_plugin__Custom) |
| = 1d99f940baee13a840d2092d22846b8d | ocamlx(Tuto2_plugin__G_tuto2) |
| = 5d8f22e421bfa211a8c2a9bbb18353dc | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 599b2c4aa1bac417a089758f57f7415c | ocamlx(Tuto3_plugin) |
| = 3d43c214f3b96870603efc898cc86eb5 | ocamlx(Tuto3_plugin__Construction_game) |
| = 2c76f50a5e3a18212f53059f41c92890 | ocamlx(Tuto3_plugin__G_tuto3) |
| = 0cd11ca5ce85d8384936fb6ea887535d | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = da223a81fb9994a0342935c6ffa6dfee | ocamlx(Type_errors) |
| = bbf23d8cedb53d56d50f2a8427da832f | ocamlx(Typeclasses) |
| = 807a80b21c9225e8d5a0316a8ed11883 | ocamlx(Typeclasses_errors) |
| = 5030778cc1ed7fff1b48ecdb4c9f9faa | ocamlx(Typeops) |
| = 6f3f39d2aa3dc1f627c8b133dd6369a7 | ocamlx(Typing) |
| = 2cc7d8a95909eafcee26b6f8e9685df6 | ocamlx(UGraph) |
| = 1897a3125b09c34f48dd59f563c9aebc | ocamlx(UState) |
| = f87e8fd10a80479899f7e6b4bfcffe03 | ocamlx(Uint63) |
| = 855f0c9639f5529e69dc785b8214cde5 | ocamlx(Unicode) |
| = d05dc1e9060cef93f0794941ee25c720 | ocamlx(Unicodetable) |
| = 3c88da5c53f4c4b0a128d80895766db0 | ocamlx(Unification) |
| = 09da7475766e419b156de58fb065d530 | ocamlx(Unionfind) |
| = 484f90f09c79209f21eab77341a82078 | ocamlx(Univ) |
| = 6588df5ee42657acb746bc039ca8b1f3 | ocamlx(UnivGen) |
| = 20189f73792ab1296775dd658c0db475 | ocamlx(UnivMinim) |
| = 35bfd080f10d84c1d6435475fb021809 | ocamlx(UnivNames) |
| = 06f526b6ef6c2613f13b482a1218ee0e | ocamlx(UnivProblem) |
| = f39fd36ed889915987ea791d521a9040 | ocamlx(UnivSubst) |
| = 37df21a9868bb8ca8afde41e83efc1c5 | ocamlx(Util) |
| = e24c804d91e60b7e5f23101865ca0644 | ocamlx(Vars) |
| = a62cf440b8622fd451ea37f584a4dd6d | ocamlx(Vconv) |
| = 2082d4cf0e673df856056836b9976c16 | ocamlx(Vcs) |
| = 5ef32d45e5b692c5991ae01ba9c2aa05 | ocamlx(Vernac) |
| = 7fe443a91a933b81e70510603ec3aaeb | ocamlx(Vernac_classifier) |
| = f5286d16054ad69a88950a2428ee0814 | ocamlx(Vernacentries) |
| = 133ce17c595fdf01a663da1aaaa27f9d | ocamlx(Vernacexpr) |
| = 86e506287023ad93ebf3d7784b6af489 | ocamlx(Vernacextend) |
| = ff3699cdea9837b3d2d6a24a2bdd9de6 | ocamlx(Vernacinterp) |
| = c2add45f7008dffa219489c4ae4bde38 | ocamlx(Vernacprop) |
| = b65f404f93a5cfc5eee55da4bd3a499e | ocamlx(Vernacstate) |
| = d08e5a3771481a0992b43576e098a377 | ocamlx(Vio_checking) |
| = 2ac32bb503eca9dbe97c78417051d1ac | ocamlx(Vio_compile) |
| = dee1e5df2deb6a2aef2fba7bb52f76d5 | ocamlx(Vm) |
| = 925ca763b3a2ea4e7619e004c29ef944 | ocamlx(Vmbytecodes) |
| = 2243e992f5259a7db3e854944a7df18b | ocamlx(Vmbytegen) |
| = d24dca8ae965e5c2ef63aa6dcf52ef64 | ocamlx(Vmemitcodes) |
| = 4fc09efd617b1a1d4e54e6d18338443b | ocamlx(Vmlambda) |
| = a98602e2d97cf24bde5fbf3b6fa097ba | ocamlx(Vmopcodes) |
| = fd49526a086ae698475eca9968999dc4 | ocamlx(Vmsymtable) |
| = 9566b8dacf45b64ee25bb439b7a15901 | ocamlx(Vmvalues) |
| = ba113bd6d93b9d46d78c31fe5bd2775c | ocamlx(Vnorm) |
| = b605be407412f43e6d8da95c862583a2 | ocamlx(WorkerLoop) |
| = b157a62bf7547a0996649466efef0b76 | ocamlx(WorkerPool) |
| = a92a95d724f093014026c762f910b21c | ocamlx(Zify_plugin) |
| = f93121b7fcfc6142183a8d58246326a0 | ocamlx(Zify_plugin__G_zify) |
| = adc6dee094b85fd4f0f5175d18e2a357 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.17.1-1.fc38.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/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworker.opt |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/04 |
| /usr/lib/.build-id/04/db261e4ca77db811a8a2ae1ff426dd90acedd8 |
| /usr/lib/.build-id/0c |
| /usr/lib/.build-id/0c/3ea0db4ade15ca22db1f28959034f36fcb6b60 |
| /usr/lib/.build-id/11 |
| /usr/lib/.build-id/11/81c3cd63006f110b9454e25794a21dd3e3ae42 |
| /usr/lib/.build-id/1a |
| /usr/lib/.build-id/1a/d876bd6af0b8a1ebdc5340056bc3c01b5a23d1 |
| /usr/lib/.build-id/2a |
| /usr/lib/.build-id/2a/8ea4c89cf25f5955ed0681050295475ff945a3 |
| /usr/lib/.build-id/2c |
| /usr/lib/.build-id/2c/c38eeb4ed94d9464a3cfc66a4c6a71d3e3c230 |
| /usr/lib/.build-id/36 |
| /usr/lib/.build-id/36/8f27a9b7d446e0dd68c2cffbe28f330b5613f3 |
| /usr/lib/.build-id/37 |
| /usr/lib/.build-id/37/92936ea4cf3b71124f90ea43debc97dccfc23f |
| /usr/lib/.build-id/38 |
| /usr/lib/.build-id/38/120d642199376677de1560d9207725da105e06 |
| /usr/lib/.build-id/3c |
| /usr/lib/.build-id/3c/94d0dd2666f32fbdfbddc36815ee2d89ddd4d6 |
| /usr/lib/.build-id/3f |
| /usr/lib/.build-id/3f/62c8f211d9d7de085e8870f104a870363a996d |
| /usr/lib/.build-id/42 |
| /usr/lib/.build-id/42/3e8a7c26b1f5fbaaf349e2c3680ab800a8809f |
| /usr/lib/.build-id/47 |
| /usr/lib/.build-id/47/4e2ac38a3a4f891e1bedd9da602cdbe96afaf3 |
| /usr/lib/.build-id/49 |
| /usr/lib/.build-id/49/0694e8bbbce0b3f4134a6f469c6c7792356f9c |
| /usr/lib/.build-id/49/3141841f4228df98af3330ad97e525bfdb73c7 |
| /usr/lib/.build-id/4a |
| /usr/lib/.build-id/4a/1f41bd33d794d1c94940b40a7765bcfa3148b0 |
| ... and 2801 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-10-18 |
Version 8.17.1
|
| 2023-04-01 |
Version 8.17.0
|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 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
|