معرفی شرکت ها
coq-core-8.16.0-1.fc37.x86_64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 37 |
| مخزن | Fedora Everything x86_64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.16.0-1.fc37.x86_64.rpm |
| نسخه بسته | 8.16.0 |
| انتشار بسته | 1.fc37 |
| معماری بسته | x86_64 |
| نگهدارنده | - |
| تاریخ ساخت | Sat 17 Sep 2022 02 |
| هاست سازنده | buildhw-x86-14.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 152M |
| حجم نصب | 525.317M |
Coq is a formal proof management system. It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.
This package includes the Coq core binaries, plugins, and tools, but not
the vernacular standard library.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| coq-core-8.16.0-1.fc37.aarch64.rpm | 8.16.0 | aarch64 | Fedora Everything |
| coq-core-8.16.1-1.fc37.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-8.16.1-1.fc37.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.16.0-1.fc37.aarch64.rpm | 8.16.0 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.0-1.fc37.x86_64.rpm | 8.16.0 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-1.fc37.aarch64.rpm | 8.16.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.16.1-1.fc37.x86_64.rpm | 8.16.1 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.16.0-1.fc37 | coq(x86-64) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.10)(64bit) |
| - | libc.so.6(GLIBC_2.11)(64bit) |
| - | libc.so.6(GLIBC_2.14)(64bit) |
| - | libc.so.6(GLIBC_2.15)(64bit) |
| - | libc.so.6(GLIBC_2.16)(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.2.5)(64bit) |
| - | libc.so.6(GLIBC_2.28)(64bit) |
| - | libc.so.6(GLIBC_2.3)(64bit) |
| - | libc.so.6(GLIBC_2.3.2)(64bit) |
| - | libc.so.6(GLIBC_2.3.4)(64bit) |
| - | libc.so.6(GLIBC_2.32)(64bit) |
| - | libc.so.6(GLIBC_2.33)(64bit) |
| - | libc.so.6(GLIBC_2.34)(64bit) |
| - | libc.so.6(GLIBC_2.4)(64bit) |
| - | libc.so.6(GLIBC_2.7)(64bit) |
| - | libc.so.6(GLIBC_2.9)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.2.5)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = f98827dcd70d54140f3afa5af18218b1 | ocaml(Big_int_Z) |
| = e8ae4f4bfba05286227b34e54f139ccb | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 36b0a49258d4c9aec546d39f1208f6f8 | ocaml(Btauto_plugin) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 8f8f634558798ee408df3c50a5539b15 | ocaml(CamlinternalFormatBasics) |
| = 5365fec4a58da3e2d8fa2186f77d9be4 | ocaml(CamlinternalLazy) |
| = 2004005091bc8a61fe26ab15e0fb28e4 | ocaml(CamlinternalMod) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = f94cad302b97664378d2d97f989a1a60 | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = f0caf68e0fd94353b2fe68f24dc84c46 | ocaml(Condition) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 4a15203be310f2c59b0ef22c8d29618a | ocaml(Coqargs) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 1ac090651dbd6f2d853bcd927bb44edc | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = b542e5672ad42f5b838f58913ba15456 | ocaml(Dynlink) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = 7d494cc7ed3b38f849f2a9ed1fd9f89e | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = d44b73d9d87aa8a2a740a3e7f738599b | ocaml(Findlib) |
| = 6267beb6dfa150a45646ad9c19f3d503 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 6fe04213bb7f649801e5f72ab6026eb0 | ocaml(Fl_dynload) |
| = e1b1d3fe0eca562f5e9dc0e0f04eee51 | ocaml(Fl_metascanner) |
| = 2ee80556b58c28796e5020152710a0dc | ocaml(Fl_metatoken) |
| = 04c54a48fe2e7875409d82f50323d9b9 | ocaml(Fl_package_base) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = 477b04cef03af8ba71ed700bbaf00199 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = 49f2ec40e5ddfef8a1c60e6a72123dd8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 1c590b83f1dc869d713b2eb2d309fbd9 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = 6003858db04cd42250ba1bba3d715894 | ocaml(Ltac2_plugin) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = 7df366cd4450321fc21159ff68115c18 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 3109287404c2cab8de725ab4c0edd481 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = e7b4c98d68b9b84b256d9650ac063dab | ocaml(Mutex) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 367265c8d658228901b17d44b3994471 | ocaml(Nsatz_plugin) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = abe6daf99843075855600176ed329cee | ocaml(Number_string_notation_plugin) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 95ed12df5d619f4cf43c3f5256a0f97b | ocaml(Q) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 23cb081881776a66a7f5539e77d0528f | ocaml(Ring_plugin) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 6a972b3ff0e2f0e1e00d078be4cdb0e3 | ocaml(Rtauto_plugin) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = cbb0b00f84f68baeaef150719a25583d | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = 20e402419bff304b3593e19d0ee35c63 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = 6d7bf11af14ea68354925f3a37387930 | ocaml(Stdlib) |
| = 622d88fad859d0d0f019e691fc4fa865 | ocaml(Stdlib__Array) |
| = 994a14f10d5ae081663b52b790ee11d3 | ocaml(Stdlib__Bigarray) |
| = 4b09c9a6d0622bbf5a3829234b481822 | ocaml(Stdlib__Buffer) |
| = 3d02c33317c0108c61e7a5eefa37519a | ocaml(Stdlib__Bytes) |
| = 62afe57b49defcc078960a68b9efbbee | ocaml(Stdlib__Char) |
| = 4555217c759e89d65daa8f682eb09b35 | ocaml(Stdlib__Complex) |
| = 61f6495d3274a42a78a63425ef892290 | ocaml(Stdlib__Digest) |
| = 26845df28d19584687a38a1ab814c3f9 | ocaml(Stdlib__Either) |
| = 85bf10913cd5901968e9c2a8e59c2cd8 | ocaml(Stdlib__Ephemeron) |
| = 3bcff250dd30a0e620fa7546882aaadf | ocaml(Stdlib__Filename) |
| = b6edb97b685819e873481fe05723c8bc | ocaml(Stdlib__Format) |
| = 115c0563d80d54e1e845b108f10caa33 | ocaml(Stdlib__Fun) |
| = c3ec15218bd26e175e6d959e216eb39a | ocaml(Stdlib__Gc) |
| = 34c0fdd524bf2a75e4d5af64a6d34401 | ocaml(Stdlib__Hashtbl) |
| = a71ea5238030770647165f659f80b1ab | ocaml(Stdlib__Int32) |
| = 0fa5587c47baf16a06837c7dedfc2518 | ocaml(Stdlib__Int64) |
| = 01430d340c028322c7247031a874e355 | ocaml(Stdlib__Lazy) |
| = c9318c276ac7e383fd682c2dd06be434 | ocaml(Stdlib__Lexing) |
| = ee222542f6f8195441543b8b399b64b9 | ocaml(Stdlib__List) |
| = 978f82916b5a172c11d2b72719d85680 | ocaml(Stdlib__Map) |
| = 182731e5f563b7657acd24ad778f3615 | ocaml(Stdlib__Marshal) |
| = 989149bf8f2ce1a89fecbc3f5f40f52c | ocaml(Stdlib__Nativeint) |
| = 25794d29f7f4018768ea900e331a2bf3 | ocaml(Stdlib__Obj) |
| = ae914d0568e8b6e482a66bbd62a4432f | ocaml(Stdlib__Printexc) |
| = bc8af6214197dc8f40eaa738a4cd6a28 | ocaml(Stdlib__Printf) |
| = b066724fe533c7b8fc9b521e37aedad8 | ocaml(Stdlib__Queue) |
| = 81e43bab9bd47bab804eb6e582306de1 | ocaml(Stdlib__Random) |
| = 5bfc827c9980349e00f2aa1f5eade58f | ocaml(Stdlib__Scanf) |
| = b63511032211eae4b567ba313cd72962 | ocaml(Stdlib__Seq) |
| = 871d2ee2167ac9e7977fa13994cf4658 | ocaml(Stdlib__Set) |
| = 30ae8c258e7fc6fb7e6370a60256d724 | ocaml(Stdlib__Stack) |
| = 510a78f010f6c530a911189d7538d002 | ocaml(Stdlib__Stream) |
| = 097838f294457ecbb61ccbcf86cc6972 | ocaml(Stdlib__String) |
| = 7726a14ce36f5c6c3abb04975cec748b | ocaml(Stdlib__Sys) |
| = c0dde02a556a6d79e363ad365d165d57 | ocaml(Stdlib__Uchar) |
| = 28f276c430fdc51a3a10691d3066b26a | ocaml(Stdlib__Weak) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 514c63e7d96516ff4c601fe47900a52d | ocaml(Str) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = 880fe92067bddc823d053328ba1a83f5 | ocaml(Tauto_plugin) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = cbab14f62eb893a73913c276298141c9 | ocaml(Thread) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 80ad81640230c9109e2a86d657964738 | ocaml(Tuto0_plugin) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 55ffa16141b5793e7b3d1a16411504b2 | ocaml(Tuto1_plugin) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 87ed64c5d3dc5ceb72326a559ddf0e10 | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = bdeefdc2d2f0c3bd558c7518549c9351 | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 84bb8ec8ae50f70acba86f5b72088b1c | ocaml(Unix) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = a71ac4a535434978287848841376388e | ocaml(Z) |
| = e8b888db3e08ed236f0fdc4be24a95f6 | ocaml(Zify_plugin) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = d05762935e1f8b82d627edd1738dcb00 | ocamlx(Abbreviation) |
| = 498dcb7aa5823c754dbd0af92dd4f7e8 | ocamlx(Abstract) |
| = cbf20a294c02fed2a265a3a625b6c0e1 | ocamlx(AcyclicGraph) |
| = 7697a31a59ff58fc948e7c9050434669 | ocamlx(Arguments_renaming) |
| = 2138877e871e3ba11535567a3f7387fb | ocamlx(Assumptions) |
| = b7360ced3b6a2854cd86b100b116d03c | ocamlx(AsyncTaskQueue) |
| = a7092ffc5cceebe88001ab05a3b9524b | ocamlx(Attributes) |
| = b9ccd6e3097c28d21ecbadf486fa0fe3 | ocamlx(Auto) |
| = e87f291431abcf5491424de954969836 | ocamlx(Auto_ind_decl) |
| = 63680477da6b8ad1bb3ff1a947e89fa4 | ocamlx(Autorewrite) |
| = 648a040880542985e926474cf6b1a266 | ocamlx(Aux_file) |
| = 60ab8080e198343ac2d798bc4b98d698 | ocamlx(Big_int_Z) |
| = 5c2355de8e4a244feecd56bba25a9ae9 | ocamlx(Boot__Env) |
| = 35c11351455a413e70ee935c01be43aa | ocamlx(Boot__Path) |
| = 66a2f73a83af6dcc91a34b299d8f2dea | ocamlx(Boot__Usage) |
| = e6daba412f967679ab32ce3a5f3e35c8 | ocamlx(Boot__Util) |
| = b535dcedfdf70d84a3b2780720304b93 | ocamlx(Btauto_plugin__Refl_btauto) |
| = 47aded705b5f11dd3f3c310c47e4afcd | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 8a09dad9153627fdb9a3260c37ee439d | ocamlx(CClosure) |
| = e058a3ff9234dbc915c0981b01c8bb8a | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = 42f32bf8433b8657144712d5383f6152 | ocamlx(CErrors) |
| = 69c2b2621aaa8887df2ab907a282edda | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 3026d3b707303ee06c2cb19fde8eb685 | ocamlx(CPrimitives) |
| = dafdf45dfe2fb68edfbf3a31cccce519 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = 9a2eac891d5f0f2f974f0958bb2610d4 | ocamlx(CWarnings) |
| = 162669b09093ea11100da3962b876e9b | ocamlx(CamlinternalLazy) |
| = b1cf5908bd32decae56ba9dbb3154081 | ocamlx(CamlinternalMod) |
| = a101590c0ffe223042e9f1462a42bc2e | ocamlx(Canonical) |
| = 976f6a2e859055f17d05cc2519079b0e | ocamlx(Cases) |
| = 7f5302e1fbd1b34c16757a0944c8b5bb | ocamlx(Cbn) |
| = e19ed04c280a757e1e1431b730bd8bfc | ocamlx(Cbv) |
| = 02003692194595485b5950a1dbbcf7e6 | ocamlx(Cc_plugin__Ccalgo) |
| = 7bf902bc8586770fd86bbc2c921878c8 | ocamlx(Cc_plugin__Ccproof) |
| = 15453bbeffa9c13ec0f1c88ade056d2a | ocamlx(Cc_plugin__Cctac) |
| = afe261db23b15e713b36ac52a0a3c759 | ocamlx(Ccompile) |
| = e27e6421252f7c66d9877822d0003f45 | ocamlx(Class_tactics) |
| = beac2e51b0344d935b263cbeb7b67789 | ocamlx(Classes) |
| = 6129b30cd32455375fbd37c956988193 | ocamlx(Clenv) |
| = fc8e985c0159ee5ed5f004ad0cfc11ec | ocamlx(Coercion) |
| = 1b983c521bc9b441cac54915dac72c64 | ocamlx(Coercionops) |
| = 230f5ee96e49ac052e338bf58529ea15 | ocamlx(ComArguments) |
| = c41a74d1218ef213ee4980a6a7ad646f | ocamlx(ComAssumption) |
| = 4d4f3e99395cfcc0dc15bfdeaba152dd | ocamlx(ComCoercion) |
| = 3e2b639840fdf4d7ae1b41255d2527c9 | ocamlx(ComDefinition) |
| = 3aee4d77ba7bf27e6edf5529fe2a3bf0 | ocamlx(ComExtraDeps) |
| = 502f54d3d4c7d0e01a28560124b568a7 | ocamlx(ComFixpoint) |
| = 59e67393146f12edf3bbb605da4daead | ocamlx(ComHints) |
| = d0abdc1b4c8d2574f99353f7a33db2a6 | ocamlx(ComInductive) |
| = d750e9332ab6ab62b1da935f48a1988e | ocamlx(ComPrimitive) |
| = 08470e8bb4481173efe8fbbed75d5671 | ocamlx(ComProgramFixpoint) |
| = a4dde5ef0723dc542dac1a9ef5a07480 | ocamlx(ComSearch) |
| = c30a32d73bcfe781e2088539d6d383e2 | ocamlx(ComTactic) |
| = 7735c6a072870e7ee10962d798a00540 | ocamlx(Condition) |
| = e29fb0bc90055c9bc97c0dc3905f5a33 | ocamlx(Constr) |
| = a33cff6d78f132c865172eefef60e131 | ocamlx(Constr_matching) |
| = 6faa498fd37107dd44daab86014bc244 | ocamlx(Constrexpr_ops) |
| = f1ba65cec6916cb4589f3b2d1db502ef | ocamlx(Constrextern) |
| = 4b423a352aa2ec002de3d68d5ba64894 | ocamlx(Constrintern) |
| = 1cec9cf73948a772183ada7f29073e3c | ocamlx(Context) |
| = b0efc07701ca8ba39edf5fb557be66ce | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = 07aaf301283b61ab92894cf99658774c | ocamlx(Conv_oracle) |
| = a672fe68bf17e996c89fd710642d403a | ocamlx(Cooking) |
| = aa4e4b608846c57fb74c97ffe2be8c72 | ocamlx(Coq_config) |
| = 71b6aedadd7e6cc787a6323868a71a0a | ocamlx(Coqargs) |
| = 0e2cf7be5cf9041f01f86ddce4e8782a | ocamlx(Coqcargs) |
| = 71028d5f3c710cbb2beeb51c27efa419 | ocamlx(Coqinit) |
| = 0f93740d18b32d54da01e8223f18c4a6 | ocamlx(Coqlib) |
| = 8865a1cb13ce3ab50a31440fb940357c | ocamlx(Coqloadpath) |
| = 7f7389bf66ece45a5bddaba5dfc25931 | ocamlx(Coqloop) |
| = afac1d0d5d12996da824687640debeb1 | ocamlx(Coqrc) |
| = 76e2d8760415aa120cca62515f869264 | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = b585683b1616c0746a2a009afe936c05 | ocamlx(Declare) |
| = f6d0dce73e45e2356fe5f9dd10b501fa | ocamlx(DeclareInd) |
| = e08c4756f8a00b73c7b7fe3d4d590c60 | ocamlx(DeclareScheme) |
| = 5817b89fbfd31ab0c63f2c51387cdb8a | ocamlx(DeclareUctx) |
| = 6513dd1c057c11ec4354d16d5bd8f00d | ocamlx(DeclareUniv) |
| = 40fbea3683eb703557c6879edc0261c5 | ocamlx(Declaremods) |
| = 94d74eb7069f80d7979f53ccadfbef83 | ocamlx(Declareops) |
| = b578ffd1d81987177c7bd90b1df02def | ocamlx(Decls) |
| = 0a860c8519ffc5cddefbe76f36ddbf2d | ocamlx(Deprecation) |
| = 8bad5f32b1a09cbe7bbb517abcac8884 | ocamlx(Derive_plugin__Derive) |
| = ee9cce44e4bc69642b8be1c7756d577e | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = daf97f95b74e0717050231b2122c4115 | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 8357566216dbfe2d0bb9ff35365a03bb | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = e18097515416b9553db8d444dc4b5d85 | ocamlx(Dynlink) |
| = d58cbc6e6fc72d3125200f0e6e78eb39 | ocamlx(EConstr) |
| = c2a4019563479f87fab1a9b16035de51 | ocamlx(Eauto) |
| = 8d796970456ebd90b91ada01b2b2b4d9 | ocamlx(Egramcoq) |
| = a39cb8f5a2628af3158aca5da874d86c | ocamlx(Egramml) |
| = 157804d5f30a3d8e3854ff728913e20f | ocamlx(Elim) |
| = 7f81aa49e61a9e01ef56fa1969b608df | ocamlx(Elimschemes) |
| = 77fccf9908ea5631b7d62a0cc93e0a1d | ocamlx(Envars) |
| = f97278c854dfd8a4c1a334f733616e06 | ocamlx(Environ) |
| = 9fbe6c12ec885a9f1edec5a840a0ffc0 | ocamlx(Eqdecide) |
| = 7dae501a684373b3581ce2985be660db | ocamlx(Eqschemes) |
| = cc2b3322ef941d7df88a086a98e4fdc9 | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = d9f95f602a81ba6156763a09232641c4 | ocamlx(Evar_refiner) |
| = 4b23418fd3029164f3a4c630677ae9e9 | ocamlx(Evarconv) |
| = 751cda1bd80579fd75d6cdbe70d132cb | ocamlx(Evardefine) |
| = 94e44fb813b00088613581fcb156f030 | ocamlx(Evarsolve) |
| = 4362d800b931f3f03203561e11daaf09 | ocamlx(Evarutil) |
| = 9a449dd8d3f66c0b0bf842ad36909fbf | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = d56703f56cd991e3128a93cd1ff2a926 | ocamlx(Extend) |
| = eec329aac24ec600ebc6851e221f82fc | ocamlx(Extraction_plugin__Common) |
| = 4f0b0e9973c4ded906d128094b1b7340 | ocamlx(Extraction_plugin__Extract_env) |
| = 8bbd3b31891b849664db3200c21159b3 | ocamlx(Extraction_plugin__Extraction) |
| = dc2201e4bcfa01d5ef4cadd706b8859b | ocamlx(Extraction_plugin__Haskell) |
| = eab195187e4e3773614095aecb2a0574 | ocamlx(Extraction_plugin__Json) |
| = 53747fd86e2ca172302cd8ef57a2b1d2 | ocamlx(Extraction_plugin__Mlutil) |
| = 12f4e73b2090656c571f9cfcbe761a8e | ocamlx(Extraction_plugin__Modutil) |
| = 9de552f22509f38ff5dd0a7b692a27d3 | ocamlx(Extraction_plugin__Ocaml) |
| = 645716fda4c3e750bfab221022cf25aa | ocamlx(Extraction_plugin__Scheme) |
| = 36821a3cc79f9445fccc154b2021e80a | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = d230df7dfd619ce5fb3deae60662b75f | ocamlx(Find_subterm) |
| = ab255957edc84944825b825f03eac9c2 | ocamlx(Firstorder_plugin__Formula) |
| = e24728b368e6d12bbcf6c1bd9c52005e | ocamlx(Firstorder_plugin__Ground) |
| = 52d0f5809acf372ebd80de35d21d3672 | ocamlx(Firstorder_plugin__Instances) |
| = 47b23f042b961428cfa835f4ccfb90c7 | ocamlx(Firstorder_plugin__Rules) |
| = a36a0ce67b7c08a9a991ab450e8dce92 | ocamlx(Firstorder_plugin__Sequent) |
| = 51da86bf666f512b3c7b8b684cbfcfba | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = cfde860d5e6c1a079f94e5eac9338b13 | ocamlx(Ftactic) |
| = 963428bacbf1db3ddd339565877ea211 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = baf0513265ef4486ebdd3ce31c64af07 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 686ec327b3220b7ddea81cdaa040436c | ocamlx(Funind_plugin__Gen_principle) |
| = 6da68bf3d95ddc1b7708585fae5e6446 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 729ea8840a292aa003932a1d02c7b5f9 | ocamlx(Funind_plugin__Glob_termops) |
| = e12afc158050a425e2df097fc213bb80 | ocamlx(Funind_plugin__Indfun) |
| = c30e59bdfd8b9376353421d277148e5e | ocamlx(Funind_plugin__Indfun_common) |
| = 704c8e981957e2e87d87d6bfba535cfa | ocamlx(Funind_plugin__Invfun) |
| = b060a53e878f530949b60e2e372abc8b | ocamlx(Funind_plugin__Recdef) |
| = 56f42a8b50bc19a35f11caeaa141c9ec | ocamlx(Future) |
| = 6ca9f0ee83e43c4fd6d0b72147aeb882 | ocamlx(G_proofs) |
| = adbe63ae534d1feb33d89cee48eded50 | ocamlx(G_toplevel) |
| = 25bcc1bf1d2883ed8c44b5943ad176b2 | ocamlx(G_vernac) |
| = 215b7bd94baaa13b0dcb81813bb82726 | ocamlx(Genarg) |
| = 29e2daadd5f5d70f6db74646f15a14b7 | ocamlx(Genintern) |
| = f174899dd78798324d961c7f04ebdbc8 | ocamlx(Geninterp) |
| = 9a42bb74f480a6fad1ae62394081ee31 | ocamlx(Genprint) |
| = 69521eedd5605372e8fe8f44f518b2bd | ocamlx(Genredexpr) |
| = d9365aa154dee54bbe3e8c2a4cd8751a | ocamlx(GlobEnv) |
| = 1af34f84c634af469123eabcb5995245 | ocamlx(Glob_ops) |
| = aef0cac57bdb4186b8601098c352ef6a | ocamlx(Global) |
| = 2e2e8a62b8f23a40c03ca8b23d263936 | ocamlx(Globnames) |
| = 9082b4a629eea4b6d3c9258dc730d819 | ocamlx(Goal_select) |
| = cc672ba7a3c80f88f264d907ea9f07e7 | ocamlx(Goptions) |
| = c3b6b41157a26a83fd6b2c5b0f67c372 | ocamlx(Gramlib__Gramext) |
| = a22f873f4c6f2d5f39b72b48e8300dcf | ocamlx(Gramlib__Grammar) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 00bbffa84779e8a11f13eabb8ec5c409 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = 92021dc07913cef87e2a33d622c42970 | ocamlx(Himsg) |
| = aebd52418e8e1dd56829a73a283f8ae6 | ocamlx(Hints) |
| = e4c3685b17675e449479ca68b64d39d2 | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = 46a56adec5ba852e81a3fd326b14251c | ocamlx(Impargs) |
| = 489ae7bae7c83d991aef25af288801ae | ocamlx(Implicit_quantifiers) |
| = 1f37f28560f03bb0114c4eab5bb5c30e | ocamlx(IndTyping) |
| = 4baa1579f70e12bcbd3b0ead31956e70 | ocamlx(Ind_tables) |
| = 28eb6d5bcb86778c38a739786c8f4b8d | ocamlx(Indrec) |
| = 1b8189ff801a5efe008384b9dfb752a3 | ocamlx(Indschemes) |
| = f66bc6bbabd7bd26fe6f9020617ee8d1 | ocamlx(Indtypes) |
| = 3b34798ece8b452e8d3025622f306ce1 | ocamlx(Inductive) |
| = d759ccaf1038119830e845436da0c01c | ocamlx(Inductiveops) |
| = d003b33447d3778341409c9ae9f21135 | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = 30ae46370b7e22a8b96a96b1764992ba | ocamlx(Inv) |
| = b6da35d259c38d4af75b23d7ea875768 | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = 1975c6006890961c908f28b8dbc035c3 | ocamlx(Lib) |
| = f3354f5fd36582cc4b1f3402018305b4 | ocamlx(Libnames) |
| = af71b44cde0a6f1a447b1f84cf730dd9 | ocamlx(Libobject) |
| = 5bc4ca4033fd73ef738cdc5bce7605ca | ocamlx(Library) |
| = 6419b758abffec5212011638c20d3ee6 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = d6eeb5ae84471e2f313d7018634afc3f | ocamlx(Locality) |
| = 31db3307e42d3bf31e9dee3f675ca25f | ocamlx(Locusops) |
| = 0452228c88ac22e0edbc7e1a4008d824 | ocamlx(Logic) |
| = 41d43962040bf05fd04c22e850725e8f | ocamlx(Logic_monad) |
| = 5638ece1922afa6ffb43889263b725d0 | ocamlx(Ltac2_plugin__Tac2core) |
| = 818ff36c303f5657bfd741e657e3b826 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 02d0784250e11789aee6d12eabb26b85 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 395d38b0efc2f43e3d5b0a9ee56aa909 | ocamlx(Ltac2_plugin__Tac2env) |
| = d297f80146e3798b9c6a530ab0e7cf44 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = b144c40d6f5323abea4feb26dd70fc2c | ocamlx(Ltac2_plugin__Tac2ffi) |
| = baf09effe9dceb1695d5b8d998435789 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 926dd2ac897d27ca10ec0c4efdedefd9 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 9b45311a65a3e73252889b4936094e0a | ocamlx(Ltac2_plugin__Tac2match) |
| = ae48bd97b81cf42db79e525ef9e84883 | ocamlx(Ltac2_plugin__Tac2print) |
| = bf813727f3a437996e308dc0d2653a6d | ocamlx(Ltac2_plugin__Tac2quote) |
| = 4c34ff0673f812ddab2e86c7cc3113e7 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 7bd3aa56a76ae0a492169e1b1ba2d4d2 | ocamlx(Ltac_plugin__ComRewrite) |
| = d2a434ddb7c95f890e7bf421f85ac08a | ocamlx(Ltac_plugin__Evar_tactics) |
| = 02ef0373c51e10174949e45f72bddd52 | ocamlx(Ltac_plugin__Extraargs) |
| = cdfa295baf0eba331bec4fd30d305aaf | ocamlx(Ltac_plugin__G_ltac) |
| = efded9f75dc6397adad734288bc8b273 | ocamlx(Ltac_plugin__Internals) |
| = 515e59c504012f9b0000bad697635ac7 | ocamlx(Ltac_plugin__Leminv) |
| = c144c9cceecb8515445556eb948cee81 | ocamlx(Ltac_plugin__Pltac) |
| = 2820bdd11807e6827ca6bdf162aa3ea9 | ocamlx(Ltac_plugin__Pptactic) |
| = 675bf8adfa4bf39c184c143537fa7572 | ocamlx(Ltac_plugin__Profile_ltac) |
| = 58b77a1dbbcf8f55ad8abf8401b54a04 | ocamlx(Ltac_plugin__Tacarg) |
| = 771f2924ba31c4ebedc3c25644fcf6a8 | ocamlx(Ltac_plugin__Taccoerce) |
| = 7a6225c9415b1d8ef0c0fc04dcbdca05 | ocamlx(Ltac_plugin__Tacentries) |
| = e415da2e5d458f2457a19410b997b569 | ocamlx(Ltac_plugin__Tacenv) |
| = eafaf0fb6f03f4cf96ab746ea210fe01 | ocamlx(Ltac_plugin__Tacintern) |
| = 8893e2b6df74405d9673971e0f7129c2 | ocamlx(Ltac_plugin__Tacinterp) |
| = b932abe33b39f11a931582b9d3c2e489 | ocamlx(Ltac_plugin__Tacsubst) |
| = d57a38bc7b6f6243403da6406e33d815 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 5c5deb2410501a8ab6679fe575951c5d | ocamlx(Ltac_plugin__Tactic_matching) |
| = d07718dbf964df475650e585a58a2025 | ocamlx(Ltac_plugin__Tactic_option) |
| = 0cba9e2049dc327874fd536d21846af6 | ocamlx(Metasyntax) |
| = d2e22bab86bcb4f3df2284c833187644 | ocamlx(Micromega_plugin__Certificate) |
| = 7c95a6f2ec6a2612440cc203cecefd98 | ocamlx(Micromega_plugin__Coq_micromega) |
| = 3c1efc6a78da48defd1ccaf66b9465db | ocamlx(Micromega_plugin__Linsolve) |
| = b132c9f307a17827e41faaeb99364c38 | ocamlx(Micromega_plugin__Micromega) |
| = 560e42af649ba66dc7dbde89914b679f | ocamlx(Micromega_plugin__Mutils) |
| = 68591499b8757c14be6b7f15237bdd75 | ocamlx(Micromega_plugin__NumCompat) |
| = cf3b857fc40ea2870f77d9238be79de9 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 40dc9302c2706144494d2d1598e0f78e | ocamlx(Micromega_plugin__Polynomial) |
| = 527a0a7fefdf7ba09e79b0a71ded9ad7 | ocamlx(Micromega_plugin__Simplex) |
| = 304747db25007448fcc4afa8b347f1bf | ocamlx(Micromega_plugin__Sos_lib) |
| = 4913cd011145fe77eb41219be8b1cfe4 | ocamlx(Micromega_plugin__Vect) |
| = 5d0ef3cc2c45bc51a2f928cab13d5b9a | ocamlx(Miscprint) |
| = e72b99e97b34c00bcbb9d34bb00c4e74 | ocamlx(Mltop) |
| = 3249cf02492f1798a23566976730c647 | ocamlx(Mod_subst) |
| = af8bf3a26ee83c7f8230da0a4648b032 | ocamlx(Mod_typing) |
| = b9a822bfb79dc47b9a8eae082ccdac68 | ocamlx(Modintern) |
| = 8599ffd33a306e3a3ee80547718de11a | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = bcb90f32e1d0663edfa23f9b0f06493a | ocamlx(Mutex) |
| = 10189088cedfc16221811e51ec10fe69 | ocamlx(Namegen) |
| = 96d6271019d38919669a10cd6dbdcfb4 | ocamlx(Nameops) |
| = 1a4d954432461a44fd20e78cd3ee56c5 | ocamlx(Names) |
| = a44683b97b3678b8d6f79b49d501f0d5 | ocamlx(Nametab) |
| = c17d0426962a98295fddb7dff30020d7 | ocamlx(Nativecode) |
| = 4d17eb3a9d53f61f13b01120fd564850 | ocamlx(Nativeconv) |
| = 6dd6509d5ed42914364d74afc8f20a74 | ocamlx(Nativelambda) |
| = 48578b6d4e332d6fbcfac7a6cc60b031 | ocamlx(Nativelib) |
| = 530830d5f2b8e78c9fe5b79ca9b7963c | ocamlx(Nativelibrary) |
| = 273229951a291534e96dc0ab6542cd65 | ocamlx(Nativenorm) |
| = e9d24fbbfd9a8224482ba16fc3c48b26 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = 9a891e82a1725f26d5113ef1fa3c9751 | ocamlx(Notation) |
| = 9a45832705dd061c71fa0069402c1fb0 | ocamlx(Notation_ops) |
| = 6d7f90b0ca6c8d9d1efc3f2670da4d0f | ocamlx(Notgram_ops) |
| = afbeeb14f14441496e33f5817116c654 | ocamlx(Nsatz_plugin__Ideal) |
| = a9839ee03242714465035f090aa44cca | ocamlx(Nsatz_plugin__Nsatz) |
| = a4ed79849b2cb189199b24f782165ad9 | ocamlx(Nsatz_plugin__Polynom) |
| = e7811a2afadd2d2699763febc72603ca | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = f264ce3f0c4a23850f753082a482b7e8 | ocamlx(Number_string_notation_plugin__Number) |
| = 7bd4da216ae77c952de22e39dad78a65 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 3748bd898bf7289f7e0bb4f831bcc3f4 | ocamlx(ObjFile) |
| = 124f3037fa36400e1633f395148939d8 | ocamlx(Opaqueproof) |
| = 0a92b989c459cfc581d2aae87ef7549f | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 9b749193c6e9ae4544c7214d6a54c233 | ocamlx(Parray) |
| = 3fa6bf83a45766af12dc97a6528760b6 | ocamlx(Partac) |
| = 6d6ca1c082df6b461a4c68add473bfd4 | ocamlx(Patternops) |
| = 835cbe99d3cc0a21316d73ea3fac50af | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = 42758a9b504cfc73c60d74dfd5e65854 | ocamlx(Ppconstr) |
| = a2a45a34a8603d235008f99a74344b2d | ocamlx(Ppextend) |
| = 8668920c61dedc7e45b6a08bfc4dd053 | ocamlx(Ppred) |
| = 6fb10a874e690fb41564e8fe72b3c081 | ocamlx(Pputils) |
| = 471e246e096c8c9a97441de57eb38fa4 | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = 91689d9898ac510b041c15ce50ee9509 | ocamlx(Prettyp) |
| = bf802188fb3cc636399a0a8596b85d1a | ocamlx(Pretype_errors) |
| = 726084525b99f7c8cc3e2c6adcd944f5 | ocamlx(Pretyping) |
| = 8775a53456aebde45f54f1c9efb34a5c | ocamlx(Primred) |
| = 5268d29a8bb0d45dfe4b27abde9c711a | ocamlx(Printer) |
| = 03dbf84778d1a446bb5908812f389846 | ocamlx(Printmod) |
| = 9b23689536dfb2072cd0919c547097be | ocamlx(Program) |
| = c4fc01a026b93f713d94d3fb4cfb00ae | ocamlx(Proof) |
| = 4dddf6548ac54594c0e3aa720daf3303 | ocamlx(Proof_bullet) |
| = 6b2f5f8cd8ec4a59c65036564db44ae2 | ocamlx(Proof_diffs) |
| = 9f452766063734efcb80bb0edbe3f403 | ocamlx(Proof_using) |
| = a32d51a5a17728dc5a07e8b80b8098cc | ocamlx(Proofview) |
| = 8433ef92e83a6863c123e1bb3831d8a4 | ocamlx(Proofview_monad) |
| = b6ff24b1c7f2c1acf87813bbc4579fca | ocamlx(Pvernac) |
| = a713b639811e122e801cef65d324234e | ocamlx(Q) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = 7f4b6c24e1d830dbd1f903e530544ecd | ocamlx(RecLemmas) |
| = aa396e05dda743539a8d6ac4bdb7f3ac | ocamlx(Record) |
| = 19652ab6de41840d5dc93ee4ed74de76 | ocamlx(Redexpr) |
| = 156add0e47a77b6c1f7388575ee803dc | ocamlx(Redops) |
| = 74254e633db5efb720edf57f10bb06c8 | ocamlx(Reduction) |
| = c28f66aeb2f482aee4d8ba74bfa2e260 | ocamlx(Reductionops) |
| = bd378717c586ebc94fcbea1bbe0af872 | ocamlx(Refine) |
| = d30ca380bf738ac55f6fb002ed5b87cd | ocamlx(Relevanceops) |
| = 0a9e3e486d724046a17c0a8d43055e8b | ocamlx(Reserve) |
| = 98e8df391bff0e26b728fd1490ec4e3a | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = b73999efab73cab76622b8b18847e7f2 | ocamlx(Retyping) |
| = fb2ffd901b68c530e94553eb7a3037af | ocamlx(Rewrite) |
| = b415e884883db5a75f0a452cdf748911 | ocamlx(Ring_plugin__Ring) |
| = 0607ad2bc0e527fad54d51348800f3df | ocamlx(Rtauto_plugin__Proof_search) |
| = 1b9eca1825c4a3de4fc76bcf857a1593 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = 13f15685ee38a2bb85b10a46e3374b95 | ocamlx(Safe_typing) |
| = 545380be79c20b7880d091b0a0e25c1b | ocamlx(Search) |
| = 59d59614226161b9fec2dc93def3a3d1 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 743fecbb2e1119b2b507e50ecc72835d | ocamlx(Smartlocate) |
| = c1dd08944b954741c41e72576b99e4f1 | ocamlx(Sorts) |
| = ed61db6a9f6a338226249d6b4bea8341 | ocamlx(Spawn) |
| = 01351249e14c5e4dda9d729a82b03a0a | ocamlx(Spawned) |
| = 9f30d70fa20e88778a403a6277fb6065 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 91004600179b584a33ebf7c39fa1882a | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = bba649405bd943f10ed99add541864f5 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 55cd60745c38d535e46461334703607f | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 470b5756b2b3961dc2375260e698e6a8 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = e09fdb5f06f21e5b562403f643bc3834 | ocamlx(Ssreflect_plugin__Ssripats) |
| = 606c484c976232c2f7128e795f797285 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 930aa44fe3c291624899be18cbfca74d | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = a8cd677432ed54d5bb63121f99f76002 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 31d95bfd3addd4085d852b3c406ef4d0 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 52132eaa59483b3064e01d7415dc3743 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 5bea011d20ce4af6ddeb21e319dee681 | ocamlx(Stdarg) |
| = 38e227ea48015bcdfb5d9a4f1cb2689a | ocamlx(Stdlib) |
| = c17b2f7cf4a4cce9bfec4b26eec495f7 | ocamlx(Stdlib__Array) |
| = ec734da0dbd1f4871a6e468dd99f1edb | ocamlx(Stdlib__Buffer) |
| = e596dc3e9601d184f8fb9caa16ebc39e | ocamlx(Stdlib__Bytes) |
| = 10c8fcef55e12a07a1c4ab479d07547d | ocamlx(Stdlib__Char) |
| = b1afec0ae33fff7434ae1060305691f5 | ocamlx(Stdlib__Digest) |
| = 798ec24cbfd278de996827b3ee57f9af | ocamlx(Stdlib__Ephemeron) |
| = bb85b1b67a0eed0835203615c014e867 | ocamlx(Stdlib__Filename) |
| = 252dee0ca8b365189f2ed175e3779e3c | ocamlx(Stdlib__Format) |
| = f6f8c691124d6e7b9b9b3ca967644a42 | ocamlx(Stdlib__Fun) |
| = e35fd114c1210e06cfdf8cb8e368628c | ocamlx(Stdlib__Gc) |
| = ffa6c0b4e31fbd58c5b0b7fda03f991f | ocamlx(Stdlib__Hashtbl) |
| = 902c74c2fdd5555916320d907ba89f7f | ocamlx(Stdlib__Int32) |
| = 8a6af33b06c097c633dbf42a56b24bd0 | ocamlx(Stdlib__Int64) |
| = 7c884197066b622803d08bb919760f07 | ocamlx(Stdlib__Lazy) |
| = 55527cfeed14dbd1464fa9bc64111883 | ocamlx(Stdlib__List) |
| = f184f9d40bdaddd2e3d8a36b51d5f55f | ocamlx(Stdlib__Map) |
| = 3e832c8ffc49756e959e1c2d30cc4c09 | ocamlx(Stdlib__Marshal) |
| = f4a3fd2b3174036e9e913e92c4f7b2ba | ocamlx(Stdlib__Obj) |
| = 91d35af34dfc354f724931b058a14954 | ocamlx(Stdlib__Printexc) |
| = b5325f43d38afc618da7b0fb873c7faa | ocamlx(Stdlib__Printf) |
| = 2cf30720dec187835200485a0eda7f62 | ocamlx(Stdlib__Queue) |
| = 4e7342c0bcf9660dc77ca008890965fc | ocamlx(Stdlib__Random) |
| = 4e834bd2603425af3ac3eaddd89f0f4f | ocamlx(Stdlib__Scanf) |
| = c0158eea0410a85c8ad557c3d3358cd9 | ocamlx(Stdlib__Set) |
| = adbb9467e55324452b66f5e80904fd00 | ocamlx(Stdlib__Stack) |
| = c06c5446818c6057b30329436dd271e3 | ocamlx(Stdlib__Stream) |
| = 650b799d3032d2e3c133eae0b21c0f95 | ocamlx(Stdlib__String) |
| = 5c3bb467dddca8a9684f29a499f12938 | ocamlx(Stdlib__Sys) |
| = dfb096ede16e512b37567ba33be3fb3c | ocamlx(Stdlib__Weak) |
| = e0ea83e3b39173d0d04a776863a46a32 | ocamlx(Stm) |
| = c8a4e49ed9ac951339185d038c3b4276 | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = 88040aadd5ce239c39603ad24fe18862 | ocamlx(Str) |
| = e3ddc8e99dfa7b7cb663c0ef047b5ce9 | ocamlx(Structures) |
| = f46680e9ff1a3b10c275f6c680d3a179 | ocamlx(Subtyping) |
| = 2c3e57ac5f77a0653afb02a67b099650 | ocamlx(Summary) |
| = cd5ec0f72340ffc8667a93d253f5d676 | ocamlx(System) |
| = fd312fc347fa5fa92f7faae58b3ce47d | ocamlx(TQueue) |
| = de048bc49a9eebd0da161ca1a9d7cbee | ocamlx(Tacmach) |
| = 4e05408c12b78f9fa682ab6cff9f6c5b | ocamlx(Tacred) |
| = 9cb25c3f4f2a828c7ae4521f412311d4 | ocamlx(Tacticals) |
| = 9707f0717b10de9110fc111475ec7058 | ocamlx(Tactics) |
| = eadae04d27f5ddad7bb6ccc76bb352d3 | ocamlx(Term) |
| = a263a477a2a9156b666d2c779afd3d07 | ocamlx(Term_dnet) |
| = 059a70b744086581facc24125b294a9b | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = 6102ee20fd6a76b82175873653875387 | ocamlx(Termops) |
| = fa7df88b05f340906ceabd019abbbbe2 | ocamlx(Thread) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 50082f043cfdf9443802662232ea2668 | ocamlx(Topfmt) |
| = 0716e15a07dacd059e85235c3fddbf6a | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = 8e471fee8caa411f10a171a708a3a897 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 1679aae0d762f82fc0b57a30d251d757 | ocamlx(Tuto1_plugin__Inspector) |
| = dad9790c2b4c84e4c96b0bf63c8ffd13 | ocamlx(Tuto1_plugin__Simple_check) |
| = 22c4fd6342454c616582945f38d3375e | ocamlx(Tuto1_plugin__Simple_declare) |
| = 7695682e419660979511660761feef49 | ocamlx(Tuto1_plugin__Simple_print) |
| = 65bc59ec10fc134e9c5487806e2c1617 | ocamlx(Tuto2_plugin__Counter) |
| = 2b2d86b801b9ac943ac51318d847ee70 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = f14a4494935ace627788071a7a435581 | ocamlx(Tuto3_plugin__Construction_game) |
| = a76faec02b61ff4fa84d5fe65ed57e83 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = c478068c81b44c0413345487e49ee93b | ocamlx(Type_errors) |
| = 21d60f01c269a53f6c7b12904a3f97ea | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = 005360863012cf91ff48e0e3d2838a31 | ocamlx(Typeops) |
| = c91adb9c1ae033039e0edd019734b8cb | ocamlx(Typing) |
| = ced1d77790d545a6479436a4acf535a0 | ocamlx(UGraph) |
| = 45a346d5311f5216b2f473c259650527 | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = 6b34a96adad157997dc6390ecf05dd55 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 51696dbb092bac5cde2346c361267918 | ocamlx(Univ) |
| = 1f1ea1026eab80f6a9b45f7832232a9b | ocamlx(UnivGen) |
| = 25a160394f2a9149567c156aa9a11dc2 | ocamlx(UnivMinim) |
| = b98c9c9ee4575226118d0161a402be25 | ocamlx(UnivNames) |
| = 6cbdbb8049964883d470a04b3088c3c0 | ocamlx(UnivProblem) |
| = 323f9c5ae7e62cf60bcbcc7cf3e752ec | ocamlx(UnivSubst) |
| = 7ab988a5f1bc8761aa80f04fc8c5580e | ocamlx(Unix) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = df0447f472d2c84109ffc969ed82b5d8 | ocamlx(Vars) |
| = 9bb28618102df022e249c0fe1e10eb17 | ocamlx(Vconv) |
| = 5ba73bc3c293d48d0f1a100ce172b2da | ocamlx(Vcs) |
| = 5b54319ecf87893ccf175bc50146b958 | ocamlx(Vernac) |
| = 3b0f2abee71eeef9ff4927b8b47c8589 | ocamlx(Vernac_classifier) |
| = 84573fe521517327b75b9a937c01d3da | ocamlx(Vernacentries) |
| = 382019e86629565207c8efea7d3ba4f9 | ocamlx(Vernacextend) |
| = d734831d38860326012a30e35bcce82f | ocamlx(Vernacinterp) |
| = bcfabf9afb271abbcb1e2a7a99bfcd14 | ocamlx(Vernacprop) |
| = 02d67cc38887112dc60b6c8b8e8e7e69 | ocamlx(Vernacstate) |
| = 6c8848d6766a8cf11e4e71b90a0dadd0 | ocamlx(Vio_checking) |
| = 8c209370042da742a8d08b7541ecd243 | ocamlx(Vm) |
| = e1c8829cbfb655876b8f6cf20216888d | ocamlx(Vmbytecodes) |
| = 8b83d05848af32634fb013b40377038a | ocamlx(Vmbytegen) |
| = 27709d5eef621e9b88a6a12684e45614 | ocamlx(Vmemitcodes) |
| = 88ca3ccf892f020f694bcea2c077ebd1 | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 7605b80916ccd80818aaed59aa03f7f7 | ocamlx(Vmsymtable) |
| = e74efd8e75cfddbea4343cee11f4362b | ocamlx(Vmvalues) |
| = c2b7cdd9446d3b348ac245f706f8a502 | ocamlx(Vnorm) |
| = c329713e8a95f17efcdf2db2326fe92b | ocamlx(WorkerPool) |
| = e7f7461dc7287f7895b00fdb33dca6df | ocamlx(Z) |
| = fefef671650296b7c50d0bae0b4388c6 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.16.0-1.fc37 | coq-core |
| = 8.16.0-1.fc37 | coq-core(x86-64) |
| = 420597dafb0412b0906625f65b7b43f3 | ocaml(Abbreviation) |
| = 972a6adc1672c1380e598345e9bdd66a | ocaml(Abstract) |
| = 00edc3e526b6239e9ad4c9319eaaabd5 | ocaml(AcyclicGraph) |
| = 8d780748135c7ad38292a7b3ac0f53a4 | ocaml(Arguments_renaming) |
| = df89cf26bc6d8d05b99e08a9244c612a | ocaml(Assumptions) |
| = 8659dacb0d81bcd9fbe6e6ecd05f72c0 | ocaml(AsyncTaskQueue) |
| = 9c8311d65744ff7d706db174690b46c8 | ocaml(Attributes) |
| = 18ee6df02843f71d3f910a73cc86f876 | ocaml(Auto) |
| = 2e1c4ab60c73fbe6c30d14acc392f5b0 | ocaml(Auto_ind_decl) |
| = f8bc48db857f8ac735085dc8aa83010e | ocaml(Autorewrite) |
| = 4e5dbc641f72c02043546e93c1ea2f6f | ocaml(Aux_file) |
| = e8ae4f4bfba05286227b34e54f139ccb | ocaml(Boot) |
| = 97d41448dc05c5b355270889a0d2ea47 | ocaml(Boot__Env) |
| = ac08c04a2f1cc1e409f6b8dcb824b73f | ocaml(Boot__Path) |
| = 4f66991aa1cea092dd1feab74d9333ca | ocaml(Boot__Usage) |
| = fab86dce490de64d33c82242f0ebfc65 | ocaml(Boot__Util) |
| = 36b0a49258d4c9aec546d39f1208f6f8 | ocaml(Btauto_plugin) |
| = 29d4880693a67a1f0e1b46f4a9bff412 | ocaml(Btauto_plugin__G_btauto) |
| = 28e0bf9327ab99d94d58094c20908409 | ocaml(Btauto_plugin__Refl_btauto) |
| = d3ea095108ca95f312ef5da1c00ad3ba | ocaml(Btermdn) |
| = 3bf67d1381824155797389de8a32d728 | ocaml(CArray) |
| = b49a9e05558d074ce2420f1481d80d8a | ocaml(CAst) |
| = f4378b7e6756e2d51e034a1fb622833a | ocaml(CClosure) |
| = a0c286baa9a2b79d6bec187ce25083a3 | ocaml(CDebug) |
| = 7a5613ac8c99a7839b27f0eb26c409cc | ocaml(CEphemeron) |
| = f3bfdbcb718358cbbdf7269ef0ccc70a | ocaml(CErrors) |
| = c60c1257bafd2caf16fc08cc8a89eba6 | ocaml(CLexer) |
| = a742212da585b925999bb1e9c57f8886 | ocaml(CList) |
| = cbcf10800400dde7f75cbc0cc6a0a739 | ocaml(CMap) |
| = 4fd762cc7c643473774a33aff34a2298 | ocaml(CObj) |
| = 98ddda2b8661651d0ac1c4d2f3adc78a | ocaml(CPrimitives) |
| = e7a242dca7eab6c49aedfa12c0046fb5 | ocaml(CProfile) |
| = 10548a97a94e3c63dea0f824f53da608 | ocaml(CSet) |
| = 93d511bb9f97d6117a9dba3706ab0743 | ocaml(CSig) |
| = f53fe8692b6d16ecf125c5433c67ee1d | ocaml(CString) |
| = d334109d9ee65ffeb20d8ee23b070da1 | ocaml(CThread) |
| = 59f179ae315fc18388551aa9972e0dfc | ocaml(CUnix) |
| = b2d3b776c56c0156c3b4cab58c81ac40 | ocaml(CWarnings) |
| = 6a9abe970dedf55bdf6b397c19ced782 | ocaml(Canonical) |
| = cf7a81ae736db3f2a37cc19662f4fef6 | ocaml(Cases) |
| = 84dad22fdc339ed0e7be089e4509b7c9 | ocaml(Cbn) |
| = 948ea102091b6a8e7c4b0e1b62a3976b | ocaml(Cbv) |
| = f94cad302b97664378d2d97f989a1a60 | ocaml(Cc_plugin) |
| = b08a94e2e4c838268631e02b8f1131d2 | ocaml(Cc_plugin__Ccalgo) |
| = 47ef5c0a56fdbc0941ce73d0046719fb | ocaml(Cc_plugin__Ccproof) |
| = 3297962af6b7bee613be9662275b2efc | ocaml(Cc_plugin__Cctac) |
| = 03e27f8e2a9649c70cd9fbc67cce309d | ocaml(Cc_plugin__G_congruence) |
| = cbf7121ffe4a7d9642468cb05ab4fa7c | ocaml(Ccompile) |
| = 43714ab5d65b526f526983060b18773a | ocaml(Class_tactics) |
| = 0849bff350169976d6661ecf8c0a0d08 | ocaml(Classes) |
| = 7166460f08eb63080256e23e5fb5c167 | ocaml(Clenv) |
| = 56c8843825713a98c2731d70e4986d59 | ocaml(Coercion) |
| = 130ca2c374c3c95f2be07233a9fcfe6e | ocaml(Coercionops) |
| = d0f9844c2e2c3352cffae437250690f5 | ocaml(ComArguments) |
| = 20cdf574510ab9eb1308952312ff33eb | ocaml(ComAssumption) |
| = 6119173fad398a6e6a12b2b62329eae3 | ocaml(ComCoercion) |
| = 5fb0e71a6ec8f102fda4d4c6dbf643d7 | ocaml(ComDefinition) |
| = b38ad28ee4fe88d134a2c2691e23ec93 | ocaml(ComExtraDeps) |
| = 97358d4b231f95eb872fc52abc300d7f | ocaml(ComFixpoint) |
| = ad2c813f50a0b8eb05789c4dc928c592 | ocaml(ComHints) |
| = 39f85975b25aee1b8e535e0d1d2ce9b9 | ocaml(ComInductive) |
| = ab6908c682e766d7715044399b842e9a | ocaml(ComPrimitive) |
| = b4baeb08b384fb166b2e11345e1e6018 | ocaml(ComProgramFixpoint) |
| = be75ce7f6093f0fde2fe33724d2f8b0e | ocaml(ComSearch) |
| = a08901eb475fd5bd26c27679d799860c | ocaml(ComTactic) |
| = 9ca352bce78df900bce25f5e83b3e3ec | ocaml(Constr) |
| = bc3bc25e047804b0c2146f38c8baf57e | ocaml(Constr_matching) |
| = 0a1d3ceef956f29cc7dc137ca11d7f87 | ocaml(Constrexpr) |
| = 418e616a5df5c13bfb5ca9962193d077 | ocaml(Constrexpr_ops) |
| = 5af32acadc581f65a54da5afcd5b2c2f | ocaml(Constrextern) |
| = 97b95cdbaec7eb2886396200fc429e6d | ocaml(Constrintern) |
| = 233f361cbf25095b743d2afa636ee001 | ocaml(Context) |
| = 17710499fc288b647d485e984107779e | ocaml(Contradiction) |
| = 6e025b888b19ddde747c57ba35eb8296 | ocaml(Control) |
| = a9dd31ebef4b0f31606274cf6690f783 | ocaml(Conv_oracle) |
| = c511194cd3d1c75d0ec51fe57d5c4b93 | ocaml(Cooking) |
| = 8d4ce5876520fb1b857ce0b66885c9f0 | ocaml(CoqProject_file) |
| = 1f9c810a032fb9a136e70b90280eb879 | ocaml(Coq_config) |
| = 4a15203be310f2c59b0ef22c8d29618a | ocaml(Coqargs) |
| = ae9cdc97fc7c07c638b81cae3fb1f043 | ocaml(Coqc) |
| = 00fa781ef7408f34fb8df4e97b384ec8 | ocaml(Coqcargs) |
| = 08d53463e15b795abf9bb9ffb2e94a5a | ocaml(Coqinit) |
| = 2c95a5e907cb1568e1a7c1a9d070b1aa | ocaml(Coqlib) |
| = 13f0d13762fd2ca207fa68f6be4f41fe | ocaml(Coqloadpath) |
| = 788867ecf0c71ce995da64a7ef7e22c4 | ocaml(Coqloop) |
| = 4fbc11dc4422615a4cb879a70c15e18a | ocaml(Coqrc) |
| = fc0bcbda58d2f416905b23bfcb7dc570 | ocaml(Coqrun) |
| = 7406aac3df43f6624ef3974b517db9e6 | ocaml(Coqtop) |
| = 3c5e42d0ebc9405514b419d4f2d94f54 | ocaml(CoqworkmgrApi) |
| = 200e18cd5a7803d7333f2d1af38a214e | ocaml(Core_plugins_findlib_compat) |
| = dad4dc5e90d3a1f173b8fa9529571329 | ocaml(DAst) |
| = 16560e56668d1d1ffead040df4117bd9 | ocaml(Dag) |
| = 325c6798d51cd5912fc3a7f756f1c2ee | ocaml(DebugHook) |
| = af077788df86ae3c100cb12d0e433100 | ocaml(Declarations) |
| = 50515d5655d9fdf56b819fa36790df68 | ocaml(Declare) |
| = 42984d348ae777b60959a2725b38e9e4 | ocaml(DeclareInd) |
| = 471881a815a049a41f7e5519828915ee | ocaml(DeclareScheme) |
| = f7dd048fd033f6db0711d2438ebe43e1 | ocaml(DeclareUctx) |
| = 2e832a7a087246de5bdee9de92899c73 | ocaml(DeclareUniv) |
| = feae46dd7f816faac5d3a1d9b6695f56 | ocaml(Declaremods) |
| = b2ef71c3fa67ee203e496a2f6b902023 | ocaml(Declareops) |
| = 703781821a9f6fa92a858580f939bd9e | ocaml(Decls) |
| = cdadd928d3039e3d0b75f34481e7c04c | ocaml(Deprecation) |
| = 1ac090651dbd6f2d853bcd927bb44edc | ocaml(Derive_plugin) |
| = bb495b3a266ee5dbf7fdedd773f2afe2 | ocaml(Derive_plugin__Derive) |
| = 4651f4597c9b6eb0b541950e161cf0d5 | ocaml(Derive_plugin__G_derive) |
| = e1a2f4f4c8caaef8118ea6369f5fe10b | ocaml(Detyping) |
| = 9a10261f4bdddc27a461b743fe7f2ba9 | ocaml(Diff2) |
| = 4ab1a6a815084682e460ae95ad5ab2b6 | ocaml(Discharge) |
| = 24635dd44eb12cef1829d8be0d0dd117 | ocaml(Dn) |
| = 082355c6056f963a71a1915a1ed0d49e | ocaml(Dnet) |
| = 20e9106c0a8efd454cf20e46cba32b6c | ocaml(Dumpglob) |
| = fa3daa324553247018623840358472b5 | ocaml(Dyn) |
| = aec1ab28ede64377d193d2fc15de5e09 | ocaml(EConstr) |
| = 6370d8a19b0c9a7718fba5842ec0fd65 | ocaml(Eauto) |
| = b1c3145d553d47aea456f276cb38ead6 | ocaml(Egramcoq) |
| = 5c1aff6aa29932ef61514e54a24530a1 | ocaml(Egramml) |
| = 151e3690a55c649c629325cc812d27ea | ocaml(Elim) |
| = 3443e50fcb2cc2f6cdaf71459c64e4f4 | ocaml(Elimschemes) |
| = 72a73ac1bcf2406fcb0568e0723e2452 | ocaml(Entries) |
| = ef55ea6baa8ae2fbf29f80c75789f4c6 | ocaml(Envars) |
| = 81958cbbb97b08eb74f21205ecbe734b | ocaml(Environ) |
| = d15dc70a0dfe3c76ab3cdd6012c93856 | ocaml(Eqdecide) |
| = 524587f096a0b93b024f7224a9d0437f | ocaml(Eqschemes) |
| = 7a649f9b216dad739e837c87f77a3af8 | ocaml(Equality) |
| = 746f3c41caf469b8602bbc0673a9de61 | ocaml(Esubst) |
| = 156cdf64bb05c4ab0c4051f998dfab52 | ocaml(Evar) |
| = eb698fadadd600269e0ee8549be9900b | ocaml(Evar_kinds) |
| = a2a426819a1c9723fdb2c2630901cd62 | ocaml(Evar_refiner) |
| = 9d0ed0c25581d922599355cb62e0515e | ocaml(Evarconv) |
| = fe8ca9cf716175388b4409c03e17658c | ocaml(Evardefine) |
| = 3428df78067bc43360db82565604d135 | ocaml(Evarsolve) |
| = e498f9d920d45be1f78891569f3d02e5 | ocaml(Evarutil) |
| = 7801c47db8f2d9004d9cee2602a72d51 | ocaml(Evd) |
| = 766d613c58c5e25783f49ff1e5b36922 | ocaml(Exninfo) |
| = 8f3d3aee03298d6f7ff2c8b208ad0498 | ocaml(Extend) |
| = 7d494cc7ed3b38f849f2a9ed1fd9f89e | ocaml(Extraction_plugin) |
| = 2677b4316cd66d0a80bf553e65ffbafb | ocaml(Extraction_plugin__Common) |
| = 557abedb34df632c626b3974b9d9a9ff | ocaml(Extraction_plugin__Extract_env) |
| = c81d28780c6e34232924dc640b522df0 | ocaml(Extraction_plugin__Extraction) |
| = ef4e75fef750c81d3010d5205c8c6733 | ocaml(Extraction_plugin__G_extraction) |
| = b8ba73cb9d741ac5294ec364fc550a0d | ocaml(Extraction_plugin__Haskell) |
| = 730158f16e2ad36dee9a5e318946bd84 | ocaml(Extraction_plugin__Json) |
| = d2daf1f684cf83b41f09829d7f2b7552 | ocaml(Extraction_plugin__Miniml) |
| = 974499eaadc997249cfc96f0fbfdfabc | ocaml(Extraction_plugin__Mlutil) |
| = d3d8d69f12153e4555f4e315684e046f | ocaml(Extraction_plugin__Modutil) |
| = 6f522e0e8dfc7b74d2f1e7f7e8b615b7 | ocaml(Extraction_plugin__Ocaml) |
| = 87d11cbe8ff819f3e95934c271c893ff | ocaml(Extraction_plugin__Scheme) |
| = 8d6ab3ccf270a1b95c298e39cca5f08d | ocaml(Extraction_plugin__Table) |
| = b430e30282f28df06f85bc6c5a2d4f3e | ocaml(Feedback) |
| = b8e1b1bcd1fe2af0f5efe4d42aae93db | ocaml(Find_subterm) |
| = 6267beb6dfa150a45646ad9c19f3d503 | ocaml(Firstorder_plugin) |
| = 9f1ced998d2a291c9071511dcf3cf813 | ocaml(Firstorder_plugin__Formula) |
| = 5ed577e2043be537ba24396334d0424e | ocaml(Firstorder_plugin__G_ground) |
| = 6bc98d9a803eae552c0af502d9a77ff4 | ocaml(Firstorder_plugin__Ground) |
| = 31ff0deb1f4bca4450e5c7708e176ded | ocaml(Firstorder_plugin__Instances) |
| = 2622dc299784d74a128775b95ca6949f | ocaml(Firstorder_plugin__Rules) |
| = 33ecc3ab0d4d8cbb72e1caccadef5bd9 | ocaml(Firstorder_plugin__Sequent) |
| = 909821ef99c0034b33c6860accc7b6c6 | ocaml(Firstorder_plugin__Unify) |
| = 1f621f6f17d3899a3435ff3e9d5f2ef6 | ocaml(Flags) |
| = 712fa5d21be885f62f4afb0c1b2e620e | ocaml(Float64) |
| = c4fcfb496ea89ff8b1f8cf244b6d40f1 | ocaml(Float64_common) |
| = 235bc69fea943bef8593f9b00b9d5d50 | ocaml(Ftactic) |
| = 477b04cef03af8ba71ed700bbaf00199 | ocaml(Funind_plugin) |
| = ee95702eb600cfc4bdfd2317a0ca6148 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 684a088e2420f57ea5e66b9e8671d8d6 | ocaml(Funind_plugin__Functional_principles_types) |
| = 328c9d6869718ba584a18a28c5131232 | ocaml(Funind_plugin__G_indfun) |
| = b8ea43ec8dc691348a547487ab1d5c4e | ocaml(Funind_plugin__Gen_principle) |
| = cff1256359ec492c5a18194d89770f02 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 49d76c46a1599bbef803337bcd20fb58 | ocaml(Funind_plugin__Glob_termops) |
| = 1e9ba2e96a1a96bdae8f432a67cec55e | ocaml(Funind_plugin__Indfun) |
| = 64ad5650d148ff12f77940f8887cb194 | ocaml(Funind_plugin__Indfun_common) |
| = 1efeb8db04eb63d1025e5bba98d4c414 | ocaml(Funind_plugin__Invfun) |
| = 8c390ac5f06d4db94222865a6ceb7c5c | ocaml(Funind_plugin__Recdef) |
| = 4b0363951dc2308b41080b1959cbd2f8 | ocaml(Future) |
| = 7a0613286b0065912d96d128cf376bee | ocaml(G_constr) |
| = f1151d6f8a63f69543ae1b0a6d1b2544 | ocaml(G_prim) |
| = 92a3d7f9235e02802469398f948d5c3d | ocaml(G_proofs) |
| = e54acbe7e71d10bf02c8c46d44b80e28 | ocaml(G_toplevel) |
| = 9ea5b298211a2aa2e102c9660e5bbe90 | ocaml(G_vernac) |
| = 780092994952b6af4488c174bbc204bc | ocaml(Genarg) |
| = f9c42c5b2c5681eaf7e0e49808e93ddd | ocaml(Genintern) |
| = 3425ad20575082d95c850c333be60921 | ocaml(Geninterp) |
| = 092559a8daae9547da5b338d63d62f84 | ocaml(Genprint) |
| = 626bb52775c1748e2c3bffbc6b812083 | ocaml(Genredexpr) |
| = d745ee6d77006ea2b750c1b41da66134 | ocaml(GlobEnv) |
| = 72974471aa15f3cca820654475d61f32 | ocaml(Glob_ops) |
| = 4533a1278fddf471cfcbda9e5b5232db | ocaml(Glob_term) |
| = 42f2e82accd666c47e4f9963a75f6ea7 | ocaml(Global) |
| = 0cde525ff2938a030d830223839482ec | ocaml(Globnames) |
| = 6c36abc34e3c0219300bf334533445bf | ocaml(Goal) |
| = 5303e7040d3cbac08b6a3602be100ecd | ocaml(Goal_select) |
| = 532e5d7e6f0744645df21a2de260a413 | ocaml(Goptions) |
| = 49f2ec40e5ddfef8a1c60e6a72123dd8 | ocaml(Gramlib) |
| = cceadee5ba8287671304df971ae88da1 | ocaml(Gramlib__Gramext) |
| = 5f1a768cb2e6988d339c385f733c0143 | ocaml(Gramlib__Grammar) |
| = b8133aac91b79d4ad41ed01ab52880da | ocaml(Gramlib__Plexing) |
| = 46d58cc9b563a841672729abe6d0cad1 | ocaml(HMap) |
| = 04171b8e413a80692dcbea1031ff4542 | ocaml(Hashcons) |
| = b5af2da2ba0f0aa4ffcd46fea97b6074 | ocaml(Hashset) |
| = ae839d8ae1693169aceb1c2e64abd9c1 | ocaml(Heads) |
| = 2aefd1b638f70af1e11989a330f0b5f6 | ocaml(Heap) |
| = 76a1b67e644044e04312020e7efed39d | ocaml(Himsg) |
| = 3a9a0ec6a732148db08f2b90c9dbe88e | ocaml(Hints) |
| = 7aa5f74eebdc7c41fdbb35877a0c8346 | ocaml(Hipattern) |
| = afc10af2a433f78a0df71272ef5bb0eb | ocaml(Hook) |
| = d54b665e7587655483f91f44902d1f5f | ocaml(IStream) |
| = df2b410f42f3aba42107bfd927a4c601 | ocaml(Impargs) |
| = 6e4f1428b681732de1c97c5a9b817d87 | ocaml(Implicit_quantifiers) |
| = 7fd0a95867733a6f1f332c3b6afe4c29 | ocaml(IndTyping) |
| = 4c7455db4b1d8ad88f5f4c8bf6402af2 | ocaml(Ind_tables) |
| = bee3595fe637a02a7d8e46aa6ba68294 | ocaml(Indrec) |
| = a3255fb7501d600a4ec4e32942189de5 | ocaml(Indschemes) |
| = dd582593e5a1ba206cddcf2923655798 | ocaml(Indtypes) |
| = b086ff05d829c607f8425835f6844df3 | ocaml(Inductive) |
| = 88feb584272b6994ff428b275bc6015c | ocaml(Inductiveops) |
| = b35aecd957a5d4de7423ee414afc357f | ocaml(InferCumulativity) |
| = c638a3a3a3350b9a3cd3aecfc1548b44 | ocaml(Int) |
| = 87df5e4766260236b23c453288e9777d | ocaml(Inv) |
| = 53b528fb167dd297bf9b2ad4fca98115 | ocaml(Keys) |
| = f9950e89686bd059defd6cda6a25c5d3 | ocaml(LStream) |
| = 64a196b7833437ec6921775c5de57961 | ocaml(Lib) |
| = 7e72e6b9f7e5a2d16c610b7149eb377c | ocaml(Libnames) |
| = 33613ae7ae8a9f294163246e5c7d4133 | ocaml(Libobject) |
| = 57e9260b34f664211989bcc3e99909b3 | ocaml(Library) |
| = 1c590b83f1dc869d713b2eb2d309fbd9 | ocaml(Loadpath) |
| = de5fd01aaa49ae97f2332d9b30807adc | ocaml(Loc) |
| = b91e1cdf8560a02599ec3b484a0faa53 | ocaml(Locality) |
| = 538f0877836f01a1775f356c6266d0ec | ocaml(Locus) |
| = 6c2d720a06ffb9566228a1ae4014a169 | ocaml(Locusops) |
| = 13c4bebf9827283a2773b474406ee42b | ocaml(Logic) |
| = ad1c2d56a37c94474486c95b0b560584 | ocaml(Logic_monad) |
| = 6003858db04cd42250ba1bba3d715894 | ocaml(Ltac2_plugin) |
| = 7441004ffc5703c49c7e8c5827170e33 | ocaml(Ltac2_plugin__G_ltac2) |
| = ab0bb2879f762f640a390dfb5255d45e | ocaml(Ltac2_plugin__Tac2core) |
| = 32c9e1137345bb2448b1b4b2a83a6973 | ocaml(Ltac2_plugin__Tac2dyn) |
| = 6cb71431b99a57fb690ec87a683ded3e | ocaml(Ltac2_plugin__Tac2entries) |
| = e15e0caddaaa677c501cc6483029efc7 | ocaml(Ltac2_plugin__Tac2env) |
| = b9f2befaaf66b5b7e605db0828027e76 | ocaml(Ltac2_plugin__Tac2expr) |
| = 07c71c50ed1cbf174f157a4da537d846 | ocaml(Ltac2_plugin__Tac2extffi) |
| = df35daa2225e1451b71cd0761e629d26 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 490bd474d7e72a9a8e1d9e13757c051d | ocaml(Ltac2_plugin__Tac2intern) |
| = cb36f759ba7bfa7e644f632a3fcb7fb9 | ocaml(Ltac2_plugin__Tac2interp) |
| = 54284665a2f5748fb8ac5964831cc333 | ocaml(Ltac2_plugin__Tac2match) |
| = ace63425ac98abb66d981e13a615a445 | ocaml(Ltac2_plugin__Tac2print) |
| = fd905b6c2d8af1f39001d10020d4c407 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 781aef67dfe9c5b964ef22cec74ff0a8 | ocaml(Ltac2_plugin__Tac2quote) |
| = bafb212b7cc5620b3cbd2f55c7a087f3 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = 1c1f4a87d8754387d20e8e7c3a689127 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 3ee5b6d9a8221cdaa5271b349f0b9d65 | ocaml(Ltac2_plugin__Tac2types) |
| = 7df366cd4450321fc21159ff68115c18 | ocaml(Ltac_plugin) |
| = 7862b3c490d66084278f856a9a696610 | ocaml(Ltac_plugin__ComRewrite) |
| = 8319d4ecdfa85afd87fff24d4b79955b | ocaml(Ltac_plugin__Coretactics) |
| = ac7649bacfc54217b3726abd8ba2eefd | ocaml(Ltac_plugin__Evar_tactics) |
| = 32802bb44cebd4d7aa11496d2a7b89d9 | ocaml(Ltac_plugin__Extraargs) |
| = d4451ecdf7fd6c8c477701b85c23f75e | ocaml(Ltac_plugin__Extratactics) |
| = 90f731840d5ddf80bcd2188509656dee | ocaml(Ltac_plugin__G_auto) |
| = 88f18a0438a36762379fcbd83e4a0f04 | ocaml(Ltac_plugin__G_class) |
| = 5b73db2704b2108fe7c90113f0c3ed94 | ocaml(Ltac_plugin__G_eqdecide) |
| = cb95f6bdce7de27f6c1dbab18b84d725 | ocaml(Ltac_plugin__G_ltac) |
| = 1348e02c46652af41a2cac3ffb89efe2 | ocaml(Ltac_plugin__G_obligations) |
| = eca154a94717992413547a3b4afdd68b | ocaml(Ltac_plugin__G_rewrite) |
| = 1c5415495d0d0d922502c47274659fbf | ocaml(Ltac_plugin__G_tactic) |
| = 830affcc256498d0d01910df2b1e78d3 | ocaml(Ltac_plugin__Internals) |
| = 7d5c31c53498df384e9cf33699c13a97 | ocaml(Ltac_plugin__Leminv) |
| = fdea3bfd843a6884b52b44b5b182fa67 | ocaml(Ltac_plugin__Pltac) |
| = 107f9608b253eb0c2c03dd51a5c31ebd | ocaml(Ltac_plugin__Pptactic) |
| = 5f42700b3739e74db8f0006aeb46a0ec | ocaml(Ltac_plugin__Profile_ltac) |
| = ecb7c15c9b3c1b3c4f27b52dd04505b8 | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 914c6f680894df96a08d1605def5b5a9 | ocaml(Ltac_plugin__Tacarg) |
| = 7843e413a27cc23687cf19b04f6d88bb | ocaml(Ltac_plugin__Taccoerce) |
| = d79565bb0bdf241fe57ffff29b9f05b5 | ocaml(Ltac_plugin__Tacentries) |
| = 67e1bdf7baa5bdc0c6658f537f241ff5 | ocaml(Ltac_plugin__Tacenv) |
| = db03a7b8c07c50868303ed8334ed82e0 | ocaml(Ltac_plugin__Tacexpr) |
| = 4b53cc9dcbcf64616b1cb9d81e04b5c2 | ocaml(Ltac_plugin__Tacintern) |
| = f057a4f45fb07340e0e8844b2c99392e | ocaml(Ltac_plugin__Tacinterp) |
| = f7b4e760d6387d3a44aa62f54dbb1013 | ocaml(Ltac_plugin__Tacsubst) |
| = f4e8deb826de3c96b31b19a548f1249e | ocaml(Ltac_plugin__Tactic_debug) |
| = 85267e743f7289c9af9f6e32135d91ab | ocaml(Ltac_plugin__Tactic_matching) |
| = c107412336e1c51d1f30c37e887d6b79 | ocaml(Ltac_plugin__Tactic_option) |
| = 1a5459876be0aa010ebe6bdd23c6fd37 | ocaml(Ltac_pretype) |
| = 47a92a3248e359a421627ee6c43007a1 | ocaml(Metasyntax) |
| = 3109287404c2cab8de725ab4c0edd481 | ocaml(Micromega_plugin) |
| = 85a2a65839db54e3b7eb0e7b75c0c653 | ocaml(Micromega_plugin__Certificate) |
| = 800ea6574a0deacabdc4a26c1b68d9c8 | ocaml(Micromega_plugin__Coq_micromega) |
| = 5eae51a15e6b9a469ddcd827bcaf8fcf | ocaml(Micromega_plugin__G_micromega) |
| = c1ba79e6d489268738330e0d9ebe3803 | ocaml(Micromega_plugin__Itv) |
| = f887ba302ad57cfd74ecceb54f93ca0c | ocaml(Micromega_plugin__Linsolve) |
| = f92b4cac9f443839b1fd033e90bd94b1 | ocaml(Micromega_plugin__Micromega) |
| = 124f7df6a43d90c1a1501bbf817733fa | ocaml(Micromega_plugin__Mutils) |
| = 129cfa827358628f55c4b6833ec95dba | ocaml(Micromega_plugin__NumCompat) |
| = b4ae1739c93ce13857ec58f928b2d932 | ocaml(Micromega_plugin__Persistent_cache) |
| = e8848d938f6e46de93d27011521c11d9 | ocaml(Micromega_plugin__Polynomial) |
| = 9b2002802ddabd5c4c388477615d1498 | ocaml(Micromega_plugin__Simplex) |
| = 13dcf98dbb95973cee2d78186501169d | ocaml(Micromega_plugin__Sos) |
| = 2ec98bbf51e7cecd1ac269c30d783704 | ocaml(Micromega_plugin__Sos_lib) |
| = e78ffadbd99b0415f9ef68ce9bc030ae | ocaml(Micromega_plugin__Sos_types) |
| = 06b1789ffca7853552bd33a0e16f27d7 | ocaml(Micromega_plugin__Vect) |
| = dead541e824ffaa9f6b36a443ebdf101 | ocaml(Miscprint) |
| = 04b802c6f617661d63eb8adfe76b0100 | ocaml(Mltop) |
| = b56a185b9f7bb6f0f0f519c06bf981db | ocaml(Mod_subst) |
| = 326e1f8d63d788f9830f3d1770478bfa | ocaml(Mod_typing) |
| = 8c9ef6e6ad38e46d6187cebd47dab344 | ocaml(Modintern) |
| = 2f5106a546728c8a9dc308a95876078e | ocaml(Modops) |
| = 665dc43189395fc9dd11ae2ce199a30c | ocaml(Monad) |
| = 0a8addd4f715e43f63deeddff67666bc | ocaml(Namegen) |
| = 0370e4e902f299a0a716b28375cf67fb | ocaml(Nameops) |
| = 0b6c349e44c595f40356f60ca49fa766 | ocaml(Names) |
| = 939eb1b5d6f3dab8fc7aa53d76f8cd46 | ocaml(Nametab) |
| = 02dbeca2f7bfac8ee80f221d7d1bcb8a | ocaml(Nativecode) |
| = 60d8b9f9f4561c30226973b77f29c919 | ocaml(Nativeconv) |
| = 219578857e7b319faa4d145a4fa5ff68 | ocaml(Nativelambda) |
| = 7b23ee7251439aa612f59354c020ea67 | ocaml(Nativelib) |
| = 0f113430f9645d3876eba86e526ed5ea | ocaml(Nativelibrary) |
| = b6141c50b88274d770d746174ed6a19a | ocaml(Nativenorm) |
| = 151356e5f71c48ba131e257d7b5d6b0e | ocaml(Nativevalues) |
| = 8c16d763a4d226fa85aaed7a7a776bf3 | ocaml(NeList) |
| = 6687290488ca913493273e35ec9140c4 | ocaml(Notation) |
| = 26cc7b8a624df72d8a961e49bbd4c685 | ocaml(Notation_gram) |
| = d0e23d53b27691b62480a8ce4af6f3da | ocaml(Notation_ops) |
| = ba7e10bd6c980ba842674b92c4fd32b8 | ocaml(Notation_term) |
| = 5ad0725bfd91e5e599692ee3cdc41174 | ocaml(Notgram_ops) |
| = 367265c8d658228901b17d44b3994471 | ocaml(Nsatz_plugin) |
| = a9ba8b3e58d4af8de146202a4585770c | ocaml(Nsatz_plugin__G_nsatz) |
| = 745188e75c8d5e27ba5d124a52610c46 | ocaml(Nsatz_plugin__Ideal) |
| = 1d1447b63f4059613156940faf20e246 | ocaml(Nsatz_plugin__Nsatz) |
| = 8574e83ab0c56be8f43ffff9fb8df9b8 | ocaml(Nsatz_plugin__Polynom) |
| = 7d67000fe0040a5a1e2926232048e809 | ocaml(Nsatz_plugin__Utile) |
| = 919d150c66ab68cf4c64598cc40be9c3 | ocaml(NumTok) |
| = abe6daf99843075855600176ed329cee | ocaml(Number_string_notation_plugin) |
| = 669bed50f043b66917f473e6cc270163 | ocaml(Number_string_notation_plugin__G_number_string) |
| = d560cc4cf07ff534da923f83caddc52d | ocaml(Number_string_notation_plugin__Number) |
| = 123d97c5745d0c1fef510f3fbdfdc3e7 | ocaml(Number_string_notation_plugin__String_notation) |
| = bf14320ff736e5a8a90a032f530c117b | ocaml(ObjFile) |
| = b1745fe14cd37c212d34eea094f1b8df | ocaml(Opaqueproof) |
| = 8abed5317fc879dbf8d6ab6b78ee9461 | ocaml(Opaques) |
| = 7b9ac55e8491af63e4054f2b26a988dd | ocaml(Option) |
| = 4891df34c3feb2be05e373d13345549f | ocaml(OrderedType) |
| = 3587b91abccbee918d16a0ecc7071866 | ocaml(Parray) |
| = 498da8fff55fc0d593e98821859c0054 | ocaml(Partac) |
| = bf0feb2b99812624585018290a94c3e7 | ocaml(Pattern) |
| = 8f99781c06995f38b81f348e933ef80a | ocaml(Patternops) |
| = 30a4ee789831680c39f99302f3402899 | ocaml(Pcoq) |
| = b42c7d685f7cf8e56cb9e5cb72b082aa | ocaml(Pp) |
| = beda2e1f4057227b8c5a80f2084dd57b | ocaml(Pp_diff) |
| = ad5c40eeffb62d378e92846c773ae25e | ocaml(Ppconstr) |
| = c66b14a7d4dd58e29bf6b63c5c4a043a | ocaml(Ppextend) |
| = c4ff8d8e3cdfc87169bdcd82183225ff | ocaml(Ppred) |
| = 701b29514a3f59ab6ac3da555ee1bbdd | ocaml(Pputils) |
| = 40d9095fab82ed95c204afc030f8ce39 | ocaml(Ppvernac) |
| = e10f527c1e68b4fcf4187c345bdd22e5 | ocaml(Predicate) |
| = da011f47db15648d1921b7ee98e96149 | ocaml(Prettyp) |
| = 4f0e6bee2956221e0d19c7a4d6232f5b | ocaml(Pretype_errors) |
| = a6903cb3010cce9b1b538151878854dc | ocaml(Pretyping) |
| = 97ca1d481f50c1c9701babd2fd24fa01 | ocaml(Primred) |
| = 1508d255db0d0f15754cef32e692257a | ocaml(Printer) |
| = a149b8d341f58a9ed12d0b9640d7e7bc | ocaml(Printmod) |
| = 2624aeedf972f229030473e90e66f802 | ocaml(Program) |
| = e0acf16fbe54fc07c8509cc29dd691af | ocaml(Proof) |
| = d4231cd59ef7cdd50eb3b6ada466095c | ocaml(ProofBlockDelimiter) |
| = 63ceb96c0edba9cad504d0db9cf381d8 | ocaml(Proof_bullet) |
| = 5b4a14e9ee97f49f21641d79a760a9fe | ocaml(Proof_diffs) |
| = 0e6b867bb35f79d409de49d232158d61 | ocaml(Proof_using) |
| = 3d6152dfc2a51be0829e6bb46552105f | ocaml(Proofview) |
| = 7f12467494a6d7b1e7a1ad7c434aea2d | ocaml(Proofview_monad) |
| = 1851fe26b4a9ac0a8bc026b857dc4b3e | ocaml(Pvernac) |
| = 346d147227354e938de6b932d04d6b3d | ocaml(Range) |
| = 7c37241cff05db7ac0a1329193879e09 | ocaml(RecLemmas) |
| = 395d7268652e7b9d171d02c26be239ba | ocaml(Record) |
| = 358ce56fbaf02036c310a0dc80dceee1 | ocaml(Redexpr) |
| = 533475064ea107f3705bfe9ddb2d9ffc | ocaml(Redops) |
| = 3523f631320a31383fd961d753a8e437 | ocaml(Reduction) |
| = 589f659dcd35d95083d18864277f803b | ocaml(Reductionops) |
| = 38cbc3a1c87f430244465ba02a3f670e | ocaml(Refine) |
| = 0dc4460587e822b7317f3d06ba93ac1a | ocaml(Relevanceops) |
| = 5c7a8afa4a7a2efc34a56915ea56d9f8 | ocaml(Reserve) |
| = 25482df7bf0c95ee7a7420fdc7b077ff | ocaml(RetrieveObl) |
| = 921f47b24ba103d9c6a00670a3a8a6c8 | ocaml(Retroknowledge) |
| = 903d124e51a22bd2a47af1c46401859f | ocaml(Retyping) |
| = 053c386ec826f0c3cc95bbc663b2e66a | ocaml(Rewrite) |
| = 23cb081881776a66a7f5539e77d0528f | ocaml(Ring_plugin) |
| = 897965d8515e7a19e237acabe4ab85b4 | ocaml(Ring_plugin__G_ring) |
| = 8dec7d911b8640ad844c40a9506a5a62 | ocaml(Ring_plugin__Ring) |
| = 8bf8f13d56dd035d227a563725c6b9ba | ocaml(Ring_plugin__Ring_ast) |
| = 6a972b3ff0e2f0e1e00d078be4cdb0e3 | ocaml(Rtauto_plugin) |
| = c83d11d4fb01d6bbb66b6a2d4dc42bc5 | ocaml(Rtauto_plugin__G_rtauto) |
| = b1a090fba002915c625dab77122eb718 | ocaml(Rtauto_plugin__Proof_search) |
| = 592092c6dc6e41e93c33f1a93a254861 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3aeff8b2ebba7f5453fc613375ce0644 | ocaml(Rtree) |
| = 2cfd62ffab10a60ce3b0d9eae3e38881 | ocaml(Safe_typing) |
| = 663f18873ffa3dc0d069b7fe4d96b45b | ocaml(Search) |
| = 68f3c3d655a9890cf3b21f6b34e3160c | ocaml(Section) |
| = 337bb647a888ea0c9125623868569cb4 | ocaml(Segmenttree) |
| = e08da763e5283989ddc6112eb15a2438 | ocaml(Smartlocate) |
| = e73c70ce289f5c49f0cf7f5a0ceeefc2 | ocaml(Sorts) |
| = c1a3be0477269ce70618bb7f5c7aa55c | ocaml(Spawn) |
| = f280c21aaaba80feda308d7f28940ff2 | ocaml(Spawned) |
| = cbb0b00f84f68baeaef150719a25583d | ocaml(Ssreflect_plugin) |
| = c59335353fd407813ec94554fd1fd19d | ocaml(Ssreflect_plugin__Ssrast) |
| = 5f05e161434831370e9fffc618b053aa | ocaml(Ssreflect_plugin__Ssrbwd) |
| = cf646a48644671d515aa1bbe3d475ba2 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 4338e5d8944055936152bb3409cb07ca | ocaml(Ssreflect_plugin__Ssrelim) |
| = d8020755c5f13cd69ada8eca975bd6db | ocaml(Ssreflect_plugin__Ssrequality) |
| = c6a7de212a82cc05b53088967e27e0f9 | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 0b6c89ea25f6dd09c0ef8a7be169a231 | ocaml(Ssreflect_plugin__Ssripats) |
| = 3a2558fcb2a3791cbb93a45b46ed40cb | ocaml(Ssreflect_plugin__Ssrparser) |
| = c0673d4b90ef445ee20b5ae714eb5517 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = a94e7c266a7691e87b41093cc36ac4ae | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = ee60bc5e1a384c959b2d04b4ea6b3296 | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 77c8815cedf7167ec319e5ff21e1fa81 | ocaml(Ssreflect_plugin__Ssrview) |
| = 20e402419bff304b3593e19d0ee35c63 | ocaml(Ssrmatching_plugin) |
| = 0d321e02e50644ef5eb6303576045830 | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 668a23919be6745b246370aecd65f2cc | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 2716c53d22d49b3691aabd4d9372d505 | ocaml(Stateid) |
| = 9919abd709603092de7b5aa43fa0e8ff | ocaml(Stdarg) |
| = e9771057e3147fe83744d71535a360c6 | ocaml(Stm) |
| = 9fc84b7552fc54f364171596e4efd59a | ocaml(Stmargs) |
| = 918c3a10b0813c8232cd62d2f408caad | ocaml(Store) |
| = 349c9a69e789e6bd020acecb69ee10be | ocaml(Structures) |
| = d6a8dcb20483df9e8e3c73cbdee5b45f | ocaml(Subtyping) |
| = c563d6bd180e6b78f0f0ca461607f4bd | ocaml(Summary) |
| = b3e9b3d056daa7e94d68843d3a2dea05 | ocaml(System) |
| = 75583c8b9138370da63822c25266c3ba | ocaml(TQueue) |
| = f589b85b22b5f00627cf4d9f6681e407 | ocaml(Tacmach) |
| = 1bcf5d6b2d87bb2d7696492a83cd30ea | ocaml(Tacred) |
| = 87cde9a3ed05f21524a5e0190cfd0bb7 | ocaml(Tacticals) |
| = 34eb6eacaec827fb614cac476b2bafa9 | ocaml(Tactics) |
| = b9e19e5a5f9b5b90dd92fc062230a5cb | ocaml(Tactypes) |
| = 880fe92067bddc823d053328ba1a83f5 | ocaml(Tauto_plugin) |
| = 349c1525b6f814ab8fa0af79099ba65b | ocaml(Tauto_plugin__Tauto) |
| = c1500a859572f47c5adeb740fbcebf6b | ocaml(Term) |
| = d122216f951f7e463242ade7ce397ab5 | ocaml(Term_dnet) |
| = 99f9b52aa6e2484189d2e8df6b349e8e | ocaml(Term_typing) |
| = 26e7e5787a4fd7ed98f7ff87664a3e22 | ocaml(Terminal) |
| = ca7a782d91f103df7414424beacad2e6 | ocaml(Termops) |
| = d7f575ffa78825bb266417e4b337bcdb | ocaml(Tok) |
| = 56f2d8bb0d193f24f48315c6f79a80a2 | ocaml(Top_printers) |
| = 9bd1f1603123496f4fab7218e670d476 | ocaml(Topfmt) |
| = 1dab58426370af71f458b92a6fb5ef06 | ocaml(TransparentState) |
| = dbaec1601de88187931d58b1545e2bc7 | ocaml(Trie) |
| = 80ad81640230c9109e2a86d657964738 | ocaml(Tuto0_plugin) |
| = 3f1b217a49ed2f0273a81b19da082891 | ocaml(Tuto0_plugin__G_tuto0) |
| = b57008d2c8f91a2bcc9ddb70046c487d | ocaml(Tuto0_plugin__Tuto0_main) |
| = 55ffa16141b5793e7b3d1a16411504b2 | ocaml(Tuto1_plugin) |
| = 58094dcfcc10cdeec52578fef301f327 | ocaml(Tuto1_plugin__G_tuto1) |
| = 9f92f909f667ba2f13875ff30e150cf3 | ocaml(Tuto1_plugin__Inspector) |
| = 13267d5660158f59c566c74059f967fa | ocaml(Tuto1_plugin__Simple_check) |
| = a268bc8964d4db75e3cae5cc1981b7f0 | ocaml(Tuto1_plugin__Simple_declare) |
| = bef62b8d37aa21dd32ec1a82174483a6 | ocaml(Tuto1_plugin__Simple_print) |
| = 87ed64c5d3dc5ceb72326a559ddf0e10 | ocaml(Tuto2_plugin) |
| = b249a0a06d7110484e68fcb023ca0a42 | ocaml(Tuto2_plugin__Counter) |
| = a797216eb68179dd90fa910edb3ef03f | ocaml(Tuto2_plugin__Custom) |
| = 73d6fd2ad4dde2ad26a79654cac26d40 | ocaml(Tuto2_plugin__G_tuto2) |
| = ce01c8011ef0e540f2b0752d26e0d561 | ocaml(Tuto2_plugin__Persistent_counter) |
| = bdeefdc2d2f0c3bd558c7518549c9351 | ocaml(Tuto3_plugin) |
| = d7a881140435372c64e3efa917b9cf6b | ocaml(Tuto3_plugin__Construction_game) |
| = f6bc20d3b2a1cd7cbcb8cbf00c546e3c | ocaml(Tuto3_plugin__G_tuto3) |
| = c067205f4e2a065d2434ef90fdd94a4e | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 0c0828c2a9ff92cc716465e0013a0769 | ocaml(Type_errors) |
| = c82cf14a959ab2a132030ef8b5b5bb4c | ocaml(Typeclasses) |
| = 91fcea315f9e707674cdae735a2c33cc | ocaml(Typeclasses_errors) |
| = 44ed108471c7a7400a5fcc850ba1e0be | ocaml(Typeops) |
| = 696857366a11b930eea9840e47c39d4e | ocaml(Typing) |
| = bd28bddd5c33ca5c1a5f9f43f907e5da | ocaml(UGraph) |
| = 3ec987d0c982616ff943f71f05e2c111 | ocaml(UState) |
| = 5150bcb618feddc1f891db28ba2fa04b | ocaml(Uint63) |
| = 3e22c9e8fc6924cded99cdc50b4dde0b | ocaml(Unicode) |
| = 7f303bc57003fbeee99671e8ea72a7c7 | ocaml(Unicodetable) |
| = bb08182b91ec85ec72551ce13bfed01f | ocaml(Unification) |
| = d946222d4cb3ef11bd1528f469215582 | ocaml(Unionfind) |
| = 6feb5ec642e4daf30a0944e888214cea | ocaml(Univ) |
| = c08393c720001d4601ab69c764edae38 | ocaml(UnivGen) |
| = a14b8f2bfb556a067a30c7c3edf09375 | ocaml(UnivMinim) |
| = 9f0af4e2cd7c9a6a04f181684ebd75df | ocaml(UnivNames) |
| = 0bf19edcf4c9ada1dd5cdb51d579b1fc | ocaml(UnivProblem) |
| = 2c793a58009dea74a325c5082597d844 | ocaml(UnivSubst) |
| = 46a1f0249bfbf29202e10de25200d4ea | ocaml(Util) |
| = 73a674179608a349a8f3d001ee037f1d | ocaml(Vars) |
| = 7cee5a6c0faacb4e9ebf86fb667ad05e | ocaml(Vconv) |
| = 6625484d5d74f505986e3ffc8d6e6307 | ocaml(Vcs) |
| = 43ddad20b726927bcb491b9dad99dfee | ocaml(Vernac) |
| = c52eee082c33aa6b03c24069065d6b43 | ocaml(Vernac_classifier) |
| = ddcaab825bd3b96146a0d4b0ad10fd37 | ocaml(Vernacentries) |
| = 31bf27dcb0e938a20d1797f40b7144ae | ocaml(Vernacexpr) |
| = b507ea2d1a0f49d7fb3939c2f335eebe | ocaml(Vernacextend) |
| = dae6e02ea3bae9b78083a74bd7388512 | ocaml(Vernacinterp) |
| = 9b0ca758b7fe1839325d927a5994eebb | ocaml(Vernacprop) |
| = 365874fe1588a2549b04049dea924707 | ocaml(Vernacstate) |
| = 84181196504a9de36e895b397b05f1e4 | ocaml(Vio_checking) |
| = f75880ed7df49928430f842fc3ba82ae | ocaml(Vm) |
| = 88733f1084158f9273bb318495213675 | ocaml(Vmbytecodes) |
| = 76fa264acca66b07c1485aeec8bd1117 | ocaml(Vmbytegen) |
| = 2ee3a68ca9992bc9e1f6aeb9e6e33af6 | ocaml(Vmemitcodes) |
| = 9a79aee1037366c0f07196ba545e75f5 | ocaml(Vmlambda) |
| = 93f2eaf4a59b56072d0819fec4030fcc | ocaml(Vmopcodes) |
| = bd114711d566fec5fadf3e8314768f6b | ocaml(Vmsymtable) |
| = 6cfd8f0d13168b127ebed3d4375b15c3 | ocaml(Vmvalues) |
| = bd874b0b0dce77d32e4d24ddb2379d1c | ocaml(Vnorm) |
| = ea846ec7f2e66cbc8acf115cc9dea909 | ocaml(WorkerLoop) |
| = 0a0ba7bd08b1a13ac83e18ce87b9bb70 | ocaml(WorkerPool) |
| = e419aae791e14a9e40ee634429531000 | ocaml(Xml_datatype) |
| = e8b888db3e08ed236f0fdc4be24a95f6 | ocaml(Zify_plugin) |
| = e123953b94a927241402faa568d57b31 | ocaml(Zify_plugin__G_zify) |
| = c0c1d4967746ed66dfb1a7d6dd2730c9 | ocaml(Zify_plugin__Zify) |
| = d05762935e1f8b82d627edd1738dcb00 | ocamlx(Abbreviation) |
| = 498dcb7aa5823c754dbd0af92dd4f7e8 | ocamlx(Abstract) |
| = cbf20a294c02fed2a265a3a625b6c0e1 | ocamlx(AcyclicGraph) |
| = 7697a31a59ff58fc948e7c9050434669 | ocamlx(Arguments_renaming) |
| = 2138877e871e3ba11535567a3f7387fb | ocamlx(Assumptions) |
| = b7360ced3b6a2854cd86b100b116d03c | ocamlx(AsyncTaskQueue) |
| = a7092ffc5cceebe88001ab05a3b9524b | ocamlx(Attributes) |
| = b9ccd6e3097c28d21ecbadf486fa0fe3 | ocamlx(Auto) |
| = e87f291431abcf5491424de954969836 | ocamlx(Auto_ind_decl) |
| = 63680477da6b8ad1bb3ff1a947e89fa4 | ocamlx(Autorewrite) |
| = 648a040880542985e926474cf6b1a266 | ocamlx(Aux_file) |
| = c6932df37fb42b8743fe6966db0d733c | ocamlx(Boot) |
| = 5c2355de8e4a244feecd56bba25a9ae9 | ocamlx(Boot__Env) |
| = 35c11351455a413e70ee935c01be43aa | ocamlx(Boot__Path) |
| = 66a2f73a83af6dcc91a34b299d8f2dea | ocamlx(Boot__Usage) |
| = e6daba412f967679ab32ce3a5f3e35c8 | ocamlx(Boot__Util) |
| = 9d16e80d9d5f874518e4276edf3a1b9d | ocamlx(Btauto_plugin) |
| = e96177e6b6990b60874206df5c66cd68 | ocamlx(Btauto_plugin__G_btauto) |
| = b535dcedfdf70d84a3b2780720304b93 | ocamlx(Btauto_plugin__Refl_btauto) |
| = 47aded705b5f11dd3f3c310c47e4afcd | ocamlx(Btermdn) |
| = 1741e90e662685e4be92495cd83bccb0 | ocamlx(CArray) |
| = b30391fb50300289b7bc8af1542762db | ocamlx(CAst) |
| = 8a09dad9153627fdb9a3260c37ee439d | ocamlx(CClosure) |
| = e058a3ff9234dbc915c0981b01c8bb8a | ocamlx(CDebug) |
| = e163db81eefed9a295d459c237c00578 | ocamlx(CEphemeron) |
| = 42f32bf8433b8657144712d5383f6152 | ocamlx(CErrors) |
| = 69c2b2621aaa8887df2ab907a282edda | ocamlx(CLexer) |
| = 8d59eb9210256be316adc1aa298f7fd3 | ocamlx(CList) |
| = c6592721cdb29f28c0cefbfa45d01b2b | ocamlx(CMap) |
| = 98481053170e3f276a6ddf5318462727 | ocamlx(CObj) |
| = 3026d3b707303ee06c2cb19fde8eb685 | ocamlx(CPrimitives) |
| = dafdf45dfe2fb68edfbf3a31cccce519 | ocamlx(CProfile) |
| = e75c55fcbfefa0b19511110d76862870 | ocamlx(CSet) |
| = 2c83e6da57716e19b8ed3547c7af15ed | ocamlx(CString) |
| = 30829016d61cd0518b39dce14e9b2ba2 | ocamlx(CThread) |
| = 214cac943b8d89ce693166200e0fa894 | ocamlx(CUnix) |
| = 9a2eac891d5f0f2f974f0958bb2610d4 | ocamlx(CWarnings) |
| = a101590c0ffe223042e9f1462a42bc2e | ocamlx(Canonical) |
| = 976f6a2e859055f17d05cc2519079b0e | ocamlx(Cases) |
| = 7f5302e1fbd1b34c16757a0944c8b5bb | ocamlx(Cbn) |
| = e19ed04c280a757e1e1431b730bd8bfc | ocamlx(Cbv) |
| = b2fc4c93f5a7d53087737ea5b990ebfb | ocamlx(Cc_plugin) |
| = 02003692194595485b5950a1dbbcf7e6 | ocamlx(Cc_plugin__Ccalgo) |
| = 7bf902bc8586770fd86bbc2c921878c8 | ocamlx(Cc_plugin__Ccproof) |
| = 15453bbeffa9c13ec0f1c88ade056d2a | ocamlx(Cc_plugin__Cctac) |
| = ed73205becaa8ace9de906b8d873650a | ocamlx(Cc_plugin__G_congruence) |
| = afe261db23b15e713b36ac52a0a3c759 | ocamlx(Ccompile) |
| = e27e6421252f7c66d9877822d0003f45 | ocamlx(Class_tactics) |
| = beac2e51b0344d935b263cbeb7b67789 | ocamlx(Classes) |
| = 6129b30cd32455375fbd37c956988193 | ocamlx(Clenv) |
| = fc8e985c0159ee5ed5f004ad0cfc11ec | ocamlx(Coercion) |
| = 1b983c521bc9b441cac54915dac72c64 | ocamlx(Coercionops) |
| = 230f5ee96e49ac052e338bf58529ea15 | ocamlx(ComArguments) |
| = c41a74d1218ef213ee4980a6a7ad646f | ocamlx(ComAssumption) |
| = 4d4f3e99395cfcc0dc15bfdeaba152dd | ocamlx(ComCoercion) |
| = 3e2b639840fdf4d7ae1b41255d2527c9 | ocamlx(ComDefinition) |
| = 3aee4d77ba7bf27e6edf5529fe2a3bf0 | ocamlx(ComExtraDeps) |
| = 502f54d3d4c7d0e01a28560124b568a7 | ocamlx(ComFixpoint) |
| = 59e67393146f12edf3bbb605da4daead | ocamlx(ComHints) |
| = d0abdc1b4c8d2574f99353f7a33db2a6 | ocamlx(ComInductive) |
| = d750e9332ab6ab62b1da935f48a1988e | ocamlx(ComPrimitive) |
| = 08470e8bb4481173efe8fbbed75d5671 | ocamlx(ComProgramFixpoint) |
| = a4dde5ef0723dc542dac1a9ef5a07480 | ocamlx(ComSearch) |
| = c30a32d73bcfe781e2088539d6d383e2 | ocamlx(ComTactic) |
| = e29fb0bc90055c9bc97c0dc3905f5a33 | ocamlx(Constr) |
| = a33cff6d78f132c865172eefef60e131 | ocamlx(Constr_matching) |
| = 51dbb6f6fbf8aa1ed9bbe9d72dd8982d | ocamlx(Constrexpr) |
| = 6faa498fd37107dd44daab86014bc244 | ocamlx(Constrexpr_ops) |
| = f1ba65cec6916cb4589f3b2d1db502ef | ocamlx(Constrextern) |
| = 4b423a352aa2ec002de3d68d5ba64894 | ocamlx(Constrintern) |
| = 1cec9cf73948a772183ada7f29073e3c | ocamlx(Context) |
| = b0efc07701ca8ba39edf5fb557be66ce | ocamlx(Contradiction) |
| = e9ff5e3c67ea45e66a70549c121b490f | ocamlx(Control) |
| = 07aaf301283b61ab92894cf99658774c | ocamlx(Conv_oracle) |
| = a672fe68bf17e996c89fd710642d403a | ocamlx(Cooking) |
| = 52a96bfecb4e410a8941455f3ba55807 | ocamlx(CoqProject_file) |
| = aa4e4b608846c57fb74c97ffe2be8c72 | ocamlx(Coq_config) |
| = 71b6aedadd7e6cc787a6323868a71a0a | ocamlx(Coqargs) |
| = d379e41f384c765a013cad1586e30365 | ocamlx(Coqc) |
| = 0e2cf7be5cf9041f01f86ddce4e8782a | ocamlx(Coqcargs) |
| = 71028d5f3c710cbb2beeb51c27efa419 | ocamlx(Coqinit) |
| = 0f93740d18b32d54da01e8223f18c4a6 | ocamlx(Coqlib) |
| = 8865a1cb13ce3ab50a31440fb940357c | ocamlx(Coqloadpath) |
| = 7f7389bf66ece45a5bddaba5dfc25931 | ocamlx(Coqloop) |
| = afac1d0d5d12996da824687640debeb1 | ocamlx(Coqrc) |
| = ec0dd3dfefdd99d69f5da2c44ef655f3 | ocamlx(Coqrun) |
| = 76e2d8760415aa120cca62515f869264 | ocamlx(Coqtop) |
| = cb286ebf5dc6220ce137c013e214d62c | ocamlx(CoqworkmgrApi) |
| = 8b4ed79bbefcf12aeddf5a6b532dabde | ocamlx(Core_plugins_findlib_compat) |
| = 8cc9155f354d23e70c565a638695c9bb | ocamlx(DAst) |
| = e110282756728444bbbc26e3b826ebc4 | ocamlx(Dag) |
| = ccc204dc8070ce4415a02df9d502758a | ocamlx(DebugHook) |
| = 608834d7dba1d275262eaa4111a7ba87 | ocamlx(Declarations) |
| = b585683b1616c0746a2a009afe936c05 | ocamlx(Declare) |
| = f6d0dce73e45e2356fe5f9dd10b501fa | ocamlx(DeclareInd) |
| = e08c4756f8a00b73c7b7fe3d4d590c60 | ocamlx(DeclareScheme) |
| = 5817b89fbfd31ab0c63f2c51387cdb8a | ocamlx(DeclareUctx) |
| = 6513dd1c057c11ec4354d16d5bd8f00d | ocamlx(DeclareUniv) |
| = 40fbea3683eb703557c6879edc0261c5 | ocamlx(Declaremods) |
| = 94d74eb7069f80d7979f53ccadfbef83 | ocamlx(Declareops) |
| = b578ffd1d81987177c7bd90b1df02def | ocamlx(Decls) |
| = 0a860c8519ffc5cddefbe76f36ddbf2d | ocamlx(Deprecation) |
| = 39dfac8beb59650214ab9441f7f20799 | ocamlx(Derive_plugin) |
| = 8bad5f32b1a09cbe7bbb517abcac8884 | ocamlx(Derive_plugin__Derive) |
| = 57fdf9f29034ca6d3e718205deb73628 | ocamlx(Derive_plugin__G_derive) |
| = ee9cce44e4bc69642b8be1c7756d577e | ocamlx(Detyping) |
| = 4979ae884701eb5b2fff201840600410 | ocamlx(Diff2) |
| = daf97f95b74e0717050231b2122c4115 | ocamlx(Discharge) |
| = 98dec2f40a7e30bda20d6da8ddcb1cbb | ocamlx(Dn) |
| = 00249208fa23e6d0e5a9bc167e8d6e2d | ocamlx(Dnet) |
| = 8357566216dbfe2d0bb9ff35365a03bb | ocamlx(Dumpglob) |
| = 6b6a5f9af639456b1ba81d1b75ee3392 | ocamlx(Dyn) |
| = d58cbc6e6fc72d3125200f0e6e78eb39 | ocamlx(EConstr) |
| = c2a4019563479f87fab1a9b16035de51 | ocamlx(Eauto) |
| = 8d796970456ebd90b91ada01b2b2b4d9 | ocamlx(Egramcoq) |
| = a39cb8f5a2628af3158aca5da874d86c | ocamlx(Egramml) |
| = 157804d5f30a3d8e3854ff728913e20f | ocamlx(Elim) |
| = 7f81aa49e61a9e01ef56fa1969b608df | ocamlx(Elimschemes) |
| = a70d6426512a40135187bb14e8635ed7 | ocamlx(Entries) |
| = 77fccf9908ea5631b7d62a0cc93e0a1d | ocamlx(Envars) |
| = f97278c854dfd8a4c1a334f733616e06 | ocamlx(Environ) |
| = 9fbe6c12ec885a9f1edec5a840a0ffc0 | ocamlx(Eqdecide) |
| = 7dae501a684373b3581ce2985be660db | ocamlx(Eqschemes) |
| = cc2b3322ef941d7df88a086a98e4fdc9 | ocamlx(Equality) |
| = 6479c94bea0d9118bb2243bb7461d539 | ocamlx(Esubst) |
| = 7880d8fea85ace6cc913925e904ac047 | ocamlx(Evar) |
| = 385ab61189c1f4ccf6df72fe046eafed | ocamlx(Evar_kinds) |
| = d9f95f602a81ba6156763a09232641c4 | ocamlx(Evar_refiner) |
| = 4b23418fd3029164f3a4c630677ae9e9 | ocamlx(Evarconv) |
| = 751cda1bd80579fd75d6cdbe70d132cb | ocamlx(Evardefine) |
| = 94e44fb813b00088613581fcb156f030 | ocamlx(Evarsolve) |
| = 4362d800b931f3f03203561e11daaf09 | ocamlx(Evarutil) |
| = 9a449dd8d3f66c0b0bf842ad36909fbf | ocamlx(Evd) |
| = cf89b09c6ac1379986d9b016943c7cac | ocamlx(Exninfo) |
| = d56703f56cd991e3128a93cd1ff2a926 | ocamlx(Extend) |
| = 755e74b49a3b8d9078abfebcb462f933 | ocamlx(Extraction_plugin) |
| = eec329aac24ec600ebc6851e221f82fc | ocamlx(Extraction_plugin__Common) |
| = 4f0b0e9973c4ded906d128094b1b7340 | ocamlx(Extraction_plugin__Extract_env) |
| = 8bbd3b31891b849664db3200c21159b3 | ocamlx(Extraction_plugin__Extraction) |
| = 6673e7f7aa4cedbbb8c41ec3c27d7a3e | ocamlx(Extraction_plugin__G_extraction) |
| = dc2201e4bcfa01d5ef4cadd706b8859b | ocamlx(Extraction_plugin__Haskell) |
| = eab195187e4e3773614095aecb2a0574 | ocamlx(Extraction_plugin__Json) |
| = b25a2c8764602b9267f9f372864049d8 | ocamlx(Extraction_plugin__Miniml) |
| = 53747fd86e2ca172302cd8ef57a2b1d2 | ocamlx(Extraction_plugin__Mlutil) |
| = 12f4e73b2090656c571f9cfcbe761a8e | ocamlx(Extraction_plugin__Modutil) |
| = 9de552f22509f38ff5dd0a7b692a27d3 | ocamlx(Extraction_plugin__Ocaml) |
| = 645716fda4c3e750bfab221022cf25aa | ocamlx(Extraction_plugin__Scheme) |
| = 36821a3cc79f9445fccc154b2021e80a | ocamlx(Extraction_plugin__Table) |
| = 5970675e7ed1136bb865fba772909207 | ocamlx(Feedback) |
| = d230df7dfd619ce5fb3deae60662b75f | ocamlx(Find_subterm) |
| = 121f37975caf4b55834a6a3a49275294 | ocamlx(Firstorder_plugin) |
| = ab255957edc84944825b825f03eac9c2 | ocamlx(Firstorder_plugin__Formula) |
| = fcafa02e3f73f2917d7e14ca10b90d82 | ocamlx(Firstorder_plugin__G_ground) |
| = e24728b368e6d12bbcf6c1bd9c52005e | ocamlx(Firstorder_plugin__Ground) |
| = 52d0f5809acf372ebd80de35d21d3672 | ocamlx(Firstorder_plugin__Instances) |
| = 47b23f042b961428cfa835f4ccfb90c7 | ocamlx(Firstorder_plugin__Rules) |
| = a36a0ce67b7c08a9a991ab450e8dce92 | ocamlx(Firstorder_plugin__Sequent) |
| = 51da86bf666f512b3c7b8b684cbfcfba | ocamlx(Firstorder_plugin__Unify) |
| = 77000c95cf7e77e33925267b3d29708c | ocamlx(Flags) |
| = 1c48b0b9848a98b78b325019b188fb6c | ocamlx(Float64) |
| = 7bef336d2fb84d009c213331c0491c18 | ocamlx(Float64_common) |
| = cfde860d5e6c1a079f94e5eac9338b13 | ocamlx(Ftactic) |
| = 91628957653ad32984ec64df6f9ada80 | ocamlx(Funind_plugin) |
| = 963428bacbf1db3ddd339565877ea211 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = baf0513265ef4486ebdd3ce31c64af07 | ocamlx(Funind_plugin__Functional_principles_types) |
| = b165ab7f434409d1ffa563733230a342 | ocamlx(Funind_plugin__G_indfun) |
| = 686ec327b3220b7ddea81cdaa040436c | ocamlx(Funind_plugin__Gen_principle) |
| = 6da68bf3d95ddc1b7708585fae5e6446 | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 729ea8840a292aa003932a1d02c7b5f9 | ocamlx(Funind_plugin__Glob_termops) |
| = e12afc158050a425e2df097fc213bb80 | ocamlx(Funind_plugin__Indfun) |
| = c30e59bdfd8b9376353421d277148e5e | ocamlx(Funind_plugin__Indfun_common) |
| = 704c8e981957e2e87d87d6bfba535cfa | ocamlx(Funind_plugin__Invfun) |
| = b060a53e878f530949b60e2e372abc8b | ocamlx(Funind_plugin__Recdef) |
| = 56f42a8b50bc19a35f11caeaa141c9ec | ocamlx(Future) |
| = 1fca6638e1c00d83ba539ec7924cd23f | ocamlx(G_constr) |
| = c9b71936ad561ad317e376a38e6ad0bf | ocamlx(G_prim) |
| = 6ca9f0ee83e43c4fd6d0b72147aeb882 | ocamlx(G_proofs) |
| = adbe63ae534d1feb33d89cee48eded50 | ocamlx(G_toplevel) |
| = 25bcc1bf1d2883ed8c44b5943ad176b2 | ocamlx(G_vernac) |
| = 215b7bd94baaa13b0dcb81813bb82726 | ocamlx(Genarg) |
| = 29e2daadd5f5d70f6db74646f15a14b7 | ocamlx(Genintern) |
| = f174899dd78798324d961c7f04ebdbc8 | ocamlx(Geninterp) |
| = 9a42bb74f480a6fad1ae62394081ee31 | ocamlx(Genprint) |
| = 69521eedd5605372e8fe8f44f518b2bd | ocamlx(Genredexpr) |
| = d9365aa154dee54bbe3e8c2a4cd8751a | ocamlx(GlobEnv) |
| = 1af34f84c634af469123eabcb5995245 | ocamlx(Glob_ops) |
| = 23c3029811a5c1ac31eeebfa3c47efe2 | ocamlx(Glob_term) |
| = aef0cac57bdb4186b8601098c352ef6a | ocamlx(Global) |
| = 2e2e8a62b8f23a40c03ca8b23d263936 | ocamlx(Globnames) |
| = 2d9f34b8c246b54a82e8524cf9338949 | ocamlx(Goal) |
| = 9082b4a629eea4b6d3c9258dc730d819 | ocamlx(Goal_select) |
| = cc672ba7a3c80f88f264d907ea9f07e7 | ocamlx(Goptions) |
| = d536bfc5c7d7f9d26bd5cbafa22ca905 | ocamlx(Gramlib) |
| = c3b6b41157a26a83fd6b2c5b0f67c372 | ocamlx(Gramlib__Gramext) |
| = a22f873f4c6f2d5f39b72b48e8300dcf | ocamlx(Gramlib__Grammar) |
| = f6a8eb2991371477b86515bae19b3411 | ocamlx(Gramlib__Plexing) |
| = 04d3b289570108ca395b03cb7f725a56 | ocamlx(HMap) |
| = 4da722afb771165037ca64b134650d21 | ocamlx(Hashcons) |
| = ec54211bbb0c8aeb40dabc5cc4cfaf15 | ocamlx(Hashset) |
| = 00bbffa84779e8a11f13eabb8ec5c409 | ocamlx(Heads) |
| = 9a3b88713a00fad0e8fb1db460c6d7c2 | ocamlx(Heap) |
| = 92021dc07913cef87e2a33d622c42970 | ocamlx(Himsg) |
| = aebd52418e8e1dd56829a73a283f8ae6 | ocamlx(Hints) |
| = e4c3685b17675e449479ca68b64d39d2 | ocamlx(Hipattern) |
| = 20a7a6fc084a1fcaba807cf8d8b55632 | ocamlx(Hook) |
| = 234e0b4c31072a6ff516e206c4d419eb | ocamlx(IStream) |
| = 46a56adec5ba852e81a3fd326b14251c | ocamlx(Impargs) |
| = 489ae7bae7c83d991aef25af288801ae | ocamlx(Implicit_quantifiers) |
| = 1f37f28560f03bb0114c4eab5bb5c30e | ocamlx(IndTyping) |
| = 4baa1579f70e12bcbd3b0ead31956e70 | ocamlx(Ind_tables) |
| = 28eb6d5bcb86778c38a739786c8f4b8d | ocamlx(Indrec) |
| = 1b8189ff801a5efe008384b9dfb752a3 | ocamlx(Indschemes) |
| = f66bc6bbabd7bd26fe6f9020617ee8d1 | ocamlx(Indtypes) |
| = 3b34798ece8b452e8d3025622f306ce1 | ocamlx(Inductive) |
| = d759ccaf1038119830e845436da0c01c | ocamlx(Inductiveops) |
| = d003b33447d3778341409c9ae9f21135 | ocamlx(InferCumulativity) |
| = 4ecd8a9f8926ea4fd30c3ec4122cedda | ocamlx(Int) |
| = 30ae46370b7e22a8b96a96b1764992ba | ocamlx(Inv) |
| = b6da35d259c38d4af75b23d7ea875768 | ocamlx(Keys) |
| = cf7cccc733c5ae2de311128dda7fb8d4 | ocamlx(LStream) |
| = 1975c6006890961c908f28b8dbc035c3 | ocamlx(Lib) |
| = f3354f5fd36582cc4b1f3402018305b4 | ocamlx(Libnames) |
| = af71b44cde0a6f1a447b1f84cf730dd9 | ocamlx(Libobject) |
| = 5bc4ca4033fd73ef738cdc5bce7605ca | ocamlx(Library) |
| = 6419b758abffec5212011638c20d3ee6 | ocamlx(Loadpath) |
| = 2c97260dd31fb8e11ad0c5e45f95bc6c | ocamlx(Loc) |
| = d6eeb5ae84471e2f313d7018634afc3f | ocamlx(Locality) |
| = ed638fddde11bbfbbe5541f0d8af5e13 | ocamlx(Locus) |
| = 31db3307e42d3bf31e9dee3f675ca25f | ocamlx(Locusops) |
| = 0452228c88ac22e0edbc7e1a4008d824 | ocamlx(Logic) |
| = 41d43962040bf05fd04c22e850725e8f | ocamlx(Logic_monad) |
| = 8da2da26e12fd3ac6c1a199ca99e65dd | ocamlx(Ltac2_plugin) |
| = 50dbc3907105595954fde76879b45e40 | ocamlx(Ltac2_plugin__G_ltac2) |
| = 5638ece1922afa6ffb43889263b725d0 | ocamlx(Ltac2_plugin__Tac2core) |
| = 818ff36c303f5657bfd741e657e3b826 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 02d0784250e11789aee6d12eabb26b85 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 395d38b0efc2f43e3d5b0a9ee56aa909 | ocamlx(Ltac2_plugin__Tac2env) |
| = d297f80146e3798b9c6a530ab0e7cf44 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = b144c40d6f5323abea4feb26dd70fc2c | ocamlx(Ltac2_plugin__Tac2ffi) |
| = baf09effe9dceb1695d5b8d998435789 | ocamlx(Ltac2_plugin__Tac2intern) |
| = 926dd2ac897d27ca10ec0c4efdedefd9 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 9b45311a65a3e73252889b4936094e0a | ocamlx(Ltac2_plugin__Tac2match) |
| = ae48bd97b81cf42db79e525ef9e84883 | ocamlx(Ltac2_plugin__Tac2print) |
| = bf813727f3a437996e308dc0d2653a6d | ocamlx(Ltac2_plugin__Tac2quote) |
| = 971ade83e74622ca10300951893df291 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = 4c34ff0673f812ddab2e86c7cc3113e7 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 649c89188143cfcc8311d2c31fb5a6e6 | ocamlx(Ltac_plugin) |
| = 7bd3aa56a76ae0a492169e1b1ba2d4d2 | ocamlx(Ltac_plugin__ComRewrite) |
| = 05f508ef66d98603b9f22c96152f7384 | ocamlx(Ltac_plugin__Coretactics) |
| = d2a434ddb7c95f890e7bf421f85ac08a | ocamlx(Ltac_plugin__Evar_tactics) |
| = 02ef0373c51e10174949e45f72bddd52 | ocamlx(Ltac_plugin__Extraargs) |
| = 65bedb6f79e288920ed0249fc7491afd | ocamlx(Ltac_plugin__Extratactics) |
| = e5022efa84fbcae1c3b923a696a65d09 | ocamlx(Ltac_plugin__G_auto) |
| = 90a34c98bb8273b51faced3428907d13 | ocamlx(Ltac_plugin__G_class) |
| = 772dd18db1da62ddd13746a46b620b76 | ocamlx(Ltac_plugin__G_eqdecide) |
| = cdfa295baf0eba331bec4fd30d305aaf | ocamlx(Ltac_plugin__G_ltac) |
| = f00f17256aa9fd9b89deffe76b161487 | ocamlx(Ltac_plugin__G_obligations) |
| = 73c116b4f2254885bd880766e2af9c63 | ocamlx(Ltac_plugin__G_rewrite) |
| = 3fe3a65e31899a104fc21c52dee2ef2f | ocamlx(Ltac_plugin__G_tactic) |
| = efded9f75dc6397adad734288bc8b273 | ocamlx(Ltac_plugin__Internals) |
| = 515e59c504012f9b0000bad697635ac7 | ocamlx(Ltac_plugin__Leminv) |
| = c144c9cceecb8515445556eb948cee81 | ocamlx(Ltac_plugin__Pltac) |
| = 2820bdd11807e6827ca6bdf162aa3ea9 | ocamlx(Ltac_plugin__Pptactic) |
| = 675bf8adfa4bf39c184c143537fa7572 | ocamlx(Ltac_plugin__Profile_ltac) |
| = a7fe186174cce0514d10f87d00843b91 | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 58b77a1dbbcf8f55ad8abf8401b54a04 | ocamlx(Ltac_plugin__Tacarg) |
| = 771f2924ba31c4ebedc3c25644fcf6a8 | ocamlx(Ltac_plugin__Taccoerce) |
| = 7a6225c9415b1d8ef0c0fc04dcbdca05 | ocamlx(Ltac_plugin__Tacentries) |
| = e415da2e5d458f2457a19410b997b569 | ocamlx(Ltac_plugin__Tacenv) |
| = 474e2afb7f70ba2d6052e8a1f77d7aa4 | ocamlx(Ltac_plugin__Tacexpr) |
| = eafaf0fb6f03f4cf96ab746ea210fe01 | ocamlx(Ltac_plugin__Tacintern) |
| = 8893e2b6df74405d9673971e0f7129c2 | ocamlx(Ltac_plugin__Tacinterp) |
| = b932abe33b39f11a931582b9d3c2e489 | ocamlx(Ltac_plugin__Tacsubst) |
| = d57a38bc7b6f6243403da6406e33d815 | ocamlx(Ltac_plugin__Tactic_debug) |
| = 5c5deb2410501a8ab6679fe575951c5d | ocamlx(Ltac_plugin__Tactic_matching) |
| = d07718dbf964df475650e585a58a2025 | ocamlx(Ltac_plugin__Tactic_option) |
| = 79728da2d8858eb89576f366abc38adb | ocamlx(Ltac_pretype) |
| = 0cba9e2049dc327874fd536d21846af6 | ocamlx(Metasyntax) |
| = ffc646dd2cdf6384e2f9fec3126579f3 | ocamlx(Micromega_plugin) |
| = d2e22bab86bcb4f3df2284c833187644 | ocamlx(Micromega_plugin__Certificate) |
| = 7c95a6f2ec6a2612440cc203cecefd98 | ocamlx(Micromega_plugin__Coq_micromega) |
| = ad7b6358e3f11d0b699a1fe311c5d2ae | ocamlx(Micromega_plugin__G_micromega) |
| = 65debc6bc73014122cdbce75c5ea2e52 | ocamlx(Micromega_plugin__Itv) |
| = 3c1efc6a78da48defd1ccaf66b9465db | ocamlx(Micromega_plugin__Linsolve) |
| = b132c9f307a17827e41faaeb99364c38 | ocamlx(Micromega_plugin__Micromega) |
| = 560e42af649ba66dc7dbde89914b679f | ocamlx(Micromega_plugin__Mutils) |
| = 68591499b8757c14be6b7f15237bdd75 | ocamlx(Micromega_plugin__NumCompat) |
| = cf3b857fc40ea2870f77d9238be79de9 | ocamlx(Micromega_plugin__Persistent_cache) |
| = 40dc9302c2706144494d2d1598e0f78e | ocamlx(Micromega_plugin__Polynomial) |
| = 527a0a7fefdf7ba09e79b0a71ded9ad7 | ocamlx(Micromega_plugin__Simplex) |
| = 5b7448981d03ab0fc29098b7108ec29d | ocamlx(Micromega_plugin__Sos) |
| = 304747db25007448fcc4afa8b347f1bf | ocamlx(Micromega_plugin__Sos_lib) |
| = e1200cf2f3e66749b7fa83bbdb6f25c5 | ocamlx(Micromega_plugin__Sos_types) |
| = 4913cd011145fe77eb41219be8b1cfe4 | ocamlx(Micromega_plugin__Vect) |
| = 5d0ef3cc2c45bc51a2f928cab13d5b9a | ocamlx(Miscprint) |
| = e72b99e97b34c00bcbb9d34bb00c4e74 | ocamlx(Mltop) |
| = 3249cf02492f1798a23566976730c647 | ocamlx(Mod_subst) |
| = af8bf3a26ee83c7f8230da0a4648b032 | ocamlx(Mod_typing) |
| = b9a822bfb79dc47b9a8eae082ccdac68 | ocamlx(Modintern) |
| = 8599ffd33a306e3a3ee80547718de11a | ocamlx(Modops) |
| = 98265463065bf6c58ac85a7d52ba4f75 | ocamlx(Monad) |
| = 10189088cedfc16221811e51ec10fe69 | ocamlx(Namegen) |
| = 96d6271019d38919669a10cd6dbdcfb4 | ocamlx(Nameops) |
| = 1a4d954432461a44fd20e78cd3ee56c5 | ocamlx(Names) |
| = a44683b97b3678b8d6f79b49d501f0d5 | ocamlx(Nametab) |
| = c17d0426962a98295fddb7dff30020d7 | ocamlx(Nativecode) |
| = 4d17eb3a9d53f61f13b01120fd564850 | ocamlx(Nativeconv) |
| = 6dd6509d5ed42914364d74afc8f20a74 | ocamlx(Nativelambda) |
| = 48578b6d4e332d6fbcfac7a6cc60b031 | ocamlx(Nativelib) |
| = 530830d5f2b8e78c9fe5b79ca9b7963c | ocamlx(Nativelibrary) |
| = 273229951a291534e96dc0ab6542cd65 | ocamlx(Nativenorm) |
| = e9d24fbbfd9a8224482ba16fc3c48b26 | ocamlx(Nativevalues) |
| = 4dd80e23704a757c1753bb7194fcd0bd | ocamlx(NeList) |
| = 9a891e82a1725f26d5113ef1fa3c9751 | ocamlx(Notation) |
| = 7c7b99387e559471f65bb36790c784f0 | ocamlx(Notation_gram) |
| = 9a45832705dd061c71fa0069402c1fb0 | ocamlx(Notation_ops) |
| = 9c55fe3916c7a1ad6ba7e275e085d9e9 | ocamlx(Notation_term) |
| = 6d7f90b0ca6c8d9d1efc3f2670da4d0f | ocamlx(Notgram_ops) |
| = 072bb9794c576826077f4241a4f6c4ab | ocamlx(Nsatz_plugin) |
| = 4802a7db030e3371e360b79703b97c60 | ocamlx(Nsatz_plugin__G_nsatz) |
| = afbeeb14f14441496e33f5817116c654 | ocamlx(Nsatz_plugin__Ideal) |
| = a9839ee03242714465035f090aa44cca | ocamlx(Nsatz_plugin__Nsatz) |
| = a4ed79849b2cb189199b24f782165ad9 | ocamlx(Nsatz_plugin__Polynom) |
| = e7811a2afadd2d2699763febc72603ca | ocamlx(Nsatz_plugin__Utile) |
| = c83060faef0b6e5d770835504b77c9bb | ocamlx(NumTok) |
| = 9fbc810af38eac579c9e63c1e458f223 | ocamlx(Number_string_notation_plugin) |
| = 6bf30a66c94e5e36ee4d87f0e78dbfc6 | ocamlx(Number_string_notation_plugin__G_number_string) |
| = f264ce3f0c4a23850f753082a482b7e8 | ocamlx(Number_string_notation_plugin__Number) |
| = 7bd4da216ae77c952de22e39dad78a65 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 3748bd898bf7289f7e0bb4f831bcc3f4 | ocamlx(ObjFile) |
| = 124f3037fa36400e1633f395148939d8 | ocamlx(Opaqueproof) |
| = 0a92b989c459cfc581d2aae87ef7549f | ocamlx(Opaques) |
| = 3d469b81e472024e47962f901f721f6e | ocamlx(Option) |
| = 95afc34014b4741ffc9a8fd611a81a26 | ocamlx(OrderedType) |
| = 9b749193c6e9ae4544c7214d6a54c233 | ocamlx(Parray) |
| = 3fa6bf83a45766af12dc97a6528760b6 | ocamlx(Partac) |
| = 7e49d478b7f658cbc9b094cc0fd516d3 | ocamlx(Pattern) |
| = 6d6ca1c082df6b461a4c68add473bfd4 | ocamlx(Patternops) |
| = 835cbe99d3cc0a21316d73ea3fac50af | ocamlx(Pcoq) |
| = 3a80561a26a756e8146e053a12c94633 | ocamlx(Pp) |
| = 00d0f6b931b411574e0e3e3f026644f5 | ocamlx(Pp_diff) |
| = 42758a9b504cfc73c60d74dfd5e65854 | ocamlx(Ppconstr) |
| = a2a45a34a8603d235008f99a74344b2d | ocamlx(Ppextend) |
| = 8668920c61dedc7e45b6a08bfc4dd053 | ocamlx(Ppred) |
| = 6fb10a874e690fb41564e8fe72b3c081 | ocamlx(Pputils) |
| = 471e246e096c8c9a97441de57eb38fa4 | ocamlx(Ppvernac) |
| = 759261dd5abb712e25614a040b1886b9 | ocamlx(Predicate) |
| = 91689d9898ac510b041c15ce50ee9509 | ocamlx(Prettyp) |
| = bf802188fb3cc636399a0a8596b85d1a | ocamlx(Pretype_errors) |
| = 726084525b99f7c8cc3e2c6adcd944f5 | ocamlx(Pretyping) |
| = 8775a53456aebde45f54f1c9efb34a5c | ocamlx(Primred) |
| = 5268d29a8bb0d45dfe4b27abde9c711a | ocamlx(Printer) |
| = 03dbf84778d1a446bb5908812f389846 | ocamlx(Printmod) |
| = 9b23689536dfb2072cd0919c547097be | ocamlx(Program) |
| = c4fc01a026b93f713d94d3fb4cfb00ae | ocamlx(Proof) |
| = 5f65bc57409bd9276f2ede3ee891b09f | ocamlx(ProofBlockDelimiter) |
| = 4dddf6548ac54594c0e3aa720daf3303 | ocamlx(Proof_bullet) |
| = 6b2f5f8cd8ec4a59c65036564db44ae2 | ocamlx(Proof_diffs) |
| = 9f452766063734efcb80bb0edbe3f403 | ocamlx(Proof_using) |
| = a32d51a5a17728dc5a07e8b80b8098cc | ocamlx(Proofview) |
| = 8433ef92e83a6863c123e1bb3831d8a4 | ocamlx(Proofview_monad) |
| = b6ff24b1c7f2c1acf87813bbc4579fca | ocamlx(Pvernac) |
| = 793e08286a9972ee669096a403cd03d7 | ocamlx(Range) |
| = 7f4b6c24e1d830dbd1f903e530544ecd | ocamlx(RecLemmas) |
| = aa396e05dda743539a8d6ac4bdb7f3ac | ocamlx(Record) |
| = 19652ab6de41840d5dc93ee4ed74de76 | ocamlx(Redexpr) |
| = 156add0e47a77b6c1f7388575ee803dc | ocamlx(Redops) |
| = 74254e633db5efb720edf57f10bb06c8 | ocamlx(Reduction) |
| = c28f66aeb2f482aee4d8ba74bfa2e260 | ocamlx(Reductionops) |
| = bd378717c586ebc94fcbea1bbe0af872 | ocamlx(Refine) |
| = d30ca380bf738ac55f6fb002ed5b87cd | ocamlx(Relevanceops) |
| = 0a9e3e486d724046a17c0a8d43055e8b | ocamlx(Reserve) |
| = 98e8df391bff0e26b728fd1490ec4e3a | ocamlx(RetrieveObl) |
| = 4edb280a26facd9d5bf288e733e1fd46 | ocamlx(Retroknowledge) |
| = b73999efab73cab76622b8b18847e7f2 | ocamlx(Retyping) |
| = fb2ffd901b68c530e94553eb7a3037af | ocamlx(Rewrite) |
| = 6cfc13a5cdfb820737690572193c4e80 | ocamlx(Ring_plugin) |
| = a50317c991478b0c97af8c71851394b0 | ocamlx(Ring_plugin__G_ring) |
| = b415e884883db5a75f0a452cdf748911 | ocamlx(Ring_plugin__Ring) |
| = 85734e77c814d854e04fc5ab20b6d8be | ocamlx(Ring_plugin__Ring_ast) |
| = d83d6f521578ea70db18b810c27e5510 | ocamlx(Rtauto_plugin) |
| = 1a0be8434aba7fb3a40e1646742f0e21 | ocamlx(Rtauto_plugin__G_rtauto) |
| = 0607ad2bc0e527fad54d51348800f3df | ocamlx(Rtauto_plugin__Proof_search) |
| = 1b9eca1825c4a3de4fc76bcf857a1593 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 274e7a3f88dad440a0cf9d4918554b52 | ocamlx(Rtree) |
| = 13f15685ee38a2bb85b10a46e3374b95 | ocamlx(Safe_typing) |
| = 545380be79c20b7880d091b0a0e25c1b | ocamlx(Search) |
| = 59d59614226161b9fec2dc93def3a3d1 | ocamlx(Section) |
| = be00be8470c4c0b98c4b87c86da8cff4 | ocamlx(Segmenttree) |
| = 743fecbb2e1119b2b507e50ecc72835d | ocamlx(Smartlocate) |
| = c1dd08944b954741c41e72576b99e4f1 | ocamlx(Sorts) |
| = ed61db6a9f6a338226249d6b4bea8341 | ocamlx(Spawn) |
| = 01351249e14c5e4dda9d729a82b03a0a | ocamlx(Spawned) |
| = 868976c90de81dc4bfa1a45d2ac4b22d | ocamlx(Ssreflect_plugin) |
| = 9f30d70fa20e88778a403a6277fb6065 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 91004600179b584a33ebf7c39fa1882a | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = bba649405bd943f10ed99add541864f5 | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 55cd60745c38d535e46461334703607f | ocamlx(Ssreflect_plugin__Ssrequality) |
| = 470b5756b2b3961dc2375260e698e6a8 | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = e09fdb5f06f21e5b562403f643bc3834 | ocamlx(Ssreflect_plugin__Ssripats) |
| = dd0774c955023130efe7e56b688bf7a9 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = 606c484c976232c2f7128e795f797285 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 930aa44fe3c291624899be18cbfca74d | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 7d81feeda9b3535bcb507d73acdfe0d8 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = a8cd677432ed54d5bb63121f99f76002 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 73f2080b7323f88adecad5699ef64e41 | ocamlx(Ssrmatching_plugin) |
| = 31d95bfd3addd4085d852b3c406ef4d0 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 52132eaa59483b3064e01d7415dc3743 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = cfb111336607f6ed1098217f92ab3c85 | ocamlx(Stateid) |
| = 5bea011d20ce4af6ddeb21e319dee681 | ocamlx(Stdarg) |
| = e0ea83e3b39173d0d04a776863a46a32 | ocamlx(Stm) |
| = c8a4e49ed9ac951339185d038c3b4276 | ocamlx(Stmargs) |
| = 79c8fc2b2d91071ca25189f6d498ac98 | ocamlx(Store) |
| = e3ddc8e99dfa7b7cb663c0ef047b5ce9 | ocamlx(Structures) |
| = f46680e9ff1a3b10c275f6c680d3a179 | ocamlx(Subtyping) |
| = 2c3e57ac5f77a0653afb02a67b099650 | ocamlx(Summary) |
| = cd5ec0f72340ffc8667a93d253f5d676 | ocamlx(System) |
| = fd312fc347fa5fa92f7faae58b3ce47d | ocamlx(TQueue) |
| = de048bc49a9eebd0da161ca1a9d7cbee | ocamlx(Tacmach) |
| = 4e05408c12b78f9fa682ab6cff9f6c5b | ocamlx(Tacred) |
| = 9cb25c3f4f2a828c7ae4521f412311d4 | ocamlx(Tacticals) |
| = 9707f0717b10de9110fc111475ec7058 | ocamlx(Tactics) |
| = cd3e08f32efb46f5513e445ce3b11b98 | ocamlx(Tactypes) |
| = d55d35d5b26e5ec3becec780579cce59 | ocamlx(Tauto_plugin) |
| = 649db1870e7a14e9d924cf12dd1f65db | ocamlx(Tauto_plugin__Tauto) |
| = eadae04d27f5ddad7bb6ccc76bb352d3 | ocamlx(Term) |
| = a263a477a2a9156b666d2c779afd3d07 | ocamlx(Term_dnet) |
| = 059a70b744086581facc24125b294a9b | ocamlx(Term_typing) |
| = 81f63cdaf7d35ef48f90f10ed6c59a85 | ocamlx(Terminal) |
| = 6102ee20fd6a76b82175873653875387 | ocamlx(Termops) |
| = b871221009598cad605fd07e06be272e | ocamlx(Tok) |
| = 151f34db0810ba0a5080728c60cdb85f | ocamlx(Top_printers) |
| = 50082f043cfdf9443802662232ea2668 | ocamlx(Topfmt) |
| = 0716e15a07dacd059e85235c3fddbf6a | ocamlx(TransparentState) |
| = ddc1e27735051c2c77e65c252b920f90 | ocamlx(Trie) |
| = a2f134b77460546acf163172d57dce7a | ocamlx(Tuto0_plugin) |
| = 816f55aac218a61fdd5592f602da63d6 | ocamlx(Tuto0_plugin__G_tuto0) |
| = 8e471fee8caa411f10a171a708a3a897 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = 5d2d81151850e812c46bbe4a059f934d | ocamlx(Tuto1_plugin) |
| = ef5e1556ddd8b873304bd1aa872e1bf9 | ocamlx(Tuto1_plugin__G_tuto1) |
| = 1679aae0d762f82fc0b57a30d251d757 | ocamlx(Tuto1_plugin__Inspector) |
| = dad9790c2b4c84e4c96b0bf63c8ffd13 | ocamlx(Tuto1_plugin__Simple_check) |
| = 22c4fd6342454c616582945f38d3375e | ocamlx(Tuto1_plugin__Simple_declare) |
| = 7695682e419660979511660761feef49 | ocamlx(Tuto1_plugin__Simple_print) |
| = a9e4f57bc8a6ae1a059e2f8d19f57806 | ocamlx(Tuto2_plugin) |
| = 65bc59ec10fc134e9c5487806e2c1617 | ocamlx(Tuto2_plugin__Counter) |
| = 5c9a0d43db3b5bac84c956b4f31dac11 | ocamlx(Tuto2_plugin__Custom) |
| = c8e184adec73363b7d751ad6872c7beb | ocamlx(Tuto2_plugin__G_tuto2) |
| = 2b2d86b801b9ac943ac51318d847ee70 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 42eb5843081a3eaea315024608810c34 | ocamlx(Tuto3_plugin) |
| = f14a4494935ace627788071a7a435581 | ocamlx(Tuto3_plugin__Construction_game) |
| = 18cae98f956189f9d6fecdbb796df6a2 | ocamlx(Tuto3_plugin__G_tuto3) |
| = a76faec02b61ff4fa84d5fe65ed57e83 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = c478068c81b44c0413345487e49ee93b | ocamlx(Type_errors) |
| = 21d60f01c269a53f6c7b12904a3f97ea | ocamlx(Typeclasses) |
| = 471501e39ec60fc096efdb487e063e04 | ocamlx(Typeclasses_errors) |
| = 005360863012cf91ff48e0e3d2838a31 | ocamlx(Typeops) |
| = c91adb9c1ae033039e0edd019734b8cb | ocamlx(Typing) |
| = ced1d77790d545a6479436a4acf535a0 | ocamlx(UGraph) |
| = 45a346d5311f5216b2f473c259650527 | ocamlx(UState) |
| = d22dec5116a443949657d62ccf13f19f | ocamlx(Uint63) |
| = 13b9068bc6c6836f8679f6672214f2bd | ocamlx(Unicode) |
| = 6748223bda90e6af1a749a6aaed25795 | ocamlx(Unicodetable) |
| = 6b34a96adad157997dc6390ecf05dd55 | ocamlx(Unification) |
| = e775552d434f55fadaf618e4a7a96d07 | ocamlx(Unionfind) |
| = 51696dbb092bac5cde2346c361267918 | ocamlx(Univ) |
| = 1f1ea1026eab80f6a9b45f7832232a9b | ocamlx(UnivGen) |
| = 25a160394f2a9149567c156aa9a11dc2 | ocamlx(UnivMinim) |
| = b98c9c9ee4575226118d0161a402be25 | ocamlx(UnivNames) |
| = 6cbdbb8049964883d470a04b3088c3c0 | ocamlx(UnivProblem) |
| = 323f9c5ae7e62cf60bcbcc7cf3e752ec | ocamlx(UnivSubst) |
| = 19b4b81a3b0bdb1618506233bcac9410 | ocamlx(Util) |
| = df0447f472d2c84109ffc969ed82b5d8 | ocamlx(Vars) |
| = 9bb28618102df022e249c0fe1e10eb17 | ocamlx(Vconv) |
| = 5ba73bc3c293d48d0f1a100ce172b2da | ocamlx(Vcs) |
| = 5b54319ecf87893ccf175bc50146b958 | ocamlx(Vernac) |
| = 3b0f2abee71eeef9ff4927b8b47c8589 | ocamlx(Vernac_classifier) |
| = 84573fe521517327b75b9a937c01d3da | ocamlx(Vernacentries) |
| = 3845695130d02faff0c50ca4eebcc232 | ocamlx(Vernacexpr) |
| = 382019e86629565207c8efea7d3ba4f9 | ocamlx(Vernacextend) |
| = d734831d38860326012a30e35bcce82f | ocamlx(Vernacinterp) |
| = bcfabf9afb271abbcb1e2a7a99bfcd14 | ocamlx(Vernacprop) |
| = 02d67cc38887112dc60b6c8b8e8e7e69 | ocamlx(Vernacstate) |
| = 6c8848d6766a8cf11e4e71b90a0dadd0 | ocamlx(Vio_checking) |
| = 8c209370042da742a8d08b7541ecd243 | ocamlx(Vm) |
| = e1c8829cbfb655876b8f6cf20216888d | ocamlx(Vmbytecodes) |
| = 8b83d05848af32634fb013b40377038a | ocamlx(Vmbytegen) |
| = 27709d5eef621e9b88a6a12684e45614 | ocamlx(Vmemitcodes) |
| = 88ca3ccf892f020f694bcea2c077ebd1 | ocamlx(Vmlambda) |
| = 0b3f25202f15b10c52b711d33ccce0f2 | ocamlx(Vmopcodes) |
| = 7605b80916ccd80818aaed59aa03f7f7 | ocamlx(Vmsymtable) |
| = e74efd8e75cfddbea4343cee11f4362b | ocamlx(Vmvalues) |
| = c2b7cdd9446d3b348ac245f706f8a502 | ocamlx(Vnorm) |
| = 4cfa2bbb6ffbe1b101f7104eed23fa0f | ocamlx(WorkerLoop) |
| = c329713e8a95f17efcdf2db2326fe92b | ocamlx(WorkerPool) |
| = d8332754f97a911218fea705c09fa2e4 | ocamlx(Zify_plugin) |
| = 716f17b021c32b189027585777676421 | ocamlx(Zify_plugin__G_zify) |
| = fefef671650296b7c50d0bae0b4388c6 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.16.0-1.fc37.x86_64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqproofworker.opt |
| /usr/bin/coqqueryworker.opt |
| /usr/bin/coqtacticworker.opt |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/05 |
| /usr/lib/.build-id/05/cace95f30d3124736e634e42ff92a552d7b938 |
| /usr/lib/.build-id/09/cf424d5c7130b3086b5029a13c70113a02756e |
| /usr/lib/.build-id/0b/ec0e52714323b4f242c2a99189db5dc74976e2 |
| /usr/lib/.build-id/0d/25355487d30d289dda79831d6a2795e13d63dc |
| /usr/lib/.build-id/0e/2ce7358adc293a30b7a24b4a65a503a01880e2 |
| /usr/lib/.build-id/14/c61b96243c3244a1f1f66bc06653a123547d3f |
| /usr/lib/.build-id/21/6d2588dc0c320c6b560a302c18f7f67385f6ca |
| /usr/lib/.build-id/27 |
| /usr/lib/.build-id/27/4ab30fd90c59d3fcecf692637205dab548d370 |
| /usr/lib/.build-id/2a/fa9bd7fe606af6d57992808e5cb8258cc44fc0 |
| /usr/lib/.build-id/2d |
| /usr/lib/.build-id/2d/4fec1e34e7d054e0879a186e5fb64acf1cbd63 |
| /usr/lib/.build-id/2f/a50aed829b4888dde9fb8fbaad5f7bf7b5b894 |
| /usr/lib/.build-id/31/3a2fe15964633bb5a497af6363ea19e6f10c2f |
| /usr/lib/.build-id/33/f49d09de0a8139bcf50c344e33c23d35fb2410 |
| /usr/lib/.build-id/34/329a55ce00fa849e14264a66abd86032ed43a0 |
| /usr/lib/.build-id/35/b1a0f31abe4958f52a2c088f1173b895a01363 |
| /usr/lib/.build-id/3b/42774321792dfbc98bf56c51a8193ddb61c1ce |
| /usr/lib/.build-id/3d/0aa9afdce16206ad51aa7ab0d38fb444d9dba5 |
| /usr/lib/.build-id/3d/2fa26b5d63f5389280dba8bd85877f4acb94c3 |
| /usr/lib/.build-id/45/1bdd903b6076fb6446892cdea2c8cb38433224 |
| /usr/lib/.build-id/46/4b6737eb38385ab7bb82343956e52aa7ecfa2b |
| /usr/lib/.build-id/4a/ef8153c4a0be816bad21d345c681ebc342032c |
| /usr/lib/.build-id/4c |
| /usr/lib/.build-id/4c/a0e7d52ea3ef87ae2d429ac05a96b9c90b2bdb |
| /usr/lib/.build-id/4c/c80390bdc2fa59ebcd89ba9f045b78d85125e1 |
| /usr/lib/.build-id/68/e32946d3a457ce82a766812b33f4b0cf2f9e3d |
| /usr/lib/.build-id/69/e9f55dd11abc7637889b30aa0cb5d8773bf6f7 |
| ... and 3146 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|
| 2022-06-19 |
Upgrade to 8.15.2
|
| 2022-03-25 |
Version 8.15.1
|
| 2022-02-28 |
Version 8.15.0
|
| 2022-02-04 |
OCaml 4.13.1 rebuild to remove package notes
|
| 2022-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild
|
| 2021-12-27 |
Rebuild for ocaml-lablgtk3 3.1.2
|
| 2021-11-30 |
Version 8.14.1
|
| 2021-10-21 |
Version 8.14.0
|
| 2021-10-05 |
OCaml 4.13.1 build
|
| 2021-10-04 |
Try to build on s390x with OCaml 4.13
|