معرفی شرکت ها
coq-core-8.17.1-5.fc39.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.17.1-5.fc39.aarch64.rpm |
| نسخه بسته | 8.17.1 |
| انتشار بسته | 5.fc39 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Thu Jul 27 20 |
| هاست سازنده | buildvm-a64-29.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 225M |
| حجم نصب | 832.074M |
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.17.1-5.fc39.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
| coq-core-8.18.0-1.fc39.aarch64.rpm | 8.18.0 | aarch64 | Fedora Everything |
| coq-core-8.18.0-1.fc39.x86_64.rpm | 8.18.0 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-5.fc39.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.17.1-5.fc39.x86_64.rpm | 8.17.1 | x86_64 | Fedora Everything |
| coq-core-debuginfo-8.18.0-1.fc39.aarch64.rpm | 8.18.0 | aarch64 | Fedora Everything |
| coq-core-debuginfo-8.18.0-1.fc39.x86_64.rpm | 8.18.0 | x86_64 | Fedora Everything |
نیازمندی
| مقدار | نام |
|---|---|
| - | /usr/bin/ocamlrun |
| - | /usr/bin/python3 |
| = 8.17.1-5.fc39 | coq(aarch-64) |
| >= 2.37.9000-18 | glibc |
| - | ld-linux-aarch64.so.1()(64bit) |
| - | ld-linux-aarch64.so.1(GLIBC_2.17)(64bit) |
| - | libc.so.6()(64bit) |
| - | libc.so.6(GLIBC_2.17)(64bit) |
| - | libc.so.6(GLIBC_2.25)(64bit) |
| - | libc.so.6(GLIBC_2.28)(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.38)(64bit) |
| - | libgmp.so.10()(64bit) |
| - | libm.so.6()(64bit) |
| - | libm.so.6(GLIBC_2.17)(64bit) |
| - | libm.so.6(GLIBC_2.29)(64bit) |
| - | libm.so.6(GLIBC_2.35)(64bit) |
| - | libm.so.6(GLIBC_2.38)(64bit) |
| = 1ea36b40d63be50a2973136602e501d9 | ocaml(Abbreviation) |
| = 5eea1ef0f68e067fa5c0a022683b7f07 | ocaml(Abstract) |
| = 075502ca3357cf235179ed6b9b34d699 | ocaml(AcyclicGraph) |
| = 980b6499a34b42abc2d5f2f92de781a0 | ocaml(Arguments_renaming) |
| = 2cb77cbeddba9853c849317ff233cd38 | ocaml(Assumptions) |
| = bc2cad92fd259b84de12b4a3b59cce61 | ocaml(AsyncTaskQueue) |
| = 10a9271295c73222723c35d497a9c142 | ocaml(Attributes) |
| = 7217bd18daec2903fc898d339bdd281a | ocaml(Auto) |
| = 21f518e4ee90ed909d9ee424b7a07efe | ocaml(Auto_ind_decl) |
| = b2dec714af18dbccdad73307040b7abf | ocaml(Autorewrite) |
| = 446a9bc1bca7241dbd82226640d34b8d | ocaml(Aux_file) |
| = 981a14e500660f2c264fb221a4e70905 | ocaml(Big_int_Z) |
| = 43145732bb85209ab41a902e180a47fc | ocaml(Boot) |
| = eeff6b49448b096ab1f7cf11af339b79 | ocaml(Boot__Env) |
| = 065e2a6aa1b88d1430023da43115eecc | ocaml(Boot__Path) |
| = 106fe5d619dbada8e803243a726307cc | ocaml(Boot__Usage) |
| = d82faef5571ef4e43fb83c5fb7988d5e | ocaml(Boot__Util) |
| = 53003820aa5511da965c3279d86ecece | ocaml(Btauto_plugin) |
| = 1ec5b7751961344e6f6e4517abfa86db | ocaml(Btauto_plugin__Refl_btauto) |
| = e48af796dfad4504c67cf62110e00ca6 | ocaml(Btermdn) |
| = 6d58569e3639e38decf1a0dbacbf0726 | ocaml(CArray) |
| = 42d6ecfe3ce9d100a355b5990a884114 | ocaml(CAst) |
| = e6f92f47a3a34da19529eb5ab292a15c | ocaml(CClosure) |
| = 326079a49c3f190b8b7ab5844c584942 | ocaml(CDebug) |
| = 93e20cd55896e94be0d04b06c6571279 | ocaml(CEphemeron) |
| = 00917bcf8ba9a78b4ea100f83590b566 | ocaml(CErrors) |
| = 1043263672c154d231446665dd8e458d | ocaml(CLexer) |
| = f40080596f5cf76bf47880b35de4d520 | ocaml(CList) |
| = 57c0f678ba0c1d7497fe55560bcebe5e | ocaml(CMap) |
| = 1ffe6496dc68e0493a0b7dd654261007 | ocaml(CObj) |
| = ee0d0284977cedc9a396190afc96b017 | ocaml(CPrimitives) |
| = f65c51ee4bce727d8b9088a358e5ef4f | ocaml(CProfile) |
| = 7d7be9cc23fb38e10753233bf859750e | ocaml(CSet) |
| = cbe0b0a079f2ef2dcd13f42ae80840dd | ocaml(CSig) |
| = a4fefb8c8cd7dd8cf22cbb31ad12719e | ocaml(CString) |
| = 9369628f10c527279600dd048e6a87bd | ocaml(CThread) |
| = 02c1e8f824a500e558673c6fa375775f | ocaml(CUnix) |
| = 138f0dd6ea66c78650a91d3bc1a03b86 | ocaml(CWarnings) |
| = cecfafd5c021473f5e358c96ac7502a0 | ocaml(CamlinternalFormatBasics) |
| = 2c797917c31a980b79e9d16d84057b70 | ocaml(CamlinternalLazy) |
| = 5f3bf6a430a949e1f685fd8552eeeda5 | ocaml(CamlinternalMod) |
| = b759dc5f7bb618c7ff5fd8453b7c5fbc | ocaml(Canonical) |
| = 649ec23093ef602cf0e1d44bd813a6bf | ocaml(Cases) |
| = 97760848e0578ff5e815b9fcb2a8d832 | ocaml(Cbn) |
| = e05e268f8e25faab37fad4b408279a87 | ocaml(Cbv) |
| = cf0c15430522205e4ed7cc115dd5420f | ocaml(Cc_plugin) |
| = ac08d73347bde8a63ba522a016e5fe5b | ocaml(Cc_plugin__Ccalgo) |
| = db7ae9e94172f5ff56a8918984d57f4d | ocaml(Cc_plugin__Ccproof) |
| = 7163e8dcf17f5f19f3bed9506dcaab40 | ocaml(Cc_plugin__Cctac) |
| = a0d16a12edc740c5b8070bac3fdf5f83 | ocaml(Ccompile) |
| = 231bfb9ed9f114e3259c8d697d4f3fe2 | ocaml(Class_tactics) |
| = cc52b32fa9e97b66e0c23d7bcd017f77 | ocaml(Classes) |
| = 6b00081dfa51b1e4eb7bb3930d0d8348 | ocaml(Clenv) |
| = 270ac037037a8b72fa053e40133db760 | ocaml(Coercion) |
| = 72d5956fe74aa7305ae3bbb641e3b983 | ocaml(Coercionops) |
| = 56d65134ea11ecaaf87832feebcc1b19 | ocaml(Colors) |
| = b59f7e4aaeb1c0f5750d8817e1be9f45 | ocaml(ComArguments) |
| = 58a01d89edc4486ceeb2cbcf89d255dd | ocaml(ComAssumption) |
| = b67bcdc0ecb39a0ae826d4240009f9b0 | ocaml(ComCoercion) |
| = 7ca4fbaa0c4c0e3cacdd753e0aeb3a94 | ocaml(ComDefinition) |
| = 374de6d14aa52d44a10ce7a3a19897f5 | ocaml(ComExtraDeps) |
| = 49c3d3b42278a253d38028ea05a76e55 | ocaml(ComFixpoint) |
| = 09bff15f63f136b1a5b92b0ea4ff9e56 | ocaml(ComHints) |
| = d662801d133b5a1ffd497bade664ced3 | ocaml(ComInductive) |
| = 77fd7a5a5e83b41484c355b1ecc3d6a4 | ocaml(ComPrimitive) |
| = ba02b29ca07b9bf34fe603e88a10081b | ocaml(ComProgramFixpoint) |
| = 36c01327193b1358c76a3b0636c5d686 | ocaml(ComSearch) |
| = 07a9bdba58dd11bfb27eee213175909d | ocaml(ComTactic) |
| = c1497c4cca56221a0660e73c60329269 | ocaml(Common_compile) |
| = acf664940fffc0313c01688209a0d237 | ocaml(Constr) |
| = 9366efd297a899f886b512017425f7dd | ocaml(Constr_matching) |
| = 001812fbe88649fb85bc1e1063d17af5 | ocaml(Constrexpr) |
| = e521ef16104f8c8053087671fb87f9d6 | ocaml(Constrexpr_ops) |
| = f2649c93c03ed095b70398ef3eba5b72 | ocaml(Constrextern) |
| = a8033a28fe7fca27d16d372e65fed2d6 | ocaml(Constrintern) |
| = 3fe7fbe659a4f13008383d4561c31eb0 | ocaml(Context) |
| = 7612ef0bec10dbb8e2b58c9e04d720eb | ocaml(Contradiction) |
| = 705fecc4af18942904bb999ae7333291 | ocaml(Control) |
| = 710e6424928355e4e79f94fc54e3996f | ocaml(Conv_oracle) |
| = 18a51bbae8bd6cfbdcbbe7f63e3c6353 | ocaml(Cooking) |
| = ad63fb43db20783159b0795a5ff28af7 | ocaml(Coq_config) |
| = cd27199f098ea9e64fd09d1adb67f06d | ocaml(Coqargs) |
| = e4fbb80c91d8476a3f5cfcaaf6e044eb | ocaml(Coqcargs) |
| = 313d659182f783c95dba627618227cf9 | ocaml(Coqinit) |
| = af23afa2424208686fde11efe7e05e65 | ocaml(Coqlib) |
| = cd5317c42432329d8ae596b3cc9fc087 | ocaml(Coqloadpath) |
| = 508c8bb002b3af1dfe029b6bb9926048 | ocaml(Coqloop) |
| = e1e41192cce3868c21f35bee8e9367e2 | ocaml(Coqrc) |
| = 66a72a0a31ad6132d8c4fd7f668ca377 | ocaml(Coqtop) |
| = 49de4eead2e6f33da68e7afac042c450 | ocaml(CoqworkmgrApi) |
| = 80ff6829d6e486ac5603f01e61095ce7 | ocaml(Core_plugins_findlib_compat) |
| = 2f2b7acba36e311950e44668c73498db | ocaml(DAst) |
| = 18c1f55fbe60e9d9b988164d316e1cad | ocaml(Dag) |
| = 5b7192faaf31fccd63ad285c9cd83037 | ocaml(DebugHook) |
| = e11e7b55e2022e146635311703c7f8ca | ocaml(Declarations) |
| = d2c0103ef1dc9d638c4f209a7cefc785 | ocaml(Declare) |
| = b993ec516849240152a5e6f7df42ed33 | ocaml(DeclareInd) |
| = a219447b6c78a4eab3af89bdbf3bda07 | ocaml(DeclareScheme) |
| = c14e01efa705f027f273f7ccb1b91afe | ocaml(DeclareUctx) |
| = 75571deee8a0b33bc7ab01c5e88e06d6 | ocaml(DeclareUniv) |
| = 86af76c503a5c17f27d1b57895a1b62b | ocaml(Declaremods) |
| = c11e3d4a5cb8e274514b5742be4485db | ocaml(Declareops) |
| = ad2128d119f2ee083fd08bc3fcbb1bd8 | ocaml(Decls) |
| = d7b041802f27786187ee8416dee16311 | ocaml(Deprecation) |
| = 78d505fae5f5bf6eecf03a786dd27bdc | ocaml(Derive_plugin) |
| = 17b661e90a3ebcf5fb9c52d9ec66aff8 | ocaml(Derive_plugin__Derive) |
| = 1cb87a0c831a705c15a3531e9052d029 | ocaml(Detyping) |
| = 926b80ac1ee1ed0ac9c0f26e9c85f74a | ocaml(Diff2) |
| = b372f9bc1804245e8a8b26fb15fca0be | ocaml(Discharge) |
| = fc829bfd97349dafa693029ebea88f2f | ocaml(Dn) |
| = 05df61c86fa04d0600215123dc34a560 | ocaml(Dumpglob) |
| = 1b538aaee631897369983bb45811c33a | ocaml(Dyn) |
| = 4ef8f180b6a55f28c092cd0698987af5 | ocaml(Dynlink) |
| = f12616ad158d21a2ed5537e3da0fd5b1 | ocaml(EConstr) |
| = ae17d49d6c00ce13cdfe125d36a7a904 | ocaml(Eauto) |
| = 415ca3186196a8ff2636eac1ec5eeb53 | ocaml(Egramcoq) |
| = e43429459066e8e396cf593cc56c702c | ocaml(Egramml) |
| = e835b0432411b41f291fe7858b1d9cbb | ocaml(Elim) |
| = 2a36c7a9c0086cb74dd953b6cfb2922b | ocaml(Elimschemes) |
| = 511d06092314c189eb1c73b513757058 | ocaml(Entries) |
| = e538c014f2559e2d5bc451f89f378e01 | ocaml(Envars) |
| = 9cb8af3706e624f8843581aa98c3b87a | ocaml(Environ) |
| = c4b79c8ae097d1f0964f2f50fb7a88c4 | ocaml(Eqdecide) |
| = a82d737333e94cb6b54159a180e2fde3 | ocaml(Eqschemes) |
| = b115b42503ec4fb9aa8262153178f5fd | ocaml(Equality) |
| = 815313524e169289b486f89e5e192bff | ocaml(Esubst) |
| = 935cc7677fe970a7206ebfe2e1779a82 | ocaml(Evar) |
| = 4a35778ef84c18690cf246825141e273 | ocaml(Evar_kinds) |
| = 07033806535923645844f54a60c6348c | ocaml(Evar_tactics) |
| = ed06e9fffae33a9a8f46c4e327baf72e | ocaml(Evarconv) |
| = 228b2e357edb99df41e0489c0b23d6bf | ocaml(Evardefine) |
| = a581a8be5cbf80aba6d58be7b0b9c4e1 | ocaml(Evarsolve) |
| = 47a72ebec653dd2a1a218ef6464ebb6c | ocaml(Evarutil) |
| = 421312b8e9c7e6fdce6aef8679c651d3 | ocaml(Evd) |
| = 38ad6517d5220e43e479a1d0d18b8b8c | ocaml(Exninfo) |
| = 3e9ecbb91300c3df69a2c84e49286afb | ocaml(Extend) |
| = 4fb746e4e16b143b502f71babff015f2 | ocaml(Extraction_plugin) |
| = 23c927b9b09984284cd9e798f4be3057 | ocaml(Extraction_plugin__Common) |
| = 4e054c6643f3f4299faf6ea883aa8699 | ocaml(Extraction_plugin__Extract_env) |
| = 99a973cc242205b13f48fa287c770272 | ocaml(Extraction_plugin__Extraction) |
| = 646c8d9e52bbfd16ba63bc12a52c0b75 | ocaml(Extraction_plugin__Haskell) |
| = 6e32cf19051229aa29640d0393118a1b | ocaml(Extraction_plugin__Json) |
| = 95df279901476af9c13ba46ad7132d23 | ocaml(Extraction_plugin__Miniml) |
| = 13000a254a50d1b8b5bf7f5f9f38e303 | ocaml(Extraction_plugin__Mlutil) |
| = d9a93352644c207d6a94506615732142 | ocaml(Extraction_plugin__Modutil) |
| = 9cdd22bab31f0b970c3d88e0740f4561 | ocaml(Extraction_plugin__Ocaml) |
| = 5133c79607319e76be02c2d4d0245218 | ocaml(Extraction_plugin__Scheme) |
| = 44b2100d4e2c081ddd1afcd33bfdadd8 | ocaml(Extraction_plugin__Table) |
| = 369f881d87535e3db952615840ea3253 | ocaml(Feedback) |
| = 414b83330ca226fe5958d171569a80a7 | ocaml(Find_subterm) |
| = cb9e17ecc75ea6d10d205802bed311a5 | ocaml(Findlib) |
| = e05c81e95287e0ca858b963a11d30b9b | ocaml(Firstorder_plugin) |
| = 36e75e342a9a3c01c6c37a49c92e811b | ocaml(Firstorder_plugin__Formula) |
| = 99fff3f86c4afe8d50be56696471728c | ocaml(Firstorder_plugin__Ground) |
| = 504ee9df59875e8f58b908d4bf565816 | ocaml(Firstorder_plugin__Instances) |
| = b514ec410dd0724b4ea559268d511555 | ocaml(Firstorder_plugin__Rules) |
| = 9940164bf22b99ba7fd277139b5ce51a | ocaml(Firstorder_plugin__Sequent) |
| = b9fc9727f63548c42a16a11b3e1671e7 | ocaml(Firstorder_plugin__Unify) |
| = 7235e007a9bb082cd04ff5669c41396c | ocaml(Fl_dynload) |
| = 0fb135226046bcb571fd2522ef17116c | ocaml(Fl_metascanner) |
| = 58ac9224c23460104afd4910c0497479 | ocaml(Fl_metatoken) |
| = 6d605592ffa47f9cba123dce260a9459 | ocaml(Fl_package_base) |
| = 9a9b1fbc4313a053d474e2cde7f099fa | ocaml(Flags) |
| = 84d6570848e9511aae54659b18a17c2d | ocaml(Float64) |
| = 7ab160f0bba98a2ade77c0f37bdc2b75 | ocaml(Float64_common) |
| = 8401680cca79c824c5b71cc932e9a25e | ocaml(Ftactic) |
| = 2d39469b088ad4d6259390e5af5d34ce | ocaml(Funind_plugin) |
| = 69d4c2eaff36e3848c4ef33e1a56a290 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 0707b115480606c2bed9566ea06e454c | ocaml(Funind_plugin__Functional_principles_types) |
| = 53fbe6b356a78b7779eea6b26c404bf7 | ocaml(Funind_plugin__Gen_principle) |
| = efbdd085081c1839eda458cb473d55b4 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 5d02a1500bd4b49ee91f97b615cb4902 | ocaml(Funind_plugin__Glob_termops) |
| = 72d8ef87442d5ae74fef2ecf73280987 | ocaml(Funind_plugin__Indfun) |
| = 40fdf3c32800c63a279ff9099f3218c6 | ocaml(Funind_plugin__Indfun_common) |
| = c07a7675fc4be00e8678a60c9d5a5c35 | ocaml(Funind_plugin__Invfun) |
| = 1b7c778bdb44b203d2b3d491b3bb4a24 | ocaml(Funind_plugin__Recdef) |
| = 056918f0691a7206769938958c112a1c | ocaml(Future) |
| = 37cd20f1bec87c58d1f1f902061bd375 | ocaml(G_proofs) |
| = fd8591becb1804d0dad88479b98253c4 | ocaml(G_toplevel) |
| = b6219033d5a2da1eaddb38b3a56f9cbf | ocaml(G_vernac) |
| = 508690e563971eb655c545a2954a0bba | ocaml(Genarg) |
| = c2b6d5d20ae5122ff92df401a96874f0 | ocaml(Genintern) |
| = 7067c9e7d583f7cf0548275722897c48 | ocaml(Geninterp) |
| = 43b0bce21e3927e5e2ad9fe8c9dc1499 | ocaml(Genlambda) |
| = 5ce4a74c2a2b11fa0102addd6be3e7a6 | ocaml(Genprint) |
| = 9a8af566f499d25a7d7025c9325b22c7 | ocaml(Genredexpr) |
| = c7a9306448899f6209f66dd655affca9 | ocaml(GlobEnv) |
| = 6940fe3c7c19e2a7da28ea69815ee8b3 | ocaml(Glob_ops) |
| = 3642013615c2c0112ce8b70fca2bf9f4 | ocaml(Glob_term) |
| = c82a68dcfdf2586e15f7548a15f6691a | ocaml(Global) |
| = 24828265b7f1ae3dcf2facaf6787efa2 | ocaml(Globnames) |
| = d1247cc3b0ac79c2f9ffbdcbabebbb2c | ocaml(Goal_select) |
| = 937deb56091f7d609729cb85a9c00970 | ocaml(Goptions) |
| = f7a9c352b24c4ddeba559951b0f7dd3e | ocaml(Gramlib) |
| = 443690b2317f143c76466a5d3a66eb2f | ocaml(Gramlib__Gramext) |
| = b6f613b5af6e74fccbf4932ead3118a2 | ocaml(Gramlib__Grammar) |
| = 479adf7cc6f48be49a10d952f395e202 | ocaml(Gramlib__LStream) |
| = d29433cae784e60b04be278488111983 | ocaml(Gramlib__Plexing) |
| = e34e97e7287f3698c88dac7d11f02272 | ocaml(Gramlib__Stream) |
| = 01241edf75a2ce4dd730eb6c622d81b2 | ocaml(HMap) |
| = 16cd719166c8c5010b0670dadb52fe96 | ocaml(Hashcons) |
| = 054fe5127bf9aac57339f346c0d1a1ef | ocaml(Hashset) |
| = c5907fed35a7ee537cc5213ba0a1c845 | ocaml(Heads) |
| = 2a901a079d960c8807880b8c50fd087f | ocaml(Heap) |
| = fb2e1aff3e2d73a2c63f7bc066258ac0 | ocaml(Himsg) |
| = b841647482cd3fef24aaec52ad0cc2a7 | ocaml(Hints) |
| = addb9d5485a404a8003f046b4066de88 | ocaml(Hipattern) |
| = 04f6c318e5dc4380e8d89a7074c603b3 | ocaml(Hook) |
| = 02a17d779ce4cff5ab72d2b626043e82 | ocaml(IStream) |
| = 6ebc2fdbc25579ff2cc46910f5a9c2f2 | ocaml(Impargs) |
| = f79872a0791275515ae74b9f8aeadff1 | ocaml(Implicit_quantifiers) |
| = 06d900bd9c43e671ce74697ab4a3c9cb | ocaml(IndTyping) |
| = 39b410cf6e73871ee85700ab3cccc044 | ocaml(Ind_tables) |
| = 95272752917b7e78fa33b58e56af245b | ocaml(Indrec) |
| = ac16f71127197faca4260b1d1a8eca09 | ocaml(Indschemes) |
| = b900d3866b3f20d632b063d7533688f8 | ocaml(Indtypes) |
| = d29c76292449efc647d988794b8cbaaf | ocaml(Inductive) |
| = bf9374e82c80bd6598a1c998578386ef | ocaml(Inductiveops) |
| = 9434c0fa244fd4ff988284def45ce368 | ocaml(InferCumulativity) |
| = 9db9b156b240b450eebcce7d49c69088 | ocaml(Int) |
| = 9e795fa84cce70167d1330cc7ff395db | ocaml(Inv) |
| = 28d0fa9cf78cf2dac10bf020b681fd47 | ocaml(Keys) |
| = 47ec689cb28c94f14058358d26142693 | ocaml(Lib) |
| = 17c14327b9e22b508dbf16535b8e9383 | ocaml(Libnames) |
| = f566ef24eea0c63237d3c3f167816608 | ocaml(Libobject) |
| = a47c3a2d660687fcba3e1da79703ea81 | ocaml(Library) |
| = 055112cd36498e47f01aa7663fa07b8e | ocaml(Load) |
| = 6d79626e3c553837cfdf8380f28b81d8 | ocaml(Loadpath) |
| = 66403678cb7815a79c0e1a1c82447bd2 | ocaml(Loc) |
| = a4f0d96e768809a92230d1e461bb358b | ocaml(Locality) |
| = 88f0e885b31a8dd39208e2b14fb5adeb | ocaml(Locus) |
| = d5084e9eff417995d2dfdb3705bc6fd4 | ocaml(Locusops) |
| = 2dd074517298492cf3666f61f877c172 | ocaml(Logic) |
| = b617dbec58c0edc562650901e5ea7463 | ocaml(Logic_monad) |
| = f439500a84ab88181ed3dd5bbfd50721 | ocaml(Ltac2_plugin) |
| = 3fa2596fa4e5cd9e5e21f30e2266f5d9 | ocaml(Ltac2_plugin__Tac2core) |
| = 49b3cea57593bbd505f1b3af277b18ce | ocaml(Ltac2_plugin__Tac2dyn) |
| = 159de6c25ab97c29ebbb1f3c2a112114 | ocaml(Ltac2_plugin__Tac2entries) |
| = f39649d6220f7def1dacac4bbec60adb | ocaml(Ltac2_plugin__Tac2env) |
| = 12c542a5ba85e9295f4bb80ce440b700 | ocaml(Ltac2_plugin__Tac2expr) |
| = 64df90d355e913f62b1209e828b142e9 | ocaml(Ltac2_plugin__Tac2extffi) |
| = 2497170d54360e044b8369949f69d825 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 49a4fd5e6a0ee5240821934d7a754627 | ocaml(Ltac2_plugin__Tac2intern) |
| = 1e542d5e8a2849ef33536a333b25d407 | ocaml(Ltac2_plugin__Tac2interp) |
| = 365a7c510109043f1181ccb0fa999a17 | ocaml(Ltac2_plugin__Tac2match) |
| = cafc505c971dabe21a76a5cdd5748717 | ocaml(Ltac2_plugin__Tac2print) |
| = 1161754de3dbe95335d90e3a4534d247 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 6b66e1751bb1d95ddff975147d093029 | ocaml(Ltac2_plugin__Tac2quote) |
| = cba1d53fe6b3d44153e9ca97ff5391e2 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 42c89bd30d4e3fb3b58bc6bab00bca28 | ocaml(Ltac2_plugin__Tac2types) |
| = ed721534c98792b5a3a1e1dcbb1bc61c | ocaml(Ltac2_plugin__Tac2typing_env) |
| = df167d955e180cbe1923b3aca1a51797 | ocaml(Ltac_plugin) |
| = 5271f8c30256728012131d2739e231ee | ocaml(Ltac_plugin__ComRewrite) |
| = 230906b3037ecfb52288e88eb1a617fb | ocaml(Ltac_plugin__Extraargs) |
| = c48d5c599b1a483b8be9a65ebb9545e3 | ocaml(Ltac_plugin__G_ltac) |
| = 33437a84ee48a78d33939f513aa340b9 | ocaml(Ltac_plugin__Internals) |
| = 0348a2de8098a6459ebb82ef61c98199 | ocaml(Ltac_plugin__Leminv) |
| = 0b7e1ce8463ba831e77b2ae9c890595d | ocaml(Ltac_plugin__Pltac) |
| = c6bd202577c8962298f99a38565f9e33 | ocaml(Ltac_plugin__Pptactic) |
| = 5488ee59a6ea9a6862ba211aba0d58a6 | ocaml(Ltac_plugin__Profile_ltac) |
| = 1ad9c31a222b2d551c401c700991794d | ocaml(Ltac_plugin__Tacarg) |
| = ca98c3b87fe8680e887d5d0aa8e367f6 | ocaml(Ltac_plugin__Taccoerce) |
| = 5a2d1920a346f707cef71ab0d8d2396c | ocaml(Ltac_plugin__Tacentries) |
| = 0e0211617a239a4ae89844e3172d0638 | ocaml(Ltac_plugin__Tacenv) |
| = 7dad1a4e00b4f3c0a8a7b85276991bec | ocaml(Ltac_plugin__Tacexpr) |
| = 7dd447b42865e7d83802f253ddb6ba70 | ocaml(Ltac_plugin__Tacintern) |
| = 7168301723984c9303a927561e489878 | ocaml(Ltac_plugin__Tacinterp) |
| = 718d0f0faee29f1b171d0cdd39d4baa1 | ocaml(Ltac_plugin__Tacsubst) |
| = 692c6b62b335c6a283c58cdcb82ba284 | ocaml(Ltac_plugin__Tactic_debug) |
| = b26ae65cfedc49406a352af90ab8a835 | ocaml(Ltac_plugin__Tactic_matching) |
| = e43f39843570c9b5925c7de562d90f83 | ocaml(Ltac_plugin__Tactic_option) |
| = c63e6540f28100332bfc151da2ff363d | ocaml(Ltac_pretype) |
| = b630613c74b71f1b5f49d5d79ee3ff74 | ocaml(Metasyntax) |
| = c816083a19c7a82cc8eae39391774765 | ocaml(Micromega_plugin) |
| = 33c47068cf02b6b35bfae34150e1343e | ocaml(Micromega_plugin__Certificate) |
| = dc64ede71bb9622615e1b635c1a7596d | ocaml(Micromega_plugin__Coq_micromega) |
| = 338cc7ed45f2f2d0286e88f71665c14f | ocaml(Micromega_plugin__Linsolve) |
| = 49719c104703422034cbae4aebffd836 | ocaml(Micromega_plugin__Micromega) |
| = fa1d1e4ff7e44586a4206c1940715b5f | ocaml(Micromega_plugin__Mutils) |
| = dbcd9ffdf74536704631494e406e4fe9 | ocaml(Micromega_plugin__NumCompat) |
| = c06dc3fa5f50807c4f4660023633693f | ocaml(Micromega_plugin__Persistent_cache) |
| = 4f12d5b7831a18db24de38c96a417dd1 | ocaml(Micromega_plugin__Polynomial) |
| = ff18c1316d80ed9be6a0276156c80c38 | ocaml(Micromega_plugin__Simplex) |
| = f1c13a9a8a771ea6cc7e346d601dd3b0 | ocaml(Micromega_plugin__Sos_lib) |
| = 6a42be6eafde790cdafd4afa4f015e5c | ocaml(Micromega_plugin__Sos_types) |
| = 781c983ac125e832994c133a24880bd9 | ocaml(Micromega_plugin__Vect) |
| = 6bc3aa9083671cfbfb336027f8fd1d6f | ocaml(Miscprint) |
| = 537ad855371b86d53e2f554314bb594b | ocaml(Mltop) |
| = 87bf8a9e488a2d66b98b311cd9e9b9f9 | ocaml(Mod_subst) |
| = 1b8dd54caf33bc3dcaaf8aee61636d59 | ocaml(Mod_typing) |
| = 67c2b704209d06d8003bc683818b48a9 | ocaml(Modintern) |
| = a790ac8f8cba3910bbf73793a0671c54 | ocaml(Modops) |
| = 111c49d5acef9c643936ce9c7f2dfa62 | ocaml(Monad) |
| = d7cfa5e742ed7cd93aa0dbcc494b1071 | ocaml(Namegen) |
| = 1fd3eb9ed1517431f1df84d587712722 | ocaml(Nameops) |
| = 012fb1b3a7cfe3314a332d1ca5acf690 | ocaml(Names) |
| = 1df605c7bad951b8cae34399bc930f27 | ocaml(Nametab) |
| = 10320d3f9e177dc2c8883253f4b1aae4 | ocaml(Nativecode) |
| = 5569b5009b0342bb7929b798def8cfdd | ocaml(Nativeconv) |
| = cd2dacd2c4d9cc3cac0c34907341aba6 | ocaml(Nativelambda) |
| = ca885e8aba83fb0f378e718af379cb04 | ocaml(Nativelib) |
| = aa66c351b03dd3d6d724ec0f3c6ccb6b | ocaml(Nativelibrary) |
| = b51fe471b51ae785b5d2dfad6e68057a | ocaml(Nativenorm) |
| = 71c6a790ed5749675aad7773ae17fb44 | ocaml(Nativevalues) |
| = 970a4fb3b081f410660ba7e487594f83 | ocaml(NeList) |
| = 56341c774049f672274e301c53e12656 | ocaml(Notation) |
| = c4814470701fe4101a25fc7af6f400d9 | ocaml(Notation_gram) |
| = 017dc0aa58029cdbc7831ccafddbb06c | ocaml(Notation_ops) |
| = 23d4f51cd91d7b03965dfa71c2d499ae | ocaml(Notation_term) |
| = 9b4f5d6a8734829b79fa5c35ad263828 | ocaml(Notationextern) |
| = 9b1d98d41eeefea2f4b856941bb9d0f7 | ocaml(Notgram_ops) |
| = 84f0132bd2fbdc1e41185d9b4bff96a8 | ocaml(Nsatz_plugin) |
| = 2d0b9ab3a4f30b69de79d1fa7931645d | ocaml(Nsatz_plugin__Ideal) |
| = c06057bbb74716100e2aebd798545d68 | ocaml(Nsatz_plugin__Nsatz) |
| = 541b7d8709367c1d5971f4aef5e2fdae | ocaml(Nsatz_plugin__Polynom) |
| = 04beb40d578caceca70a183d65f071fc | ocaml(Nsatz_plugin__Utile) |
| = b0a3b98c1f6a9bd60982ac4e9ef65dd4 | ocaml(NumTok) |
| = 25f549dd8aec902baae826210b20fbb1 | ocaml(Number_string_notation_plugin) |
| = 2df2e21a43ecd5afc4d9e44657aaf392 | ocaml(Number_string_notation_plugin__Number) |
| = ed37032aa85fbe926ff98ec54cf3b4bf | ocaml(Number_string_notation_plugin__String_notation) |
| = b265c91309cbd68b2a665d2db17fd23e | ocaml(ObjFile) |
| = 38a55fba1df13077948ee92b583d927d | ocaml(Opaqueproof) |
| = 58c6e31c86e279730ab78303b68df427 | ocaml(Opaques) |
| = a80cf95cebaf33d117f334bdb79a1f57 | ocaml(Option) |
| = ad1f2e7298fe9e91db544a18658cc417 | ocaml(OrderedType) |
| = d7ffd5166e0ad210e99839a7a8859a57 | ocaml(Parray) |
| = 8309cf28c800dcfed0896c4b1d37e8d6 | ocaml(Partac) |
| = f5c4f8fed7d2454c5806df017306bd03 | ocaml(Pattern) |
| = dc1223d2efa8ab3125764e3459f7ae43 | ocaml(Patternops) |
| = ea2c841c09442e708e0f8a8cc0044923 | ocaml(Pcoq) |
| = a06106912b4260216a95b51835f39c2e | ocaml(Pp) |
| = a1ca6d8cbf054780bfce1013571b7140 | ocaml(Pp_diff) |
| = cd4dbc65a6dbdabfefc6845aac5a55f9 | ocaml(Ppconstr) |
| = 8165840134aa1a91512c67b17a4087ce | ocaml(Ppextend) |
| = 6a1871c97417dab44b5973187b2d1ba3 | ocaml(Ppred) |
| = 4b45435b667c4f7c0cabb7e16e39b5cc | ocaml(Pputils) |
| = 29f3e7233096a66497d89b31554a71f2 | ocaml(Ppvernac) |
| = 1b54ffe866048b283dcf39c247b9f856 | ocaml(Predicate) |
| = 2fb91b683a87d52463aff170764b8929 | ocaml(Prettyp) |
| = 1d0a44b2a2d6f9e290fe733e60bff375 | ocaml(Pretype_errors) |
| = 8c7597fa2cac52e76bd458219483c86d | ocaml(Pretyping) |
| = a2a70f50cb0abf7070f6d70f32e1af58 | ocaml(Primred) |
| = 7a19633a5ac20808f8a4b826012915ac | ocaml(Printer) |
| = 526c81622e7fc38a302d6a9ce2947d6b | ocaml(Printmod) |
| = 8ef0ba0594b16c3af25a32883ece354d | ocaml(Program) |
| = 33a8a89b8674f99fcff5ad7076a118e8 | ocaml(Proof) |
| = 8866137c53fe7e92b68bcefc4b78c9d9 | ocaml(Proof_bullet) |
| = dd234df0a515b9131816dc3c4a4b01d7 | ocaml(Proof_diffs) |
| = 791e55bc95f9956363dda1074e7c939a | ocaml(Proof_using) |
| = 539ebd2b6bc29156327ec1b098209181 | ocaml(Proofview) |
| = 9cf42adffde2d967be09cedb88fe9c17 | ocaml(Proofview_monad) |
| = a0e7a205ef7ee4bd4d4ff5846012bb37 | ocaml(Pvernac) |
| = dfd79ff05360c4cc4bc120db10ee3749 | ocaml(Q) |
| = 63247554a25737029029a5ce190b7152 | ocaml(Range) |
| = 626cb0a8d27c90c3bf83fedcfa062b11 | ocaml(RecLemmas) |
| = 1d31fa26e78d3f7eebcbf2ee503e92ad | ocaml(Record) |
| = 7f4803a94320953997ff3430a70c62a9 | ocaml(Redexpr) |
| = 6da04577e51c0c603dc99f092814c67a | ocaml(Redops) |
| = 0bb6d8efa644c9bbf5faebe969e316a8 | ocaml(Reduction) |
| = 214e513363c495db0adb82ed78d9a803 | ocaml(Reductionops) |
| = b8de8f9a7bae241fa3c3c0a70d124220 | ocaml(Refine) |
| = 8707432bf1856ae7993da011eaa7c195 | ocaml(Relevanceops) |
| = f06d1b90dae968b3080295186c8a897d | ocaml(Reserve) |
| = 7f21b7a5114e080ee84528e731ba6f65 | ocaml(RetrieveObl) |
| = 2acb5320cf7ecf9e2f3efdc0bdc1d99d | ocaml(Retroknowledge) |
| = ea6630ef9f5c5e7dc9787f85b7cf0d97 | ocaml(Retyping) |
| = 5aa159042326f2695930859e02ec0621 | ocaml(Rewrite) |
| = 49fa866ff2d3522249cfa702b38b18ef | ocaml(Ring_plugin) |
| = b6b8a54ab9a8742594a50d66ceb3fa48 | ocaml(Ring_plugin__Ring) |
| = 1d2cb874c91e80ab3689a1122b1482af | ocaml(Ring_plugin__Ring_ast) |
| = f2f6e8fcecc748603ca073363f6554e1 | ocaml(Rtauto_plugin) |
| = eccd42dbca2c0862ccecc0cd489a44c6 | ocaml(Rtauto_plugin__Proof_search) |
| = e8b3aafe207889762150354608c294e8 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3070acfe312150638de5f65e9e319e64 | ocaml(Rtree) |
| = 3db7c318198c7d1af831076050e784a4 | ocaml(SList) |
| = f0c7eeeaf667d13dbc8a0f3cd6047d0b | ocaml(Safe_typing) |
| = 91858d91e0448669691efdf7ddddfd8c | ocaml(Search) |
| = 4d882372f334b74c5b84c177f7747048 | ocaml(Section) |
| = 8d883bd2b62649ed63ff01ca925c5225 | ocaml(Segmenttree) |
| = 8057654f6241037639d26f7b1bd28089 | ocaml(Smartlocate) |
| = cc9f372946ba5f59c2897e02518b0d22 | ocaml(Sorts) |
| = a1df7ef68f2d343546639581ef75be18 | ocaml(Spawn) |
| = b0405d27ce74aca3d9f195d476e32be1 | ocaml(Spawned) |
| = 351e433400674ba2c17534dfa933adea | ocaml(Ssreflect_plugin) |
| = 4143d188b672061fc1397db6f4dc214c | ocaml(Ssreflect_plugin__Ssrast) |
| = 7960c318b3247393d8b16af77372450a | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 04a51f22b3b4230ff9fe234cece9d06d | ocaml(Ssreflect_plugin__Ssrcommon) |
| = b151aa6e855f53f83217efd1b8a05ca4 | ocaml(Ssreflect_plugin__Ssrelim) |
| = 3c8f6200a81daef711e2b12136de8766 | ocaml(Ssreflect_plugin__Ssrequality) |
| = 5aa507064b70eb9cf316db4b2f2316fb | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 4138ace5e84535f9102d962ae390290b | ocaml(Ssreflect_plugin__Ssripats) |
| = f40d13fafa3aeef746d33104b33ede26 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = c6d146c8f2237759fe1a8cd75deabd2d | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 7a600231b9488e120b4e5358239cc9a3 | ocaml(Ssreflect_plugin__Ssrview) |
| = 13de31f76194d86e41a930dc6f5247d4 | ocaml(Ssrmatching_plugin) |
| = c07d41c60413096b43b9d2cd9f6ed6ba | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 1208c7bb6cbe40b5d53a51fcfe9f4acb | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 54380a42612c023be92895eb75e54315 | ocaml(Stateid) |
| = df9df49ac49880ff2aeee30847a913d0 | ocaml(Stdarg) |
| = 85f85ddb47edc0c7579657eee740302d | ocaml(Stdlib) |
| = 9bcf1a06bdcfbb976f898e818e15611a | ocaml(Stdlib__Array) |
| = 55a812d9a3c89e7a8ebb917e63e4beea | ocaml(Stdlib__Bigarray) |
| = 12b944b4b2913751cd65bdc638975d4d | ocaml(Stdlib__Buffer) |
| = b0d2a0027e7278e26a1fe4bc0e79a690 | ocaml(Stdlib__Bytes) |
| = 71d01c936f35204d25fbdc2a38153066 | ocaml(Stdlib__Char) |
| = d5f041ccbe9783af90ca38337002fb4e | ocaml(Stdlib__Complex) |
| = 077769d83e00d11348b69204994c2ee8 | ocaml(Stdlib__Condition) |
| = ff876226ab2584c79cfe1afd26ca2f58 | ocaml(Stdlib__Digest) |
| = 0d152be3cd9163970a657d842fca8ecf | ocaml(Stdlib__Domain) |
| = b3ad0f8c65f28252059edebc03f68808 | ocaml(Stdlib__Either) |
| = bdab4e191fd0449be5e3038818ee8f9a | ocaml(Stdlib__Ephemeron) |
| = 218e1f57bdea9d296a9f66e323e71029 | ocaml(Stdlib__Filename) |
| = e7385010d0d6a0bbd4191bc7546d458a | ocaml(Stdlib__Format) |
| = 2fb21db8dc93e1970abdbab69be3d82d | ocaml(Stdlib__Fun) |
| = 2259960cc6f070189d9bbc89ce4392ee | ocaml(Stdlib__Gc) |
| = bafdecabd3fce4f5ccc09a1a5587dab4 | ocaml(Stdlib__Hashtbl) |
| = 1db604c2106f996ea47a572773a5ff7f | ocaml(Stdlib__Int32) |
| = 7ab3f2ace09cfcc67be8a7133d18f0e2 | ocaml(Stdlib__Int64) |
| = ca3d5c326131437daef18ae34e7f4aa9 | ocaml(Stdlib__Lazy) |
| = be62854f0fbcd8531fe531cd00e34821 | ocaml(Stdlib__Lexing) |
| = feb7c568830f9f239501efb83f4725e4 | ocaml(Stdlib__List) |
| = 71415964978d1cf0c1701af1137aa1ea | ocaml(Stdlib__Map) |
| = 89189418cadd7da3199ca631ffd25dc6 | ocaml(Stdlib__Marshal) |
| = b498a9640171cc6d35c0017d9efe8eef | ocaml(Stdlib__Mutex) |
| = 627e6e1768175d0dea895dfbcbc11457 | ocaml(Stdlib__Nativeint) |
| = 85655eceec5bcd6c7c4ef5dd6758b19d | ocaml(Stdlib__Obj) |
| = ce1d04478ff0e3403b8c05aa790a9f79 | ocaml(Stdlib__Printexc) |
| = 8debea255efc834da5c1bc2e73f09214 | ocaml(Stdlib__Printf) |
| = 7c394795afe79287e9401b5c6c36e64d | ocaml(Stdlib__Queue) |
| = 3f2ddc04bb28ff1050c0c8d7cf5a8d57 | ocaml(Stdlib__Random) |
| = c00e8fda2c354d0d6aed03da5643b593 | ocaml(Stdlib__Scanf) |
| = cc3f899885b746f777815dc93be7ede2 | ocaml(Stdlib__Seq) |
| = f849884bcf48f894e90800c7ccd98f21 | ocaml(Stdlib__Set) |
| = 2c058a31c4619e2e1504072ca87f6bee | ocaml(Stdlib__Stack) |
| = facad7e0dada5941148738b8188d844f | ocaml(Stdlib__String) |
| = a0375c47cee9c7e20ff8f61d4f04e748 | ocaml(Stdlib__Sys) |
| = 9ea864085095970c73b7b17c26c37317 | ocaml(Stdlib__Uchar) |
| = 2fce646729aeb77fa66361591aa9dc46 | ocaml(Stdlib__Weak) |
| = 35bc00ce0e9f43ef9d0e75fbc0ba3091 | ocaml(Stm) |
| = be566c971abadcb2e862ab121c8ecace | ocaml(Stmargs) |
| = 63270e261706eb1cea0ca37b342126b2 | ocaml(Store) |
| = 6033104bfe804d2da0486bb38da86608 | ocaml(Str) |
| = 24aba275ea30dea52e2da22b1ad6fc42 | ocaml(Structures) |
| = b581cf1ce99d796d79ca939552c34556 | ocaml(Subtyping) |
| = dc1c2505d9b1f77b75c6aca426effa7d | ocaml(Summary) |
| = 432a0f42d5e0fa4faa1ace1ac7b057b2 | ocaml(System) |
| = d9a48841c6edf83b6c5fc9f49983c171 | ocaml(TQueue) |
| = deb977ab888afefade68e53a1030f984 | ocaml(Tacmach) |
| = 251ae9ed0fd6696c3aebd5d914cc64ec | ocaml(Tacred) |
| = d9c3c068a9ec0363e46738dc9b8e23cf | ocaml(Tacticals) |
| = bc99036b575021c9469a54f7cdffa366 | ocaml(Tactics) |
| = 46cd140832db0a4b9b5c3813f1f2b415 | ocaml(Tactypes) |
| = 418aee7004a8e4c82b63c3a475eacf61 | ocaml(Tauto_plugin) |
| = d1d85dd60ebc47c2ab7926343361de62 | ocaml(Term) |
| = bb25f978f177386a840dae6230cf091c | ocaml(Term_typing) |
| = 75080731fd8263db909153552a951a5c | ocaml(Terminal) |
| = b4adc04b50c626897bf923e4cd756886 | ocaml(Termops) |
| = 2d90ce5b6257c36918fac0ce3319f3c0 | ocaml(Thread) |
| = c7e17493652fa46ec713b60e9fc08fef | ocaml(Tok) |
| = c15ff262ad703a050aeb2e22f0eea80f | ocaml(Topfmt) |
| = 7823591e24f8fe112e1e16e79655d585 | ocaml(TransparentState) |
| = cb681061aae66583742c00fb4f3a3472 | ocaml(Trie) |
| = bd68d109f199d1f123529472064d4ce6 | ocaml(Tuto0_plugin) |
| = b724f51689d5d5a2c83837ddb37b26ce | ocaml(Tuto0_plugin__Tuto0_main) |
| = 186133c7729f31cd7741919b01d18e7b | ocaml(Tuto1_plugin) |
| = 23442baa444ed9c09a9c2db3fc36e0ae | ocaml(Tuto1_plugin__Inspector) |
| = 55e77ff163437f0d88929b849a7bdba3 | ocaml(Tuto1_plugin__Simple_check) |
| = d5d17de1038d0358023dad3f28d1081c | ocaml(Tuto1_plugin__Simple_declare) |
| = 669741962dd344fe12a3e66d231f5719 | ocaml(Tuto1_plugin__Simple_print) |
| = 5c827c73edd6513780dee682ee12acfa | ocaml(Tuto2_plugin) |
| = d3225d276c9dfa753defdca6f0b33e48 | ocaml(Tuto2_plugin__Counter) |
| = 9bede7a90157587a3fde170e9f6f355d | ocaml(Tuto2_plugin__Custom) |
| = c4cb9bc336251dfd3b16117a7478e2d4 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 839d54fb85133174ca563f334cb88161 | ocaml(Tuto3_plugin) |
| = 8b4ae17fb97712a1acbeeb73b8bdc8a1 | ocaml(Tuto3_plugin__Construction_game) |
| = 69f6f5925a82a155fdd3c64b3f8c3944 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = ccc6b095df0172e70996c28a46a055ef | ocaml(Type_errors) |
| = b2e4186412dac99a2430de9d4fb3337f | ocaml(Typeclasses) |
| = ddf0ae0f051d624b3a64b07a09b8cc08 | ocaml(Typeclasses_errors) |
| = a1a9dbfbd29253afc85fb433b3edd7d8 | ocaml(Typeops) |
| = 91f2fc9bb478413f93fa4a23e4b1d3f1 | ocaml(Typing) |
| = 27ea9b0119ade4eab3827ab655b4694d | ocaml(UGraph) |
| = d548a2a4bdaad5a30afd65583788dd7f | ocaml(UState) |
| = 69f038589ad8461f82667721d319bc09 | ocaml(Uint63) |
| = ca7089ddb9ae8d5d6e027265142c5a4d | ocaml(Unicode) |
| = 44eb295ca704dc9db21b08c57fab3914 | ocaml(Unicodetable) |
| = ce2d4155b080b7ce63bc49841bfd3efc | ocaml(Unification) |
| = 9014e878993ce343b70cc81c55c99eb3 | ocaml(Unionfind) |
| = c7f67b2c06faaeeac37d4134d85684a7 | ocaml(Univ) |
| = c66e7e99afb88a1b75ebcaa1a84a5eb0 | ocaml(UnivGen) |
| = d9c243988b15a1145acffcd2d50644b3 | ocaml(UnivMinim) |
| = acfb4f75dcc88c28bf984b666dfb2c68 | ocaml(UnivNames) |
| = bf1fcc3d4d632b787dd90eba436e288b | ocaml(UnivProblem) |
| = 36b66b56cf5c40a7e66f709a7e16793e | ocaml(UnivSubst) |
| = 8da0575524ccb15782c0ca7ebc83ccb8 | ocaml(Unix) |
| = 4e2d66cd8854d72d19ca403ade93245b | ocaml(Util) |
| = dd4b54c7a63002dbbaf42b63ae2c0422 | ocaml(Values) |
| = 83a744e387e1a9296ab828829f307cd7 | ocaml(Vars) |
| = 171dcb4830d41761fb1372b1c19b18e5 | ocaml(Vconv) |
| = 3ff6b06e37c37b5af3975b6c93cb5c2b | ocaml(Vcs) |
| = aeca880fa68468a2afe04f459b2b50aa | ocaml(Vernac) |
| = 32207cc61b35b775b5fc64af8e84199c | ocaml(Vernac_classifier) |
| = b613d3f276521f0c0984693c6371ef29 | ocaml(Vernacentries) |
| = 4819a3602643a6a28fcd1293bc081b14 | ocaml(Vernacexpr) |
| = 85b8597350f5136edd4d4f835e8ca307 | ocaml(Vernacextend) |
| = bf1b1e74f8e080cb41763194d9a1caa1 | ocaml(Vernacinterp) |
| = 14904f85ea2679bac55a38014ecad4d4 | ocaml(Vernacprop) |
| = e3c86cf18c785d2f8fd9cbdc4e25b78f | ocaml(Vernacstate) |
| = 0253265481b587994e3a946ad8dc9bff | ocaml(Vio_checking) |
| = 3db543ada2e5a0b8f55aab593687439a | ocaml(Vio_compile) |
| = dc1652182ab6ff6d4f183491a9502d07 | ocaml(Vm) |
| = 901eac76543c714b27471d77c4300db9 | ocaml(Vmbytecodes) |
| = c5379f88ec6a4df49e9b35cdd22b4937 | ocaml(Vmbytegen) |
| = 914f5a6360e08c57a373d1aea72b8c44 | ocaml(Vmemitcodes) |
| = 891bc0cd84ef34d992317a5d131ee012 | ocaml(Vmlambda) |
| = 6cb92ed773a6a2d9bea66df51b46a96d | ocaml(Vmopcodes) |
| = 3d3abc7572cb63481f319b054b134680 | ocaml(Vmsymtable) |
| = d45c240d6b251288e3668fb3c0027bd7 | ocaml(Vmvalues) |
| = 73c7b13b66f5af7433ee0b99456e06e0 | ocaml(Vnorm) |
| = 09a9b6eb9859ab6dd7a677709c1f11c2 | ocaml(WorkerPool) |
| = af4d607b4dbe09d931cd3a2b78a84fe3 | ocaml(Xml_datatype) |
| = 0009d1c1f4074c1e5cac1497b3dc94fa | ocaml(Z) |
| = 1fae62e8555707a7ca16c9fd9212d7dc | ocaml(Zify_plugin) |
| = 2e507ca082f47ba6d845f6efe4f18ab4 | ocaml(Zify_plugin__Zify) |
| = 27019bf91643df7595440a70af36dc59 | ocamlx(Abbreviation) |
| = 973387e5a22c94e01c0a707f290d5bac | ocamlx(Abstract) |
| = e3cbdfd52ae47526c3906e684d18d68c | ocamlx(AcyclicGraph) |
| = 44d6bb785d4d9d51f8a1787b11a4867c | ocamlx(Arguments_renaming) |
| = bad74c44ee9810442fc930dab670ad8e | ocamlx(Assumptions) |
| = 2d2222e9efc592ff2c3fb6096911deb4 | ocamlx(AsyncTaskQueue) |
| = 65ce445048d18130b04d498bf788d246 | ocamlx(Attributes) |
| = 8e22af79a2fe9667751a86763a89b165 | ocamlx(Auto) |
| = 47747bc12613f0454a980baa181e2729 | ocamlx(Auto_ind_decl) |
| = 451c5e38cd39d9ebbf32d2591286a79e | ocamlx(Autorewrite) |
| = a913a69a06164caed3fbf905b121c7c2 | ocamlx(Aux_file) |
| = d959801e155161e9fdb37596a7f775f7 | ocamlx(Big_int_Z) |
| = 9ec17f06c183fda0b91b4ae8eac7290b | ocamlx(Boot__Env) |
| = 2276f436368158206b6a7b2399a9d2a7 | ocamlx(Boot__Path) |
| = a0e39d6123970ec32b97379cb7528a41 | ocamlx(Boot__Usage) |
| = 42a55a8c71a355576a1d946f08cd5537 | ocamlx(Boot__Util) |
| = 20c0f9468eaa1b51c53cfe7c8ea069f5 | ocamlx(Btauto_plugin__Refl_btauto) |
| = 3f143f24128089d3dc88c3c47b8b1b6c | ocamlx(Btermdn) |
| = 316832614721a381a692bb18696ed5f7 | ocamlx(CArray) |
| = 5c92de86f311d546570a591e7ac5e8c4 | ocamlx(CAst) |
| = 0afda6cf49674b33a53d448aa877567d | ocamlx(CClosure) |
| = 48a7a20f1818efa70c18608d2e17149a | ocamlx(CDebug) |
| = 2d4b0735190694300ae94061b4946479 | ocamlx(CEphemeron) |
| = c23ef3dd5eaf3a7773e9337b90aa0cb1 | ocamlx(CErrors) |
| = 8e9dfbdf9e5ad43276c1474fe2b5663c | ocamlx(CLexer) |
| = 4610b318d516eea0bb1060c41a238603 | ocamlx(CList) |
| = 5205e4f67385d8b2d9b885e5472680b0 | ocamlx(CMap) |
| = 8c3f4afe1b5f75decfbced2b3d5e59c8 | ocamlx(CObj) |
| = 3c7192b29b71d1cffd8ac1bb36142539 | ocamlx(CPrimitives) |
| = 09f59706fdc3b8f0a4e6aa969df94fb6 | ocamlx(CProfile) |
| = f3fb5e7dfb56f8514dae1e192d60d27c | ocamlx(CSet) |
| = 8b7c482132b2df142660e5c47761a86b | ocamlx(CString) |
| = b184ac70882bb2b154f99ec6055e20c0 | ocamlx(CThread) |
| = 6f38b195c536352138f81e412a5e6025 | ocamlx(CUnix) |
| = f3ba899a67fe52a176ea0c0f92396b8d | ocamlx(CWarnings) |
| = 58f88a5a5c64196bd9b440558fffce16 | ocamlx(CamlinternalFormat) |
| = 86b70b45542f76ceaaf8e37cf02f4733 | ocamlx(CamlinternalFormatBasics) |
| = cb7abf7287d654348173d00f3138d492 | ocamlx(CamlinternalLazy) |
| = d5a40fc44e7086875825e07d79519de7 | ocamlx(CamlinternalMod) |
| = 837bc42c277f1552b35648daabf1155b | ocamlx(CamlinternalOO) |
| = 67e7d901d0a5a22b1bca198bf93d61c4 | ocamlx(Canonical) |
| = e4fd8aaf811a349c4ae9863dc87a711a | ocamlx(Cases) |
| = 562a33e4430b61c0793807875071efb7 | ocamlx(Cbn) |
| = 6a2435c6d6575d42d0db0c9df276e6f6 | ocamlx(Cbv) |
| = cc36c89e4173104ecce700245b2e378b | ocamlx(Cc_plugin__Ccalgo) |
| = c5c5d076b61dc4c5e32c42d3aef05866 | ocamlx(Cc_plugin__Ccproof) |
| = f3d866595cc2a060f3da327cc7190c28 | ocamlx(Cc_plugin__Cctac) |
| = d077d0537b95746e9017f7692fc8b2d4 | ocamlx(Ccompile) |
| = 287056a4781cae6cf4be35553ff3dddb | ocamlx(Class_tactics) |
| = 93633196907a6d28c107625b7ca8c142 | ocamlx(Classes) |
| = 078e7a348fcb42d8be00ef0b84bca5f4 | ocamlx(Clenv) |
| = 09db4c65b4a534c3a8e144eae8d57afe | ocamlx(Coercion) |
| = 969dfc75e933e15ccc659554e276f03f | ocamlx(Coercionops) |
| = 1d1597797a34c721287e98fd8ff89565 | ocamlx(Colors) |
| = d3d5ab6a499c0d4ee279e9c79febe98b | ocamlx(ComArguments) |
| = 5bc211fc52edba84ab6a191185a8af39 | ocamlx(ComAssumption) |
| = 10381d2bb61876582fe124aa0cd8b8f9 | ocamlx(ComCoercion) |
| = 1e17f458e9a0da78ffbbacd13c2855bf | ocamlx(ComDefinition) |
| = 01272a3505bb476f925eaf237e2505ec | ocamlx(ComExtraDeps) |
| = 5d18e2495ab3fb2ecc7f32633955a22d | ocamlx(ComFixpoint) |
| = fdc62c64fd031a39959df56348db4f09 | ocamlx(ComHints) |
| = fdaea9b7086c5da7dab18200686cc863 | ocamlx(ComInductive) |
| = e37d15e961cb681faf9b0927eca8c0dc | ocamlx(ComPrimitive) |
| = 7d74de8d2f990af03bf66d17a1e27457 | ocamlx(ComProgramFixpoint) |
| = e58873ca9156e17284cb5f3ffd11d152 | ocamlx(ComSearch) |
| = 238b36b85666e428334ff2669820a8f0 | ocamlx(ComTactic) |
| = e6737296d7852b2499561a1a09010a62 | ocamlx(Common_compile) |
| = c91e9134bbc9df21b0d0123cd294aca6 | ocamlx(Constr) |
| = 8613d1f1db34d944d2f5956a30bfb67b | ocamlx(Constr_matching) |
| = 6e24f1789854498dad5478db7ed7c69d | ocamlx(Constrexpr_ops) |
| = b020c5cbad156d391f2c440208ee3509 | ocamlx(Constrextern) |
| = 9992c988ff9801d4fdf4249ff8c35341 | ocamlx(Constrintern) |
| = 71f03226e78f48ca011b6a1022b78098 | ocamlx(Context) |
| = b230c4999dd92558e3d2bb15cf6cfb47 | ocamlx(Contradiction) |
| = 2c70d5b36d3a13dc4f3b3dcae3d95b96 | ocamlx(Control) |
| = bb2b9fabb0f80a340b3e28729da7824b | ocamlx(Conv_oracle) |
| = 49631f76dcc0b2b2aba4ed791a08fa7a | ocamlx(Cooking) |
| = 4c20fe04be7f31030b92d260a2182b90 | ocamlx(Coq_config) |
| = b96a128216484bbad76c381902f03923 | ocamlx(Coqargs) |
| = 6e48d1cce0dab9fd7af86fe375b1a352 | ocamlx(Coqcargs) |
| = 19b5bf5efd2f43c318f9c3bb647c1626 | ocamlx(Coqinit) |
| = da58385f3d60b0fc81b627714ae1ab00 | ocamlx(Coqlib) |
| = 2d48e7b8e31750f07a43bef7628a8099 | ocamlx(Coqloadpath) |
| = 308a2a78992c9ffebac67a06a2dd53cf | ocamlx(Coqloop) |
| = cf961e618cc4d519e1ff46909444c1c3 | ocamlx(Coqrc) |
| = c21501a26e6b43d2b1dee0404c260e7c | ocamlx(Coqtop) |
| = 890bd3a54b49b34a490759e37c5e84f4 | ocamlx(CoqworkmgrApi) |
| = 17ecfc7895c793fc88edccfd3179d225 | ocamlx(Core_plugins_findlib_compat) |
| = 56a8affdcb2c3c7907650e41405aa9e3 | ocamlx(DAst) |
| = 828e3f239c5197d1f753371e86f388dd | ocamlx(Dag) |
| = 1d9cd75e270804cfb46684c1bcdf2155 | ocamlx(DebugHook) |
| = 9742869372b0dc366634ace27479f9a6 | ocamlx(Declare) |
| = ee6428ac4180c0176228180542b687bb | ocamlx(DeclareInd) |
| = 3f1d44d3a1ea54d093066fad98fed0be | ocamlx(DeclareScheme) |
| = 577446c0a1c81b47cdc91ee1aa52369f | ocamlx(DeclareUctx) |
| = ebfe3315aaffb40731512290d0e8f451 | ocamlx(DeclareUniv) |
| = b4e7539b367814ee94be3ee0a70791fd | ocamlx(Declaremods) |
| = 57285acc5ed31701b32dae40489b7573 | ocamlx(Declareops) |
| = 957c91752836ee43c0c21bc193eaef36 | ocamlx(Decls) |
| = ec31f391e4d9367276e01bd435759862 | ocamlx(Deprecation) |
| = f6a7793b73c2cd5372ac27b3460a102d | ocamlx(Derive_plugin__Derive) |
| = c610b59faf7417ca8078ba30b781a4ab | ocamlx(Detyping) |
| = 8be61045569e6cb9c7447fcdc78c6675 | ocamlx(Diff2) |
| = 9a9682c366ae59de2c2aeeddeead8945 | ocamlx(Discharge) |
| = 41edc7b34dc6501251dea7fab205a4f1 | ocamlx(Dn) |
| = 92108d2c8cd82df7efb12e8a34a9d30f | ocamlx(Dumpglob) |
| = 435da38c1a3214e67d2da6485bdd7127 | ocamlx(Dyn) |
| = 0662f8408b5f6c06e30fa74730241bdf | ocamlx(Dynlink) |
| = ef1480b027a07d8adf95f0e0a92cf1c1 | ocamlx(Dynlink_common) |
| = 9a99ded17f5dfef122748b3d904974cf | ocamlx(Dynlink_types) |
| = 58168840d12d9212fcb34ecb162d4d9f | ocamlx(EConstr) |
| = 257270f62659328b8b322d26df166c22 | ocamlx(Eauto) |
| = 77b60362cb32c56093fb991fe74d129e | ocamlx(Egramcoq) |
| = b4c83f47af3a80db9ff4d86a85047a85 | ocamlx(Egramml) |
| = dab19de2082d1210d68c8fbf47c4c494 | ocamlx(Elim) |
| = 8138515431ed0536481af5e540a1930f | ocamlx(Elimschemes) |
| = c0c15bffce4bd893ae0e33903e2b0c2e | ocamlx(Envars) |
| = 5776a082c51b2cb6d3d827636d9ae7c3 | ocamlx(Environ) |
| = 2cc340f652c9266041dd1c2bd14e01b6 | ocamlx(Eqdecide) |
| = e7dc7d126cf3c57761315a5f9628f16b | ocamlx(Eqschemes) |
| = b5d7e8b31c6210cc38bbe56e94d40c24 | ocamlx(Equality) |
| = 26acf8dc1986f42a70f37990cc713140 | ocamlx(Esubst) |
| = 3e1935b39a2ca8f7db008b316906e188 | ocamlx(Evar) |
| = 3057bd68bb2dbff681a3c14f3442cd35 | ocamlx(Evar_kinds) |
| = d1dac28e2017a0f47ff5722c64828832 | ocamlx(Evar_tactics) |
| = cd05f63385f8c7ac48ebc8c4f0876e0a | ocamlx(Evarconv) |
| = 5f872928cb46ac3ab719bfc58bd462f0 | ocamlx(Evardefine) |
| = 0aa8f38fa6ba3681a7579cd726ca863a | ocamlx(Evarsolve) |
| = 07aa163520026cd149d4c565f95ed53a | ocamlx(Evarutil) |
| = 4b1e4e08a26514ad7a701b3aba52d1d8 | ocamlx(Evd) |
| = 61051fa648ae5882c26bb2d07cccbe13 | ocamlx(Exninfo) |
| = db9b36c58ebae1a11cd3fd63146a5f24 | ocamlx(Extend) |
| = 8a580391e99d6da9455a2b4a7372273f | ocamlx(Extraction_plugin__Common) |
| = 817829b9dbea43a144f1c8c1d334510b | ocamlx(Extraction_plugin__Extract_env) |
| = 02ad969dffde4cf2f4a4a608d038d92a | ocamlx(Extraction_plugin__Extraction) |
| = 4e1b4513d6b394ecc0f41f9d84d9013b | ocamlx(Extraction_plugin__Haskell) |
| = 4b5034f9f4f69b4ae3f23a8dc9ed7e12 | ocamlx(Extraction_plugin__Json) |
| = 224d6390b08ac00a90fe7c932e3e064a | ocamlx(Extraction_plugin__Mlutil) |
| = 38b22ef892e8651c5fbc485367d5dd40 | ocamlx(Extraction_plugin__Modutil) |
| = dd9f71aa7d008734c5cc174eb4259a39 | ocamlx(Extraction_plugin__Ocaml) |
| = 7395ad1df8e6f1be197320cfb1472bec | ocamlx(Extraction_plugin__Scheme) |
| = 2fb41be273f802830371b189ab9a0d9a | ocamlx(Extraction_plugin__Table) |
| = c73521ee378e0e04cae4a32669ac19ac | ocamlx(Feedback) |
| = e98a3e8854af1189ea84c9f63274d7cd | ocamlx(Find_subterm) |
| = b2e17bfe20e674bd9b0d75aa60a5e0af | ocamlx(Firstorder_plugin__Formula) |
| = da4f6a4ece23f6327a39da4d1c7349fe | ocamlx(Firstorder_plugin__Ground) |
| = fefd9200a5770afe47e21b3d9f09e08b | ocamlx(Firstorder_plugin__Instances) |
| = b8df3d82ef527fce33675ee417bc928a | ocamlx(Firstorder_plugin__Rules) |
| = 46a70cbd707a54c891defdf75d7bc850 | ocamlx(Firstorder_plugin__Sequent) |
| = c8afbd9f10f50ae35819b2cdacf06de7 | ocamlx(Firstorder_plugin__Unify) |
| = 55ad8def4f6d7725420da1d9a3a3fe40 | ocamlx(Flags) |
| = fe5c48f69386e21cecc72b355046e733 | ocamlx(Float64) |
| = 8234f15a19971563d01ecb3037de9b70 | ocamlx(Float64_common) |
| = c938009cef2198c2de0ddf4ac2f299f8 | ocamlx(Ftactic) |
| = 12e55c7215183f0b5bae55c1165f7020 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = d324efd0eeea374a3fdbf2c9e2eb0c43 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 934c53b4f93568461f6fd6982fb958fd | ocamlx(Funind_plugin__Gen_principle) |
| = b91adcc1986f4a431884b85ea8ac3fee | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = af9d0c7d0b98e72c037b202e3d9d2264 | ocamlx(Funind_plugin__Glob_termops) |
| = 3ef24fdc58baeaafde7ed19e5640069e | ocamlx(Funind_plugin__Indfun) |
| = f12c3b4169749bb951cc6bb77682b58a | ocamlx(Funind_plugin__Indfun_common) |
| = 7d6af783bedb22920221b1e8baac9d4a | ocamlx(Funind_plugin__Invfun) |
| = 52418b2ead6f7edb0c91a62f12bef573 | ocamlx(Funind_plugin__Recdef) |
| = ddc1267c6fcccee037c468c60d1e7f60 | ocamlx(Future) |
| = 7f513806b2a9e26805d03f7b213c7c61 | ocamlx(G_proofs) |
| = e745449d7882d0d4542f770a7f23edc2 | ocamlx(G_toplevel) |
| = 857f846ac80f7d1b23b14266f2af2ada | ocamlx(G_vernac) |
| = 5a680774c163ce949989a48f27e1f360 | ocamlx(Genarg) |
| = 703f60d98aa1870171863b2d4bafde08 | ocamlx(Genintern) |
| = d2aed2f2918d0f5e8da348b806b29224 | ocamlx(Geninterp) |
| = 6b71be1c0c96a581a94e29ad68ebbae6 | ocamlx(Genlambda) |
| = 5a0b519ada34ebfe0cca2bce99b016a8 | ocamlx(Genprint) |
| = a2b97742b0289cb1fb1f3b057fc66b04 | ocamlx(Genredexpr) |
| = fc248f32ef31760278910efcf6f1d992 | ocamlx(GlobEnv) |
| = 8b074ed7139bd8ee7570ca5616f1889c | ocamlx(Glob_ops) |
| = 51ad6b989cd8502f12e2cbdafb9520f4 | ocamlx(Global) |
| = 4a402a4183e707cb2a49ae9f505f323e | ocamlx(Globnames) |
| = 12e26a9d8558b8832190ae911ecd50fd | ocamlx(Goal_select) |
| = 39683ffc016d0b9785169d220853ece9 | ocamlx(Goptions) |
| = 8fc9b901c2a5c34dd3e5431871f46bd5 | ocamlx(Gramlib__Gramext) |
| = 5b69f583eb59a1ae3e1fdea62835feb1 | ocamlx(Gramlib__Grammar) |
| = c62d083c4beb75f9be3f13f8e6ee5b51 | ocamlx(Gramlib__LStream) |
| = d32338c7318e14847d50cf5aafffc2fd | ocamlx(Gramlib__Stream) |
| = fe74d96d6d8e544c2079be0346abacf8 | ocamlx(HMap) |
| = 28f8babab418f5094cd72a8e8eee4546 | ocamlx(Hashcons) |
| = 929b777ac692624a39e11634e58972c5 | ocamlx(Hashset) |
| = da46e4ddbb66d7c9ccc7affe04d89074 | ocamlx(Heads) |
| = 53034515cece58d3f2321b8ba3555860 | ocamlx(Heap) |
| = 11d07a89e592b617ba96eead079ddc10 | ocamlx(Himsg) |
| = 4f5e1cb92494acc0f10bbd94bb96030e | ocamlx(Hints) |
| = 995336b49812a57fbde2a7583661c75c | ocamlx(Hipattern) |
| = f521bc0d917c73b1821de9bc73dcba7e | ocamlx(Hook) |
| = ee7490c5c8bce0d573cede66b2d01ffd | ocamlx(IStream) |
| = e5fb44d8e3cf697c5a6de63f8895f703 | ocamlx(Impargs) |
| = 488a3f31266d463ec92793aa681e3189 | ocamlx(Implicit_quantifiers) |
| = 23c8fc4e0cfc23b3aa1f375114abdd77 | ocamlx(IndTyping) |
| = 0f9b561370cf82ec47434cc04a4d2220 | ocamlx(Ind_tables) |
| = c6dadfab410552ef40ad50dc1ccb6898 | ocamlx(Indrec) |
| = c8fdb8c8c8c24266464c3299e0d81b94 | ocamlx(Indschemes) |
| = e332ea10826bfbcf100435db5bef694c | ocamlx(Indtypes) |
| = b4dd3c971da588870909bcb401221b04 | ocamlx(Inductive) |
| = 2d6eb67ae21dc88330ecbb29c4a443b9 | ocamlx(Inductiveops) |
| = 2da7bcd3ad0bfc6eae15204ec88ce39b | ocamlx(InferCumulativity) |
| = 876ec834dc7c38018754b7970256a34f | ocamlx(Int) |
| = 8d0ca9b5f29bcd976e9dd8bb0e42a6e9 | ocamlx(Inv) |
| = aefa29971f8126ff8c3e7fd50c031bed | ocamlx(Keys) |
| = e28535eac8ead360eb3475222bd1a9e1 | ocamlx(Lib) |
| = 19bca2597e4107d77b3b8c01486d8e4b | ocamlx(Libnames) |
| = 7f866b0bf616484babec805537f29cec | ocamlx(Libobject) |
| = 3a0eb66ae49155585666133b1b3a0f83 | ocamlx(Library) |
| = db048b9a632ff6bebcd29baf92e9be67 | ocamlx(Load) |
| = f6aa143067de52c0f6255bbb5f62d086 | ocamlx(Loadpath) |
| = c23a37ec4f347e017d6de59842b60027 | ocamlx(Loc) |
| = 2db4a47ddd52f73f9c7887c7bfdabc66 | ocamlx(Locality) |
| = ca8fab0dd59d1fbeffc3bedfa5bda6a0 | ocamlx(Locusops) |
| = f690b3d86ab71bce16be493e1ad14142 | ocamlx(Logic) |
| = 3f706a1259b11f672a6d3fddd5fbedab | ocamlx(Logic_monad) |
| = d61486b1bd950474cf779670e2113119 | ocamlx(Ltac2_plugin__Tac2core) |
| = 9ae358c739416d8043c933714ce32141 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = f9447de39d1cc4c46b782fa1eda85a02 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 5188e8b1230bc44ca95840e683721861 | ocamlx(Ltac2_plugin__Tac2env) |
| = f129564ef0ec2dfc3f32783868588520 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = b5069ed329e94efb35d2f0adfee0fb65 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = f1aace08178c9cf03689876c2fb2483f | ocamlx(Ltac2_plugin__Tac2intern) |
| = 8a9c4555c23773bb4c426823398a5155 | ocamlx(Ltac2_plugin__Tac2interp) |
| = d440acc7020117a95cebac4428c28206 | ocamlx(Ltac2_plugin__Tac2match) |
| = 54290ad1f6f4d72656f0cca4c6d9eb6f | ocamlx(Ltac2_plugin__Tac2print) |
| = f0ed9a00cafb540fe7f09ce8a6e67cd8 | ocamlx(Ltac2_plugin__Tac2quote) |
| = c3f8edeb945eba7f5426d7c335be6857 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 0b43f3d00fd9bcec25f2e990419273ca | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = cbbe417bf09f267d0e3a3e7b3a4c3999 | ocamlx(Ltac_plugin__ComRewrite) |
| = e7c552b784c3dc44e1f8e6f73e99a479 | ocamlx(Ltac_plugin__Extraargs) |
| = 8e648e81d96f957bca8147c05932e772 | ocamlx(Ltac_plugin__G_ltac) |
| = dd8c4169a6898d3912e7a6ee02646fbc | ocamlx(Ltac_plugin__Internals) |
| = dfcc04d3b813dee24468a49f5ea6f912 | ocamlx(Ltac_plugin__Leminv) |
| = 03441412238099d5b3164c69387c4e51 | ocamlx(Ltac_plugin__Pltac) |
| = 3b6dc3dfbd25bd854ac8606e83819cc8 | ocamlx(Ltac_plugin__Pptactic) |
| = e1074277aa3993f847094ef3d4f12176 | ocamlx(Ltac_plugin__Profile_ltac) |
| = eadad9467c9113bad91dcaf752825501 | ocamlx(Ltac_plugin__Tacarg) |
| = e6050149f565eb0766f8450e8bf9e951 | ocamlx(Ltac_plugin__Taccoerce) |
| = 3aabedc038873eeaa119a4ccd0cae511 | ocamlx(Ltac_plugin__Tacentries) |
| = 53c0982dd1dc0351974fa7aee6b0077c | ocamlx(Ltac_plugin__Tacenv) |
| = 9f0d61f5c47a9c3b784081a00e45d99a | ocamlx(Ltac_plugin__Tacintern) |
| = fa015cc04dbf1fd0b599cf08cfcd1246 | ocamlx(Ltac_plugin__Tacinterp) |
| = 6cee2502d11c9a19cd0565f943cdcc15 | ocamlx(Ltac_plugin__Tacsubst) |
| = 9c4130589a401d0bef8be1e193487caf | ocamlx(Ltac_plugin__Tactic_debug) |
| = f96ce8e3f7e8150ca11bdfd380fc105c | ocamlx(Ltac_plugin__Tactic_matching) |
| = 3a239ba5c6b06272c2da7348a44ffddb | ocamlx(Ltac_plugin__Tactic_option) |
| = 5fc28a091387a722d91556e6cb3f552c | ocamlx(Metasyntax) |
| = d56d69ff9ca7b1600ab7329bdb832de3 | ocamlx(Micromega_plugin__Certificate) |
| = 150e40851c0d727ee002f2bb3660f5cc | ocamlx(Micromega_plugin__Coq_micromega) |
| = ba990e6b7ed3cc2a4e51780444c564e7 | ocamlx(Micromega_plugin__Linsolve) |
| = b33e566cf0af525e853078ce58b61b0c | ocamlx(Micromega_plugin__Micromega) |
| = 3115ebb567dbe3043f0c0feb3a40fa15 | ocamlx(Micromega_plugin__Mutils) |
| = 1baf488ce1130e5a12b22c49d005808e | ocamlx(Micromega_plugin__NumCompat) |
| = 4466c771636c21564129fc321a9d7403 | ocamlx(Micromega_plugin__Persistent_cache) |
| = e97efb1ab29bbabe60219ddb6bb701df | ocamlx(Micromega_plugin__Polynomial) |
| = 1bf63a6ee24de3303c66ac00a689993c | ocamlx(Micromega_plugin__Simplex) |
| = 1cf739dc6be486e88cd0d15af812a0c6 | ocamlx(Micromega_plugin__Sos_lib) |
| = 1d1ed6a363029ab9caa38ce7360d599b | ocamlx(Micromega_plugin__Vect) |
| = 10ec63f48616779c50027717e3e4f555 | ocamlx(Miscprint) |
| = 9bea91991ab4f0173348a1cd5511b891 | ocamlx(Mltop) |
| = 17c5bb691b3307fb71cfe001908ec51f | ocamlx(Mod_subst) |
| = 17b5a13221f3cbdde9671f912b92aa03 | ocamlx(Mod_typing) |
| = 2ce13d0f9a29029233e616140f990265 | ocamlx(Modintern) |
| = 7fc4d4759898a7ec6f45d3967cd1a1d4 | ocamlx(Modops) |
| = 1531fd625fcbfec0386bc4416a03b238 | ocamlx(Monad) |
| = a830872c6278dd4580ce8227893fe479 | ocamlx(Namegen) |
| = 5d5c438cd368e75473d40edcad90c0f0 | ocamlx(Nameops) |
| = 0edf60f3030b7f3dea7cf9f1313b5961 | ocamlx(Names) |
| = 6dc5c62faf67c24ddadaa1f82e6f8a1e | ocamlx(Nametab) |
| = f0cf3e8c9b638fbd85b447241090764c | ocamlx(Nativecode) |
| = 493f04b7523762107a240fa7b2581db7 | ocamlx(Nativeconv) |
| = c4bd51d085b8e17ae8c8d88c835606fb | ocamlx(Nativelambda) |
| = a0a546d9458551437db320dc0c392355 | ocamlx(Nativelib) |
| = 62e8a9dcb0945f297305d08c281a7bd7 | ocamlx(Nativelibrary) |
| = bcecb1f17e25c083d5a312801b6a0eac | ocamlx(Nativenorm) |
| = 753e5b7262aeb1aa20aa51eb7ecad1a5 | ocamlx(Nativevalues) |
| = 5d6354b31d34358bcb2f2711bd16a44c | ocamlx(NeList) |
| = 9c52ee54a0ca7dbf0d1b725c3f28bb31 | ocamlx(Notation) |
| = 7f41c53fcf1040e88aededd8fb7dd294 | ocamlx(Notation_ops) |
| = 918157dc5451fb05042ef27fb9283554 | ocamlx(Notationextern) |
| = 4adb6b5f96809ef70125090025b5bc68 | ocamlx(Notgram_ops) |
| = 2972a168eafde4bd4bf8a499663f433e | ocamlx(Nsatz_plugin__Ideal) |
| = e24ec16458fdf33da0f8987a90e02601 | ocamlx(Nsatz_plugin__Nsatz) |
| = d553f8e4a903cd9c34e4b2679587ab80 | ocamlx(Nsatz_plugin__Polynom) |
| = e5490d59ecb2fc6074e8e7d58d4ae32f | ocamlx(Nsatz_plugin__Utile) |
| = 3e330e90e958af90952f9fae6df34e17 | ocamlx(NumTok) |
| = 3d8e4f0ef725657eab3586671cb97f45 | ocamlx(Number_string_notation_plugin__Number) |
| = cbf851ae8f2c0663b16354b8f770613c | ocamlx(Number_string_notation_plugin__String_notation) |
| = 1b083e16b842d0ccfa1b6fd5a5a185cc | ocamlx(ObjFile) |
| = 8ad1318a11783cead8213eb353b4ca89 | ocamlx(Opaqueproof) |
| = 9260e03ca1e0b84c2f3406e37bc79958 | ocamlx(Opaques) |
| = f833280a6b196f2c932a082fc52f0e11 | ocamlx(Option) |
| = 597f0111bf9a56dd743092408b71db9d | ocamlx(OrderedType) |
| = 620b9b963879eaff81d8ab67f5f9f25d | ocamlx(Parray) |
| = ec078f6eec995bb111ee732e71bc42af | ocamlx(Partac) |
| = 86f94818826f23e871c478bd11e65926 | ocamlx(Patternops) |
| = 010455615c6961588db9ec9e5b9ff22c | ocamlx(Pcoq) |
| = 512b0be344cb419a302b1b9ee4271094 | ocamlx(Pp) |
| = 9a4f3a5ff698746e2ed06674a8200fbd | ocamlx(Pp_diff) |
| = 9d7165cf207716d00b593dad95fdc59f | ocamlx(Ppconstr) |
| = b57561dbad87062e68b80bb5eefeadef | ocamlx(Ppextend) |
| = e7b9df95a8b5304634ba59feb5c6b52c | ocamlx(Ppred) |
| = 618d46ac930770a2dcd8ecf0527cadb0 | ocamlx(Pputils) |
| = 0dcfd4b3611ccc2f0dd13f5e1da6569a | ocamlx(Ppvernac) |
| = ab67d36eefa4d91ba66178d4d82a478f | ocamlx(Predicate) |
| = 95661d3397fbf2b6a1041e27c068d14d | ocamlx(Prettyp) |
| = 40f2190754bb973c20a0381a4d5c2cdc | ocamlx(Pretype_errors) |
| = 2b3efd9054bb0a3545e42c78846f90dc | ocamlx(Pretyping) |
| = aa923e21423a424d395f6a8813fc5c81 | ocamlx(Primred) |
| = 6e94e2c442299de55e42a8e239b981d4 | ocamlx(Printer) |
| = b41e656bb7fa2ecd95991c6603416f88 | ocamlx(Printmod) |
| = 989db0cb024f9445c8a6d18c37b66bb1 | ocamlx(Program) |
| = f55dc16fb2b21595a28b987aa1c1fdec | ocamlx(Proof) |
| = f1c3d427af5103bb330766e3e061897f | ocamlx(Proof_bullet) |
| = 8f2ddaa798a16ae1e2a995e43f586cac | ocamlx(Proof_diffs) |
| = 771d840d4ae0f5579b7d5773eed4e6b0 | ocamlx(Proof_using) |
| = 01ce6ae00491f574d135392ee2676fbf | ocamlx(Proofview) |
| = 792652cfb62c8d2ac9c566dab1821d98 | ocamlx(Proofview_monad) |
| = 23397e9b4219bfd921b6dfa195813089 | ocamlx(Pvernac) |
| = 6dd7d79a7e38cd49dc1c73c134f5ae87 | ocamlx(Q) |
| = 7d711a9c41f4a476770474e9a9c6dc69 | ocamlx(Range) |
| = 5cfc3af992bae2defe3c9be26403dce2 | ocamlx(RecLemmas) |
| = 6c550ef5dc559643985a63ac282caaf0 | ocamlx(Record) |
| = fd87dda36282268b888b5b28872f8fbb | ocamlx(Redexpr) |
| = b04fecf7412c09576a98418ba4c79097 | ocamlx(Redops) |
| = 0590cdb2263e6a8fabe26d0d142be256 | ocamlx(Reduction) |
| = df3f6e0e9556da94eaca48e5a4d7f1c5 | ocamlx(Reductionops) |
| = f64744d6c5b83aed0dc08d66e7e88002 | ocamlx(Refine) |
| = a87b7c951217badcd36626dbaa6a55b3 | ocamlx(Relevanceops) |
| = 3b380090af18cf7d2cfe37e0d34d8c20 | ocamlx(Reserve) |
| = 2bd0974b474b678769ae932f04e8ebe4 | ocamlx(RetrieveObl) |
| = e9370ca20243e20b904e72f1e4e475e8 | ocamlx(Retroknowledge) |
| = ef17df09b6995a9cf173996641c8c889 | ocamlx(Retyping) |
| = 9b3a6a24344d722ec43dbd3d9117dae4 | ocamlx(Rewrite) |
| = e6b097cb8a40e83e826c8f1b449bf731 | ocamlx(Ring_plugin__Ring) |
| = 4d8c7e7dee33078d6ab67784d1f5c723 | ocamlx(Rtauto_plugin__Proof_search) |
| = 58a9e13185d54a8b36d35dd9a35be9db | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 9e037865c0ece076ceb53fdbee39c170 | ocamlx(Rtree) |
| = fb91cc165aa5a2b87d0700bc94ce7920 | ocamlx(SList) |
| = 6f007cefdf18d45141128842b7d1fa20 | ocamlx(Safe_typing) |
| = 2d0f54c0d403e5b28aa9e64c7a0d9d13 | ocamlx(Search) |
| = 7bf25cc8bd73fb9b23dba8773534f2f7 | ocamlx(Section) |
| = f21f1b28099ba9db638e2bb02915a529 | ocamlx(Segmenttree) |
| = d49d0c79e49ce44d40471b46872ea582 | ocamlx(Smartlocate) |
| = d7b32da53e7561408cd2e2a6bbbe52cf | ocamlx(Sorts) |
| = ba2a366e27767ea10607e9b9c5d75e67 | ocamlx(Spawn) |
| = 2204c9745220f8d8d68083d45ece68fd | ocamlx(Spawned) |
| = 5cad0b5943e917b043faa891f3389c54 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 30e9f9b18ea96a8519c284ba3748c766 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 773c7f4b101b047b208b8c0f24d5ec5c | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 5ecbe34c05bf0878c3cd47e5c4cd8374 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = cd93d3f1404f48a87a0e26d28c9e87fa | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 6627e860afcdfcfd7613c1b6d499cda6 | ocamlx(Ssreflect_plugin__Ssripats) |
| = e43cb94e363a0aa9b8d10f55e8a1f8ac | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 54c2053e5fb8376b4553bd1c3a0e3ba5 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = fd2f98fd9a6bb11dde319a9c23860621 | ocamlx(Ssreflect_plugin__Ssrview) |
| = ecebaaf01832d1064a25a8522290f8b6 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = e4a8ddf40f65b84c8b89faff71597ee7 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 922f2a7ee6e38384c67f2e5640f215b6 | ocamlx(Stateid) |
| = b841b73e67dae7d843fbb18ec74874b6 | ocamlx(Stdarg) |
| = c6f226e44d674edd1d531948ff863828 | ocamlx(Stdlib) |
| = 888f09bbed5faa92247fb11d913bbe54 | ocamlx(Stdlib__Array) |
| = b408aede49ea6c933a86ec2dd65b7cda | ocamlx(Stdlib__Bigarray) |
| = 3bbe0fd85e51b1403af1226c5d608789 | ocamlx(Stdlib__Buffer) |
| = cb1095d933ce955029ed699727baead0 | ocamlx(Stdlib__Bytes) |
| = 9d509a8b8f129bee104d1c5e382565e5 | ocamlx(Stdlib__Char) |
| = 5adb267e71b45b85e67c0e392d51487a | ocamlx(Stdlib__Condition) |
| = b71b113b4221f59923bc674f67cdc511 | ocamlx(Stdlib__Digest) |
| = d7f8796322f2cd99efcf341f8e42acf4 | ocamlx(Stdlib__Domain) |
| = e89d97a3ed975536fa9b054b04d01689 | ocamlx(Stdlib__Ephemeron) |
| = 1a0948a06efab72702b15994c0522f5d | ocamlx(Stdlib__Filename) |
| = c94bb08665553c56dece8353dbff3b32 | ocamlx(Stdlib__Format) |
| = 6df881bdc3f690eb14e929330473335a | ocamlx(Stdlib__Fun) |
| = 19cc825fc8eda58764714133c836daf6 | ocamlx(Stdlib__Gc) |
| = acdc6437bcb9e7a81c6ed8660e82b471 | ocamlx(Stdlib__Hashtbl) |
| = 99632de13ac495e76e51b159d0c9d045 | ocamlx(Stdlib__Int32) |
| = 34583d780fb32553cca7b01d146bc5d2 | ocamlx(Stdlib__Int64) |
| = 3b140d54ad55fc79336655b321ba4251 | ocamlx(Stdlib__Lazy) |
| = b78ab95aebcef67de9b99ec053edb534 | ocamlx(Stdlib__List) |
| = 7b1e4df07736a72638c021a5a9ffbccd | ocamlx(Stdlib__Map) |
| = c77767ad4a192fdd891143b9441fefc8 | ocamlx(Stdlib__Marshal) |
| = a9c4a3c47a6cb448397f79c1ed915691 | ocamlx(Stdlib__Mutex) |
| = dc9e0059b8bcfff0535b76d7f47c1795 | ocamlx(Stdlib__Obj) |
| = dbd2965d5e68fda0a54826680cfe3254 | ocamlx(Stdlib__Printexc) |
| = 662e9ca31ecdf5f11c9788ed827feb11 | ocamlx(Stdlib__Printf) |
| = 968e2f724fd81b382edfc126f84c80d0 | ocamlx(Stdlib__Queue) |
| = 2617b12d0fefbf237d757668e0688155 | ocamlx(Stdlib__Random) |
| = 194cd750fb6f7e70c46fdc85aa1a0a95 | ocamlx(Stdlib__Scanf) |
| = 97f28c73dceb6fdb51985a1ca0c2f52d | ocamlx(Stdlib__Set) |
| = 018afd60df09186eaef4d0d459f62321 | ocamlx(Stdlib__Stack) |
| = ff814de8355985ea0e450e0986a59446 | ocamlx(Stdlib__String) |
| = 318f20829e5e32f065cd5b00f4538f80 | ocamlx(Stdlib__Sys) |
| = 1662d917b454dc90a83a0e89c6e379ed | ocamlx(Stdlib__Weak) |
| = b1f54b56ba65134e4183651a1592c91d | ocamlx(Stm) |
| = a3ef6a6edefe3f2959a8683f878d1424 | ocamlx(Stmargs) |
| = 3755eb8d7ee8071f785f9543a3ae4f4e | ocamlx(Store) |
| = 924f01c074dacb70584a6f40220f4c26 | ocamlx(Str) |
| = 4c995c31ecf2bfb675b4b0331bb06b38 | ocamlx(Structures) |
| = 695fad8f1a2ab6d7670b09cbd7eb7db1 | ocamlx(Subtyping) |
| = 3f155d78648ef81ede71f01ab5867f2c | ocamlx(Summary) |
| = b9f70a7b3c93a2973397762f41dc8646 | ocamlx(System) |
| = 4f8bd47c30b524d69665ecee00d5c349 | ocamlx(TQueue) |
| = 52005d64b152e6c2071b74fc3580f630 | ocamlx(Tacmach) |
| = 3b0825e1637de92e95f48334e940b141 | ocamlx(Tacred) |
| = 12ff1d20474e94b805cf98686b8e8222 | ocamlx(Tacticals) |
| = 45ebf3b29cfbbd60f3eaf0d10d44a4c4 | ocamlx(Tactics) |
| = 0f27b405f6d55af36f6e90147808fffd | ocamlx(Term) |
| = 8b4c400d4c8fba5efeffe47893254e28 | ocamlx(Term_typing) |
| = dc2f054a79a7003b3463e64b3de01843 | ocamlx(Terminal) |
| = b3933d5c83bfde7caec5ed25ee049f59 | ocamlx(Termops) |
| = c76409bc97dd32b0ffc37ebf09a0b9db | ocamlx(Thread) |
| = d66056ffcf3e10815de488abcb7f877c | ocamlx(Tok) |
| = a8b0a631da8b483b5788cc743606c09d | ocamlx(Topfmt) |
| = f75e3ce3d9f5e75f9097d6f4ce49f820 | ocamlx(TransparentState) |
| = 3895062cc3abedbc3247191ea017dee9 | ocamlx(Trie) |
| = 302bcd872753aa64110ab842be687178 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = f99bc49106e35f76cc32c60964479622 | ocamlx(Tuto1_plugin__Inspector) |
| = 72bcae07c2cd88acf10c58429d153c43 | ocamlx(Tuto1_plugin__Simple_check) |
| = 975d669d43e997473856e9bc273e7077 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 75123017e91f7d34981b2755d5695bed | ocamlx(Tuto1_plugin__Simple_print) |
| = 2943be974c57c3e31acf81c9a0aac660 | ocamlx(Tuto2_plugin__Counter) |
| = 10edb4222cbddf711b4485cbb89cef26 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = c0a8182270023d35df8681d179998e7f | ocamlx(Tuto3_plugin__Construction_game) |
| = fc556f9cfc9d9c93a52182465329f1b5 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 95b0b9c8b5368940516fab3823c635ec | ocamlx(Type_errors) |
| = 6b1c123cd9d4c25bf03a1e399f267ac1 | ocamlx(Typeclasses) |
| = 4ca2da363d2f15a3ea867e7585edc32d | ocamlx(Typeclasses_errors) |
| = 1cd8fa1c370b7f30403063135363b52d | ocamlx(Typeops) |
| = 499e2923ec91c1f703f75d6d6b0f6be3 | ocamlx(Typing) |
| = 555a12a84cac06599c5ebc6657ebb8c8 | ocamlx(UGraph) |
| = cba6eff8d5f9df483127334986c6704d | ocamlx(UState) |
| = 15679073118717ab37b3acd758d5eeb1 | ocamlx(Uint63) |
| = 889fdcd19581d9ad932eeb1cc20e343f | ocamlx(Unicode) |
| = 66c66c38d1f928fd3b5ba09df2498371 | ocamlx(Unicodetable) |
| = bfa2c8ef59114ba520b2fec668b16b5c | ocamlx(Unification) |
| = 8246f3486bf7e2c27d9e11279783297e | ocamlx(Unionfind) |
| = d5a90b7bb24316ebda8db1556abad609 | ocamlx(Univ) |
| = 4bd0f51dc2a1fe66560d3dbf4238863b | ocamlx(UnivGen) |
| = 046e0519a9d038762f1ad5ef118097c6 | ocamlx(UnivMinim) |
| = 0ff43376bd4dc8461cf166ebc2db2677 | ocamlx(UnivNames) |
| = d7ec5e8574cc4e36385a268d534b3ccc | ocamlx(UnivProblem) |
| = 4641d1df67ffd7a7df92680b01eb86eb | ocamlx(UnivSubst) |
| = 0fcc9ad8081b664e01ea70f9c9f893df | ocamlx(Unix) |
| = ff77666486d62bb9e2b9c32e7e270253 | ocamlx(Util) |
| = e7d8178cf5272b18aeb1d48916d3099c | ocamlx(Vars) |
| = db8a343da40001a37893584a0dd2bb71 | ocamlx(Vconv) |
| = 267ed2f405d88f1e244c7be76772ee60 | ocamlx(Vcs) |
| = d5b6c6fbaecee93cce227477eb12fe60 | ocamlx(Vernac) |
| = b6175ce9b33116b49247bf5b29d973f9 | ocamlx(Vernac_classifier) |
| = 2f310bf2ca4982655a00c31b1c116ec1 | ocamlx(Vernacentries) |
| = 63f15fbd2fc2762121b679dcd97f658a | ocamlx(Vernacextend) |
| = e44dc2a877faf07ba93bf8d6a00aa6d4 | ocamlx(Vernacinterp) |
| = 3076fadece0284017989ff4eae037a08 | ocamlx(Vernacprop) |
| = 034d3567af133fbedc8b85315fb69d2a | ocamlx(Vernacstate) |
| = 209b22d9a51e54f2513ffb643a0ffde0 | ocamlx(Vio_checking) |
| = 4e0fb2a09d6213f67ebff6cba53b0ab8 | ocamlx(Vio_compile) |
| = c97303b7c5a0618e6ff7b6246b3bfe45 | ocamlx(Vm) |
| = 5dd13ad523cce1518e9c9663e3505ccf | ocamlx(Vmbytecodes) |
| = cd6d32bc07e6013c5f6b3fb71794b927 | ocamlx(Vmbytegen) |
| = 322c255af398f2cefc266da7360f8c05 | ocamlx(Vmemitcodes) |
| = 610412f326cae0debe9c496bd26254f1 | ocamlx(Vmlambda) |
| = 8e2b273995de4fb4313240d2344f6169 | ocamlx(Vmopcodes) |
| = 8d91652a4a4f4457f44abf9cf694abb2 | ocamlx(Vmsymtable) |
| = 27e9119aaa9c61b3edc0957c1dcd4082 | ocamlx(Vmvalues) |
| = e30f98aaea486eb4abcefdec43ca02f6 | ocamlx(Vnorm) |
| = 7c7e4d1e63559bf4e36994aba5c6d8eb | ocamlx(WorkerPool) |
| = 6198bfa6e30905f220cf5f1cd3d005f9 | ocamlx(Z) |
| = b99bf62d3843690133136590bd889e54 | ocamlx(Zarith_version) |
| = 95a019242a0c6c9603ddbbd2095de1d2 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.17.1-5.fc39 | coq-core |
| = 8.17.1-5.fc39 | coq-core(aarch-64) |
| = 1ea36b40d63be50a2973136602e501d9 | ocaml(Abbreviation) |
| = 5eea1ef0f68e067fa5c0a022683b7f07 | ocaml(Abstract) |
| = 075502ca3357cf235179ed6b9b34d699 | ocaml(AcyclicGraph) |
| = 980b6499a34b42abc2d5f2f92de781a0 | ocaml(Arguments_renaming) |
| = 2cb77cbeddba9853c849317ff233cd38 | ocaml(Assumptions) |
| = bc2cad92fd259b84de12b4a3b59cce61 | ocaml(AsyncTaskQueue) |
| = 10a9271295c73222723c35d497a9c142 | ocaml(Attributes) |
| = 7217bd18daec2903fc898d339bdd281a | ocaml(Auto) |
| = 21f518e4ee90ed909d9ee424b7a07efe | ocaml(Auto_ind_decl) |
| = b2dec714af18dbccdad73307040b7abf | ocaml(Autorewrite) |
| = 446a9bc1bca7241dbd82226640d34b8d | ocaml(Aux_file) |
| = 43145732bb85209ab41a902e180a47fc | ocaml(Boot) |
| = eeff6b49448b096ab1f7cf11af339b79 | ocaml(Boot__Env) |
| = 065e2a6aa1b88d1430023da43115eecc | ocaml(Boot__Path) |
| = 106fe5d619dbada8e803243a726307cc | ocaml(Boot__Usage) |
| = d82faef5571ef4e43fb83c5fb7988d5e | ocaml(Boot__Util) |
| = 53003820aa5511da965c3279d86ecece | ocaml(Btauto_plugin) |
| = 1463bcb1ab991ada0443329b21ee4ad7 | ocaml(Btauto_plugin__G_btauto) |
| = 1ec5b7751961344e6f6e4517abfa86db | ocaml(Btauto_plugin__Refl_btauto) |
| = e48af796dfad4504c67cf62110e00ca6 | ocaml(Btermdn) |
| = 6d58569e3639e38decf1a0dbacbf0726 | ocaml(CArray) |
| = 42d6ecfe3ce9d100a355b5990a884114 | ocaml(CAst) |
| = e6f92f47a3a34da19529eb5ab292a15c | ocaml(CClosure) |
| = 326079a49c3f190b8b7ab5844c584942 | ocaml(CDebug) |
| = 93e20cd55896e94be0d04b06c6571279 | ocaml(CEphemeron) |
| = 00917bcf8ba9a78b4ea100f83590b566 | ocaml(CErrors) |
| = 1043263672c154d231446665dd8e458d | ocaml(CLexer) |
| = f40080596f5cf76bf47880b35de4d520 | ocaml(CList) |
| = 57c0f678ba0c1d7497fe55560bcebe5e | ocaml(CMap) |
| = 1ffe6496dc68e0493a0b7dd654261007 | ocaml(CObj) |
| = ee0d0284977cedc9a396190afc96b017 | ocaml(CPrimitives) |
| = f65c51ee4bce727d8b9088a358e5ef4f | ocaml(CProfile) |
| = 7d7be9cc23fb38e10753233bf859750e | ocaml(CSet) |
| = cbe0b0a079f2ef2dcd13f42ae80840dd | ocaml(CSig) |
| = a4fefb8c8cd7dd8cf22cbb31ad12719e | ocaml(CString) |
| = 9369628f10c527279600dd048e6a87bd | ocaml(CThread) |
| = 02c1e8f824a500e558673c6fa375775f | ocaml(CUnix) |
| = 138f0dd6ea66c78650a91d3bc1a03b86 | ocaml(CWarnings) |
| = b759dc5f7bb618c7ff5fd8453b7c5fbc | ocaml(Canonical) |
| = 649ec23093ef602cf0e1d44bd813a6bf | ocaml(Cases) |
| = 97760848e0578ff5e815b9fcb2a8d832 | ocaml(Cbn) |
| = e05e268f8e25faab37fad4b408279a87 | ocaml(Cbv) |
| = cf0c15430522205e4ed7cc115dd5420f | ocaml(Cc_plugin) |
| = ac08d73347bde8a63ba522a016e5fe5b | ocaml(Cc_plugin__Ccalgo) |
| = db7ae9e94172f5ff56a8918984d57f4d | ocaml(Cc_plugin__Ccproof) |
| = 7163e8dcf17f5f19f3bed9506dcaab40 | ocaml(Cc_plugin__Cctac) |
| = fdd27d14770326f7c23efd71a275e6fb | ocaml(Cc_plugin__G_congruence) |
| = a0d16a12edc740c5b8070bac3fdf5f83 | ocaml(Ccompile) |
| = 231bfb9ed9f114e3259c8d697d4f3fe2 | ocaml(Class_tactics) |
| = cc52b32fa9e97b66e0c23d7bcd017f77 | ocaml(Classes) |
| = 6b00081dfa51b1e4eb7bb3930d0d8348 | ocaml(Clenv) |
| = 270ac037037a8b72fa053e40133db760 | ocaml(Coercion) |
| = 72d5956fe74aa7305ae3bbb641e3b983 | ocaml(Coercionops) |
| = 56d65134ea11ecaaf87832feebcc1b19 | ocaml(Colors) |
| = b59f7e4aaeb1c0f5750d8817e1be9f45 | ocaml(ComArguments) |
| = 58a01d89edc4486ceeb2cbcf89d255dd | ocaml(ComAssumption) |
| = b67bcdc0ecb39a0ae826d4240009f9b0 | ocaml(ComCoercion) |
| = 7ca4fbaa0c4c0e3cacdd753e0aeb3a94 | ocaml(ComDefinition) |
| = 374de6d14aa52d44a10ce7a3a19897f5 | ocaml(ComExtraDeps) |
| = 49c3d3b42278a253d38028ea05a76e55 | ocaml(ComFixpoint) |
| = 09bff15f63f136b1a5b92b0ea4ff9e56 | ocaml(ComHints) |
| = d662801d133b5a1ffd497bade664ced3 | ocaml(ComInductive) |
| = 77fd7a5a5e83b41484c355b1ecc3d6a4 | ocaml(ComPrimitive) |
| = ba02b29ca07b9bf34fe603e88a10081b | ocaml(ComProgramFixpoint) |
| = 36c01327193b1358c76a3b0636c5d686 | ocaml(ComSearch) |
| = 07a9bdba58dd11bfb27eee213175909d | ocaml(ComTactic) |
| = c1497c4cca56221a0660e73c60329269 | ocaml(Common_compile) |
| = acf664940fffc0313c01688209a0d237 | ocaml(Constr) |
| = 9366efd297a899f886b512017425f7dd | ocaml(Constr_matching) |
| = 001812fbe88649fb85bc1e1063d17af5 | ocaml(Constrexpr) |
| = e521ef16104f8c8053087671fb87f9d6 | ocaml(Constrexpr_ops) |
| = f2649c93c03ed095b70398ef3eba5b72 | ocaml(Constrextern) |
| = a8033a28fe7fca27d16d372e65fed2d6 | ocaml(Constrintern) |
| = 3fe7fbe659a4f13008383d4561c31eb0 | ocaml(Context) |
| = 7612ef0bec10dbb8e2b58c9e04d720eb | ocaml(Contradiction) |
| = 705fecc4af18942904bb999ae7333291 | ocaml(Control) |
| = 710e6424928355e4e79f94fc54e3996f | ocaml(Conv_oracle) |
| = 18a51bbae8bd6cfbdcbbe7f63e3c6353 | ocaml(Cooking) |
| = 5b979c98e257ab13051a2b63c826e2de | ocaml(CoqProject_file) |
| = ad63fb43db20783159b0795a5ff28af7 | ocaml(Coq_config) |
| = cd27199f098ea9e64fd09d1adb67f06d | ocaml(Coqargs) |
| = 98973a75ea537f0e53213d01785a2921 | ocaml(Coqc) |
| = e4fbb80c91d8476a3f5cfcaaf6e044eb | ocaml(Coqcargs) |
| = 313d659182f783c95dba627618227cf9 | ocaml(Coqinit) |
| = af23afa2424208686fde11efe7e05e65 | ocaml(Coqlib) |
| = cd5317c42432329d8ae596b3cc9fc087 | ocaml(Coqloadpath) |
| = 508c8bb002b3af1dfe029b6bb9926048 | ocaml(Coqloop) |
| = e1e41192cce3868c21f35bee8e9367e2 | ocaml(Coqrc) |
| = 2f30185ef61f26aadab594d842c6f4d1 | ocaml(Coqrun) |
| = 66a72a0a31ad6132d8c4fd7f668ca377 | ocaml(Coqtop) |
| = 49de4eead2e6f33da68e7afac042c450 | ocaml(CoqworkmgrApi) |
| = 80ff6829d6e486ac5603f01e61095ce7 | ocaml(Core_plugins_findlib_compat) |
| = 2f2b7acba36e311950e44668c73498db | ocaml(DAst) |
| = 18c1f55fbe60e9d9b988164d316e1cad | ocaml(Dag) |
| = 5b7192faaf31fccd63ad285c9cd83037 | ocaml(DebugHook) |
| = e11e7b55e2022e146635311703c7f8ca | ocaml(Declarations) |
| = d2c0103ef1dc9d638c4f209a7cefc785 | ocaml(Declare) |
| = b993ec516849240152a5e6f7df42ed33 | ocaml(DeclareInd) |
| = a219447b6c78a4eab3af89bdbf3bda07 | ocaml(DeclareScheme) |
| = c14e01efa705f027f273f7ccb1b91afe | ocaml(DeclareUctx) |
| = 75571deee8a0b33bc7ab01c5e88e06d6 | ocaml(DeclareUniv) |
| = 86af76c503a5c17f27d1b57895a1b62b | ocaml(Declaremods) |
| = c11e3d4a5cb8e274514b5742be4485db | ocaml(Declareops) |
| = ad2128d119f2ee083fd08bc3fcbb1bd8 | ocaml(Decls) |
| = d7b041802f27786187ee8416dee16311 | ocaml(Deprecation) |
| = 78d505fae5f5bf6eecf03a786dd27bdc | ocaml(Derive_plugin) |
| = 17b661e90a3ebcf5fb9c52d9ec66aff8 | ocaml(Derive_plugin__Derive) |
| = d1b1d54bb1cda8efd50937a4ae919875 | ocaml(Derive_plugin__G_derive) |
| = 1cb87a0c831a705c15a3531e9052d029 | ocaml(Detyping) |
| = 926b80ac1ee1ed0ac9c0f26e9c85f74a | ocaml(Diff2) |
| = b372f9bc1804245e8a8b26fb15fca0be | ocaml(Discharge) |
| = fc829bfd97349dafa693029ebea88f2f | ocaml(Dn) |
| = 05df61c86fa04d0600215123dc34a560 | ocaml(Dumpglob) |
| = 1b538aaee631897369983bb45811c33a | ocaml(Dyn) |
| = f12616ad158d21a2ed5537e3da0fd5b1 | ocaml(EConstr) |
| = ae17d49d6c00ce13cdfe125d36a7a904 | ocaml(Eauto) |
| = 415ca3186196a8ff2636eac1ec5eeb53 | ocaml(Egramcoq) |
| = e43429459066e8e396cf593cc56c702c | ocaml(Egramml) |
| = e835b0432411b41f291fe7858b1d9cbb | ocaml(Elim) |
| = 2a36c7a9c0086cb74dd953b6cfb2922b | ocaml(Elimschemes) |
| = 511d06092314c189eb1c73b513757058 | ocaml(Entries) |
| = e538c014f2559e2d5bc451f89f378e01 | ocaml(Envars) |
| = 9cb8af3706e624f8843581aa98c3b87a | ocaml(Environ) |
| = c4b79c8ae097d1f0964f2f50fb7a88c4 | ocaml(Eqdecide) |
| = a82d737333e94cb6b54159a180e2fde3 | ocaml(Eqschemes) |
| = b115b42503ec4fb9aa8262153178f5fd | ocaml(Equality) |
| = 815313524e169289b486f89e5e192bff | ocaml(Esubst) |
| = 935cc7677fe970a7206ebfe2e1779a82 | ocaml(Evar) |
| = 4a35778ef84c18690cf246825141e273 | ocaml(Evar_kinds) |
| = 07033806535923645844f54a60c6348c | ocaml(Evar_tactics) |
| = ed06e9fffae33a9a8f46c4e327baf72e | ocaml(Evarconv) |
| = 228b2e357edb99df41e0489c0b23d6bf | ocaml(Evardefine) |
| = a581a8be5cbf80aba6d58be7b0b9c4e1 | ocaml(Evarsolve) |
| = 47a72ebec653dd2a1a218ef6464ebb6c | ocaml(Evarutil) |
| = 421312b8e9c7e6fdce6aef8679c651d3 | ocaml(Evd) |
| = 38ad6517d5220e43e479a1d0d18b8b8c | ocaml(Exninfo) |
| = 3e9ecbb91300c3df69a2c84e49286afb | ocaml(Extend) |
| = 4fb746e4e16b143b502f71babff015f2 | ocaml(Extraction_plugin) |
| = 23c927b9b09984284cd9e798f4be3057 | ocaml(Extraction_plugin__Common) |
| = 4e054c6643f3f4299faf6ea883aa8699 | ocaml(Extraction_plugin__Extract_env) |
| = 99a973cc242205b13f48fa287c770272 | ocaml(Extraction_plugin__Extraction) |
| = 6e4d3a983dafec45d4e8448de1700632 | ocaml(Extraction_plugin__G_extraction) |
| = 646c8d9e52bbfd16ba63bc12a52c0b75 | ocaml(Extraction_plugin__Haskell) |
| = 6e32cf19051229aa29640d0393118a1b | ocaml(Extraction_plugin__Json) |
| = 95df279901476af9c13ba46ad7132d23 | ocaml(Extraction_plugin__Miniml) |
| = 13000a254a50d1b8b5bf7f5f9f38e303 | ocaml(Extraction_plugin__Mlutil) |
| = d9a93352644c207d6a94506615732142 | ocaml(Extraction_plugin__Modutil) |
| = 9cdd22bab31f0b970c3d88e0740f4561 | ocaml(Extraction_plugin__Ocaml) |
| = 5133c79607319e76be02c2d4d0245218 | ocaml(Extraction_plugin__Scheme) |
| = 44b2100d4e2c081ddd1afcd33bfdadd8 | ocaml(Extraction_plugin__Table) |
| = 369f881d87535e3db952615840ea3253 | ocaml(Feedback) |
| = 414b83330ca226fe5958d171569a80a7 | ocaml(Find_subterm) |
| = e05c81e95287e0ca858b963a11d30b9b | ocaml(Firstorder_plugin) |
| = 36e75e342a9a3c01c6c37a49c92e811b | ocaml(Firstorder_plugin__Formula) |
| = 9a275787e7c9179e0793e7ab966b9dd7 | ocaml(Firstorder_plugin__G_ground) |
| = 99fff3f86c4afe8d50be56696471728c | ocaml(Firstorder_plugin__Ground) |
| = 504ee9df59875e8f58b908d4bf565816 | ocaml(Firstorder_plugin__Instances) |
| = b514ec410dd0724b4ea559268d511555 | ocaml(Firstorder_plugin__Rules) |
| = 9940164bf22b99ba7fd277139b5ce51a | ocaml(Firstorder_plugin__Sequent) |
| = b9fc9727f63548c42a16a11b3e1671e7 | ocaml(Firstorder_plugin__Unify) |
| = 9a9b1fbc4313a053d474e2cde7f099fa | ocaml(Flags) |
| = 84d6570848e9511aae54659b18a17c2d | ocaml(Float64) |
| = 7ab160f0bba98a2ade77c0f37bdc2b75 | ocaml(Float64_common) |
| = 8401680cca79c824c5b71cc932e9a25e | ocaml(Ftactic) |
| = 2d39469b088ad4d6259390e5af5d34ce | ocaml(Funind_plugin) |
| = 69d4c2eaff36e3848c4ef33e1a56a290 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 0707b115480606c2bed9566ea06e454c | ocaml(Funind_plugin__Functional_principles_types) |
| = fddf4f97af7e9d9570516a6d378acfde | ocaml(Funind_plugin__G_indfun) |
| = 53fbe6b356a78b7779eea6b26c404bf7 | ocaml(Funind_plugin__Gen_principle) |
| = efbdd085081c1839eda458cb473d55b4 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 5d02a1500bd4b49ee91f97b615cb4902 | ocaml(Funind_plugin__Glob_termops) |
| = 72d8ef87442d5ae74fef2ecf73280987 | ocaml(Funind_plugin__Indfun) |
| = 40fdf3c32800c63a279ff9099f3218c6 | ocaml(Funind_plugin__Indfun_common) |
| = c07a7675fc4be00e8678a60c9d5a5c35 | ocaml(Funind_plugin__Invfun) |
| = 1b7c778bdb44b203d2b3d491b3bb4a24 | ocaml(Funind_plugin__Recdef) |
| = 056918f0691a7206769938958c112a1c | ocaml(Future) |
| = 94cbf6eb29f4b1a8d510ff878f6444e7 | ocaml(G_constr) |
| = 54a6265983b954a707de8be0b75a87c9 | ocaml(G_prim) |
| = 37cd20f1bec87c58d1f1f902061bd375 | ocaml(G_proofs) |
| = fd8591becb1804d0dad88479b98253c4 | ocaml(G_toplevel) |
| = b6219033d5a2da1eaddb38b3a56f9cbf | ocaml(G_vernac) |
| = 508690e563971eb655c545a2954a0bba | ocaml(Genarg) |
| = c2b6d5d20ae5122ff92df401a96874f0 | ocaml(Genintern) |
| = 7067c9e7d583f7cf0548275722897c48 | ocaml(Geninterp) |
| = 43b0bce21e3927e5e2ad9fe8c9dc1499 | ocaml(Genlambda) |
| = 5ce4a74c2a2b11fa0102addd6be3e7a6 | ocaml(Genprint) |
| = 9a8af566f499d25a7d7025c9325b22c7 | ocaml(Genredexpr) |
| = c7a9306448899f6209f66dd655affca9 | ocaml(GlobEnv) |
| = 6940fe3c7c19e2a7da28ea69815ee8b3 | ocaml(Glob_ops) |
| = 3642013615c2c0112ce8b70fca2bf9f4 | ocaml(Glob_term) |
| = c82a68dcfdf2586e15f7548a15f6691a | ocaml(Global) |
| = 24828265b7f1ae3dcf2facaf6787efa2 | ocaml(Globnames) |
| = d1247cc3b0ac79c2f9ffbdcbabebbb2c | ocaml(Goal_select) |
| = 937deb56091f7d609729cb85a9c00970 | ocaml(Goptions) |
| = f7a9c352b24c4ddeba559951b0f7dd3e | ocaml(Gramlib) |
| = 443690b2317f143c76466a5d3a66eb2f | ocaml(Gramlib__Gramext) |
| = b6f613b5af6e74fccbf4932ead3118a2 | ocaml(Gramlib__Grammar) |
| = 479adf7cc6f48be49a10d952f395e202 | ocaml(Gramlib__LStream) |
| = d29433cae784e60b04be278488111983 | ocaml(Gramlib__Plexing) |
| = e34e97e7287f3698c88dac7d11f02272 | ocaml(Gramlib__Stream) |
| = 01241edf75a2ce4dd730eb6c622d81b2 | ocaml(HMap) |
| = 16cd719166c8c5010b0670dadb52fe96 | ocaml(Hashcons) |
| = 054fe5127bf9aac57339f346c0d1a1ef | ocaml(Hashset) |
| = c5907fed35a7ee537cc5213ba0a1c845 | ocaml(Heads) |
| = 2a901a079d960c8807880b8c50fd087f | ocaml(Heap) |
| = fb2e1aff3e2d73a2c63f7bc066258ac0 | ocaml(Himsg) |
| = b841647482cd3fef24aaec52ad0cc2a7 | ocaml(Hints) |
| = addb9d5485a404a8003f046b4066de88 | ocaml(Hipattern) |
| = 04f6c318e5dc4380e8d89a7074c603b3 | ocaml(Hook) |
| = 02a17d779ce4cff5ab72d2b626043e82 | ocaml(IStream) |
| = 6ebc2fdbc25579ff2cc46910f5a9c2f2 | ocaml(Impargs) |
| = f79872a0791275515ae74b9f8aeadff1 | ocaml(Implicit_quantifiers) |
| = 06d900bd9c43e671ce74697ab4a3c9cb | ocaml(IndTyping) |
| = 39b410cf6e73871ee85700ab3cccc044 | ocaml(Ind_tables) |
| = 95272752917b7e78fa33b58e56af245b | ocaml(Indrec) |
| = ac16f71127197faca4260b1d1a8eca09 | ocaml(Indschemes) |
| = b900d3866b3f20d632b063d7533688f8 | ocaml(Indtypes) |
| = d29c76292449efc647d988794b8cbaaf | ocaml(Inductive) |
| = bf9374e82c80bd6598a1c998578386ef | ocaml(Inductiveops) |
| = 9434c0fa244fd4ff988284def45ce368 | ocaml(InferCumulativity) |
| = 9db9b156b240b450eebcce7d49c69088 | ocaml(Int) |
| = 9e795fa84cce70167d1330cc7ff395db | ocaml(Inv) |
| = 28d0fa9cf78cf2dac10bf020b681fd47 | ocaml(Keys) |
| = 47ec689cb28c94f14058358d26142693 | ocaml(Lib) |
| = 17c14327b9e22b508dbf16535b8e9383 | ocaml(Libnames) |
| = f566ef24eea0c63237d3c3f167816608 | ocaml(Libobject) |
| = a47c3a2d660687fcba3e1da79703ea81 | ocaml(Library) |
| = 055112cd36498e47f01aa7663fa07b8e | ocaml(Load) |
| = 6d79626e3c553837cfdf8380f28b81d8 | ocaml(Loadpath) |
| = 66403678cb7815a79c0e1a1c82447bd2 | ocaml(Loc) |
| = a4f0d96e768809a92230d1e461bb358b | ocaml(Locality) |
| = 88f0e885b31a8dd39208e2b14fb5adeb | ocaml(Locus) |
| = d5084e9eff417995d2dfdb3705bc6fd4 | ocaml(Locusops) |
| = 2dd074517298492cf3666f61f877c172 | ocaml(Logic) |
| = b617dbec58c0edc562650901e5ea7463 | ocaml(Logic_monad) |
| = f439500a84ab88181ed3dd5bbfd50721 | ocaml(Ltac2_plugin) |
| = c8c0981903bd8e37144d02852969d783 | ocaml(Ltac2_plugin__G_ltac2) |
| = 3fa2596fa4e5cd9e5e21f30e2266f5d9 | ocaml(Ltac2_plugin__Tac2core) |
| = 49b3cea57593bbd505f1b3af277b18ce | ocaml(Ltac2_plugin__Tac2dyn) |
| = 159de6c25ab97c29ebbb1f3c2a112114 | ocaml(Ltac2_plugin__Tac2entries) |
| = f39649d6220f7def1dacac4bbec60adb | ocaml(Ltac2_plugin__Tac2env) |
| = 12c542a5ba85e9295f4bb80ce440b700 | ocaml(Ltac2_plugin__Tac2expr) |
| = 64df90d355e913f62b1209e828b142e9 | ocaml(Ltac2_plugin__Tac2extffi) |
| = 2497170d54360e044b8369949f69d825 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 49a4fd5e6a0ee5240821934d7a754627 | ocaml(Ltac2_plugin__Tac2intern) |
| = 1e542d5e8a2849ef33536a333b25d407 | ocaml(Ltac2_plugin__Tac2interp) |
| = 365a7c510109043f1181ccb0fa999a17 | ocaml(Ltac2_plugin__Tac2match) |
| = cafc505c971dabe21a76a5cdd5748717 | ocaml(Ltac2_plugin__Tac2print) |
| = 1161754de3dbe95335d90e3a4534d247 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = 6b66e1751bb1d95ddff975147d093029 | ocaml(Ltac2_plugin__Tac2quote) |
| = 206c5d9cd317f74d1ef5e98061db3d76 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = cba1d53fe6b3d44153e9ca97ff5391e2 | ocaml(Ltac2_plugin__Tac2tactics) |
| = 42c89bd30d4e3fb3b58bc6bab00bca28 | ocaml(Ltac2_plugin__Tac2types) |
| = ed721534c98792b5a3a1e1dcbb1bc61c | ocaml(Ltac2_plugin__Tac2typing_env) |
| = df167d955e180cbe1923b3aca1a51797 | ocaml(Ltac_plugin) |
| = 5271f8c30256728012131d2739e231ee | ocaml(Ltac_plugin__ComRewrite) |
| = 9380254864596240cdccae7b2cad127e | ocaml(Ltac_plugin__Coretactics) |
| = 230906b3037ecfb52288e88eb1a617fb | ocaml(Ltac_plugin__Extraargs) |
| = 62b27da45d2253ff699294c735d0b874 | ocaml(Ltac_plugin__Extratactics) |
| = 009ca248978de05016982b3044a0f362 | ocaml(Ltac_plugin__G_auto) |
| = 6f4d882a529f6319d3ca7381c43dcd32 | ocaml(Ltac_plugin__G_class) |
| = e0274a04355f49abab6867f5427c0654 | ocaml(Ltac_plugin__G_eqdecide) |
| = c48d5c599b1a483b8be9a65ebb9545e3 | ocaml(Ltac_plugin__G_ltac) |
| = 14f8edfdff9b88993ab671936a0e4af7 | ocaml(Ltac_plugin__G_obligations) |
| = 3aa2b585ba0e6369ab6d697471fc0f4a | ocaml(Ltac_plugin__G_rewrite) |
| = bce7ce4a3704a0f469a3f8b9b2d02a0e | ocaml(Ltac_plugin__G_tactic) |
| = 33437a84ee48a78d33939f513aa340b9 | ocaml(Ltac_plugin__Internals) |
| = 0348a2de8098a6459ebb82ef61c98199 | ocaml(Ltac_plugin__Leminv) |
| = 0b7e1ce8463ba831e77b2ae9c890595d | ocaml(Ltac_plugin__Pltac) |
| = c6bd202577c8962298f99a38565f9e33 | ocaml(Ltac_plugin__Pptactic) |
| = 5488ee59a6ea9a6862ba211aba0d58a6 | ocaml(Ltac_plugin__Profile_ltac) |
| = 95596c7da08835f557a56bd65ada656d | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = 1ad9c31a222b2d551c401c700991794d | ocaml(Ltac_plugin__Tacarg) |
| = ca98c3b87fe8680e887d5d0aa8e367f6 | ocaml(Ltac_plugin__Taccoerce) |
| = 5a2d1920a346f707cef71ab0d8d2396c | ocaml(Ltac_plugin__Tacentries) |
| = 0e0211617a239a4ae89844e3172d0638 | ocaml(Ltac_plugin__Tacenv) |
| = 7dad1a4e00b4f3c0a8a7b85276991bec | ocaml(Ltac_plugin__Tacexpr) |
| = 7dd447b42865e7d83802f253ddb6ba70 | ocaml(Ltac_plugin__Tacintern) |
| = 7168301723984c9303a927561e489878 | ocaml(Ltac_plugin__Tacinterp) |
| = 718d0f0faee29f1b171d0cdd39d4baa1 | ocaml(Ltac_plugin__Tacsubst) |
| = 692c6b62b335c6a283c58cdcb82ba284 | ocaml(Ltac_plugin__Tactic_debug) |
| = b26ae65cfedc49406a352af90ab8a835 | ocaml(Ltac_plugin__Tactic_matching) |
| = e43f39843570c9b5925c7de562d90f83 | ocaml(Ltac_plugin__Tactic_option) |
| = c63e6540f28100332bfc151da2ff363d | ocaml(Ltac_pretype) |
| = b630613c74b71f1b5f49d5d79ee3ff74 | ocaml(Metasyntax) |
| = c816083a19c7a82cc8eae39391774765 | ocaml(Micromega_plugin) |
| = 33c47068cf02b6b35bfae34150e1343e | ocaml(Micromega_plugin__Certificate) |
| = dc64ede71bb9622615e1b635c1a7596d | ocaml(Micromega_plugin__Coq_micromega) |
| = 0cdfb869778460912505a65b22a85e12 | ocaml(Micromega_plugin__G_micromega) |
| = 4eff41f8ca7843991f73b62793cbab41 | ocaml(Micromega_plugin__Itv) |
| = 338cc7ed45f2f2d0286e88f71665c14f | ocaml(Micromega_plugin__Linsolve) |
| = 49719c104703422034cbae4aebffd836 | ocaml(Micromega_plugin__Micromega) |
| = fa1d1e4ff7e44586a4206c1940715b5f | ocaml(Micromega_plugin__Mutils) |
| = dbcd9ffdf74536704631494e406e4fe9 | ocaml(Micromega_plugin__NumCompat) |
| = c06dc3fa5f50807c4f4660023633693f | ocaml(Micromega_plugin__Persistent_cache) |
| = 4f12d5b7831a18db24de38c96a417dd1 | ocaml(Micromega_plugin__Polynomial) |
| = ff18c1316d80ed9be6a0276156c80c38 | ocaml(Micromega_plugin__Simplex) |
| = 044cb2416cffb9f864ff93545fbfadcc | ocaml(Micromega_plugin__Sos) |
| = f1c13a9a8a771ea6cc7e346d601dd3b0 | ocaml(Micromega_plugin__Sos_lib) |
| = 6a42be6eafde790cdafd4afa4f015e5c | ocaml(Micromega_plugin__Sos_types) |
| = 781c983ac125e832994c133a24880bd9 | ocaml(Micromega_plugin__Vect) |
| = 6bc3aa9083671cfbfb336027f8fd1d6f | ocaml(Miscprint) |
| = 537ad855371b86d53e2f554314bb594b | ocaml(Mltop) |
| = 87bf8a9e488a2d66b98b311cd9e9b9f9 | ocaml(Mod_subst) |
| = 1b8dd54caf33bc3dcaaf8aee61636d59 | ocaml(Mod_typing) |
| = 67c2b704209d06d8003bc683818b48a9 | ocaml(Modintern) |
| = a790ac8f8cba3910bbf73793a0671c54 | ocaml(Modops) |
| = 111c49d5acef9c643936ce9c7f2dfa62 | ocaml(Monad) |
| = d7cfa5e742ed7cd93aa0dbcc494b1071 | ocaml(Namegen) |
| = 1fd3eb9ed1517431f1df84d587712722 | ocaml(Nameops) |
| = 012fb1b3a7cfe3314a332d1ca5acf690 | ocaml(Names) |
| = 1df605c7bad951b8cae34399bc930f27 | ocaml(Nametab) |
| = 10320d3f9e177dc2c8883253f4b1aae4 | ocaml(Nativecode) |
| = 5569b5009b0342bb7929b798def8cfdd | ocaml(Nativeconv) |
| = cd2dacd2c4d9cc3cac0c34907341aba6 | ocaml(Nativelambda) |
| = ca885e8aba83fb0f378e718af379cb04 | ocaml(Nativelib) |
| = aa66c351b03dd3d6d724ec0f3c6ccb6b | ocaml(Nativelibrary) |
| = b51fe471b51ae785b5d2dfad6e68057a | ocaml(Nativenorm) |
| = 71c6a790ed5749675aad7773ae17fb44 | ocaml(Nativevalues) |
| = 970a4fb3b081f410660ba7e487594f83 | ocaml(NeList) |
| = 56341c774049f672274e301c53e12656 | ocaml(Notation) |
| = c4814470701fe4101a25fc7af6f400d9 | ocaml(Notation_gram) |
| = 017dc0aa58029cdbc7831ccafddbb06c | ocaml(Notation_ops) |
| = 23d4f51cd91d7b03965dfa71c2d499ae | ocaml(Notation_term) |
| = 9b4f5d6a8734829b79fa5c35ad263828 | ocaml(Notationextern) |
| = 9b1d98d41eeefea2f4b856941bb9d0f7 | ocaml(Notgram_ops) |
| = 84f0132bd2fbdc1e41185d9b4bff96a8 | ocaml(Nsatz_plugin) |
| = 307291eadac3e006484cf20f40c45002 | ocaml(Nsatz_plugin__G_nsatz) |
| = 2d0b9ab3a4f30b69de79d1fa7931645d | ocaml(Nsatz_plugin__Ideal) |
| = c06057bbb74716100e2aebd798545d68 | ocaml(Nsatz_plugin__Nsatz) |
| = 541b7d8709367c1d5971f4aef5e2fdae | ocaml(Nsatz_plugin__Polynom) |
| = 04beb40d578caceca70a183d65f071fc | ocaml(Nsatz_plugin__Utile) |
| = b0a3b98c1f6a9bd60982ac4e9ef65dd4 | ocaml(NumTok) |
| = 25f549dd8aec902baae826210b20fbb1 | ocaml(Number_string_notation_plugin) |
| = 2d87581da0648adeaff1c0d76aacbe8a | ocaml(Number_string_notation_plugin__G_number_string) |
| = 2df2e21a43ecd5afc4d9e44657aaf392 | ocaml(Number_string_notation_plugin__Number) |
| = ed37032aa85fbe926ff98ec54cf3b4bf | ocaml(Number_string_notation_plugin__String_notation) |
| = b265c91309cbd68b2a665d2db17fd23e | ocaml(ObjFile) |
| = 38a55fba1df13077948ee92b583d927d | ocaml(Opaqueproof) |
| = 58c6e31c86e279730ab78303b68df427 | ocaml(Opaques) |
| = a80cf95cebaf33d117f334bdb79a1f57 | ocaml(Option) |
| = ad1f2e7298fe9e91db544a18658cc417 | ocaml(OrderedType) |
| = d7ffd5166e0ad210e99839a7a8859a57 | ocaml(Parray) |
| = 8309cf28c800dcfed0896c4b1d37e8d6 | ocaml(Partac) |
| = f5c4f8fed7d2454c5806df017306bd03 | ocaml(Pattern) |
| = dc1223d2efa8ab3125764e3459f7ae43 | ocaml(Patternops) |
| = ea2c841c09442e708e0f8a8cc0044923 | ocaml(Pcoq) |
| = a06106912b4260216a95b51835f39c2e | ocaml(Pp) |
| = a1ca6d8cbf054780bfce1013571b7140 | ocaml(Pp_diff) |
| = cd4dbc65a6dbdabfefc6845aac5a55f9 | ocaml(Ppconstr) |
| = 8165840134aa1a91512c67b17a4087ce | ocaml(Ppextend) |
| = 6a1871c97417dab44b5973187b2d1ba3 | ocaml(Ppred) |
| = 4b45435b667c4f7c0cabb7e16e39b5cc | ocaml(Pputils) |
| = 29f3e7233096a66497d89b31554a71f2 | ocaml(Ppvernac) |
| = 1b54ffe866048b283dcf39c247b9f856 | ocaml(Predicate) |
| = 2fb91b683a87d52463aff170764b8929 | ocaml(Prettyp) |
| = 1d0a44b2a2d6f9e290fe733e60bff375 | ocaml(Pretype_errors) |
| = 8c7597fa2cac52e76bd458219483c86d | ocaml(Pretyping) |
| = a2a70f50cb0abf7070f6d70f32e1af58 | ocaml(Primred) |
| = 7a19633a5ac20808f8a4b826012915ac | ocaml(Printer) |
| = 526c81622e7fc38a302d6a9ce2947d6b | ocaml(Printmod) |
| = 8ef0ba0594b16c3af25a32883ece354d | ocaml(Program) |
| = 33a8a89b8674f99fcff5ad7076a118e8 | ocaml(Proof) |
| = 9a6d2f25a753c6707fefe591fe49d58a | ocaml(ProofBlockDelimiter) |
| = 8866137c53fe7e92b68bcefc4b78c9d9 | ocaml(Proof_bullet) |
| = dd234df0a515b9131816dc3c4a4b01d7 | ocaml(Proof_diffs) |
| = 791e55bc95f9956363dda1074e7c939a | ocaml(Proof_using) |
| = 539ebd2b6bc29156327ec1b098209181 | ocaml(Proofview) |
| = 9cf42adffde2d967be09cedb88fe9c17 | ocaml(Proofview_monad) |
| = a0e7a205ef7ee4bd4d4ff5846012bb37 | ocaml(Pvernac) |
| = 63247554a25737029029a5ce190b7152 | ocaml(Range) |
| = 626cb0a8d27c90c3bf83fedcfa062b11 | ocaml(RecLemmas) |
| = 1d31fa26e78d3f7eebcbf2ee503e92ad | ocaml(Record) |
| = 7f4803a94320953997ff3430a70c62a9 | ocaml(Redexpr) |
| = 6da04577e51c0c603dc99f092814c67a | ocaml(Redops) |
| = 0bb6d8efa644c9bbf5faebe969e316a8 | ocaml(Reduction) |
| = 214e513363c495db0adb82ed78d9a803 | ocaml(Reductionops) |
| = b8de8f9a7bae241fa3c3c0a70d124220 | ocaml(Refine) |
| = 8707432bf1856ae7993da011eaa7c195 | ocaml(Relevanceops) |
| = f06d1b90dae968b3080295186c8a897d | ocaml(Reserve) |
| = 7f21b7a5114e080ee84528e731ba6f65 | ocaml(RetrieveObl) |
| = 2acb5320cf7ecf9e2f3efdc0bdc1d99d | ocaml(Retroknowledge) |
| = ea6630ef9f5c5e7dc9787f85b7cf0d97 | ocaml(Retyping) |
| = 5aa159042326f2695930859e02ec0621 | ocaml(Rewrite) |
| = 49fa866ff2d3522249cfa702b38b18ef | ocaml(Ring_plugin) |
| = eac029598afb197b4c28214d52407fdb | ocaml(Ring_plugin__G_ring) |
| = b6b8a54ab9a8742594a50d66ceb3fa48 | ocaml(Ring_plugin__Ring) |
| = 1d2cb874c91e80ab3689a1122b1482af | ocaml(Ring_plugin__Ring_ast) |
| = f2f6e8fcecc748603ca073363f6554e1 | ocaml(Rtauto_plugin) |
| = ae9fd54c5cd59e8bddb170b1a67ef071 | ocaml(Rtauto_plugin__G_rtauto) |
| = eccd42dbca2c0862ccecc0cd489a44c6 | ocaml(Rtauto_plugin__Proof_search) |
| = e8b3aafe207889762150354608c294e8 | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3070acfe312150638de5f65e9e319e64 | ocaml(Rtree) |
| = 3db7c318198c7d1af831076050e784a4 | ocaml(SList) |
| = f0c7eeeaf667d13dbc8a0f3cd6047d0b | ocaml(Safe_typing) |
| = 91858d91e0448669691efdf7ddddfd8c | ocaml(Search) |
| = 4d882372f334b74c5b84c177f7747048 | ocaml(Section) |
| = 8d883bd2b62649ed63ff01ca925c5225 | ocaml(Segmenttree) |
| = 8057654f6241037639d26f7b1bd28089 | ocaml(Smartlocate) |
| = cc9f372946ba5f59c2897e02518b0d22 | ocaml(Sorts) |
| = a1df7ef68f2d343546639581ef75be18 | ocaml(Spawn) |
| = b0405d27ce74aca3d9f195d476e32be1 | ocaml(Spawned) |
| = 351e433400674ba2c17534dfa933adea | ocaml(Ssreflect_plugin) |
| = 4143d188b672061fc1397db6f4dc214c | ocaml(Ssreflect_plugin__Ssrast) |
| = 7960c318b3247393d8b16af77372450a | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 04a51f22b3b4230ff9fe234cece9d06d | ocaml(Ssreflect_plugin__Ssrcommon) |
| = b151aa6e855f53f83217efd1b8a05ca4 | ocaml(Ssreflect_plugin__Ssrelim) |
| = 3c8f6200a81daef711e2b12136de8766 | ocaml(Ssreflect_plugin__Ssrequality) |
| = 5aa507064b70eb9cf316db4b2f2316fb | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 4138ace5e84535f9102d962ae390290b | ocaml(Ssreflect_plugin__Ssripats) |
| = cdd77ab06c5087ebb1b80c65fd68c026 | ocaml(Ssreflect_plugin__Ssrparser) |
| = f40d13fafa3aeef746d33104b33ede26 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = c6d146c8f2237759fe1a8cd75deabd2d | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 0937e29aa1d33f3896f22378bc2dbaea | ocaml(Ssreflect_plugin__Ssrvernac) |
| = 7a600231b9488e120b4e5358239cc9a3 | ocaml(Ssreflect_plugin__Ssrview) |
| = 13de31f76194d86e41a930dc6f5247d4 | ocaml(Ssrmatching_plugin) |
| = c07d41c60413096b43b9d2cd9f6ed6ba | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = 1208c7bb6cbe40b5d53a51fcfe9f4acb | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 54380a42612c023be92895eb75e54315 | ocaml(Stateid) |
| = df9df49ac49880ff2aeee30847a913d0 | ocaml(Stdarg) |
| = 35bc00ce0e9f43ef9d0e75fbc0ba3091 | ocaml(Stm) |
| = be566c971abadcb2e862ab121c8ecace | ocaml(Stmargs) |
| = 63270e261706eb1cea0ca37b342126b2 | ocaml(Store) |
| = 24aba275ea30dea52e2da22b1ad6fc42 | ocaml(Structures) |
| = b581cf1ce99d796d79ca939552c34556 | ocaml(Subtyping) |
| = dc1c2505d9b1f77b75c6aca426effa7d | ocaml(Summary) |
| = 432a0f42d5e0fa4faa1ace1ac7b057b2 | ocaml(System) |
| = d9a48841c6edf83b6c5fc9f49983c171 | ocaml(TQueue) |
| = deb977ab888afefade68e53a1030f984 | ocaml(Tacmach) |
| = 251ae9ed0fd6696c3aebd5d914cc64ec | ocaml(Tacred) |
| = d9c3c068a9ec0363e46738dc9b8e23cf | ocaml(Tacticals) |
| = bc99036b575021c9469a54f7cdffa366 | ocaml(Tactics) |
| = 46cd140832db0a4b9b5c3813f1f2b415 | ocaml(Tactypes) |
| = 418aee7004a8e4c82b63c3a475eacf61 | ocaml(Tauto_plugin) |
| = 46edcb92c881fa2d356c8f3eeebd20c5 | ocaml(Tauto_plugin__Tauto) |
| = d1d85dd60ebc47c2ab7926343361de62 | ocaml(Term) |
| = bb25f978f177386a840dae6230cf091c | ocaml(Term_typing) |
| = 75080731fd8263db909153552a951a5c | ocaml(Terminal) |
| = b4adc04b50c626897bf923e4cd756886 | ocaml(Termops) |
| = c7e17493652fa46ec713b60e9fc08fef | ocaml(Tok) |
| = 9c18df1e81e1983064589cdd3b8ae639 | ocaml(Top_printers) |
| = c15ff262ad703a050aeb2e22f0eea80f | ocaml(Topfmt) |
| = 7823591e24f8fe112e1e16e79655d585 | ocaml(TransparentState) |
| = cb681061aae66583742c00fb4f3a3472 | ocaml(Trie) |
| = bd68d109f199d1f123529472064d4ce6 | ocaml(Tuto0_plugin) |
| = eeebc5e3c3f8b98eb8e244f086832ac2 | ocaml(Tuto0_plugin__G_tuto0) |
| = b724f51689d5d5a2c83837ddb37b26ce | ocaml(Tuto0_plugin__Tuto0_main) |
| = 186133c7729f31cd7741919b01d18e7b | ocaml(Tuto1_plugin) |
| = e406ffe009820d5fdbae375fab89609d | ocaml(Tuto1_plugin__G_tuto1) |
| = 23442baa444ed9c09a9c2db3fc36e0ae | ocaml(Tuto1_plugin__Inspector) |
| = 55e77ff163437f0d88929b849a7bdba3 | ocaml(Tuto1_plugin__Simple_check) |
| = d5d17de1038d0358023dad3f28d1081c | ocaml(Tuto1_plugin__Simple_declare) |
| = 669741962dd344fe12a3e66d231f5719 | ocaml(Tuto1_plugin__Simple_print) |
| = 5c827c73edd6513780dee682ee12acfa | ocaml(Tuto2_plugin) |
| = d3225d276c9dfa753defdca6f0b33e48 | ocaml(Tuto2_plugin__Counter) |
| = 9bede7a90157587a3fde170e9f6f355d | ocaml(Tuto2_plugin__Custom) |
| = e73898b0c9f99caf379f18d27b5e47ad | ocaml(Tuto2_plugin__G_tuto2) |
| = c4cb9bc336251dfd3b16117a7478e2d4 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 839d54fb85133174ca563f334cb88161 | ocaml(Tuto3_plugin) |
| = 8b4ae17fb97712a1acbeeb73b8bdc8a1 | ocaml(Tuto3_plugin__Construction_game) |
| = 96999e3c050c92c58c72a29e0a1cf621 | ocaml(Tuto3_plugin__G_tuto3) |
| = 69f6f5925a82a155fdd3c64b3f8c3944 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = ccc6b095df0172e70996c28a46a055ef | ocaml(Type_errors) |
| = b2e4186412dac99a2430de9d4fb3337f | ocaml(Typeclasses) |
| = ddf0ae0f051d624b3a64b07a09b8cc08 | ocaml(Typeclasses_errors) |
| = a1a9dbfbd29253afc85fb433b3edd7d8 | ocaml(Typeops) |
| = 91f2fc9bb478413f93fa4a23e4b1d3f1 | ocaml(Typing) |
| = 27ea9b0119ade4eab3827ab655b4694d | ocaml(UGraph) |
| = d548a2a4bdaad5a30afd65583788dd7f | ocaml(UState) |
| = 69f038589ad8461f82667721d319bc09 | ocaml(Uint63) |
| = ca7089ddb9ae8d5d6e027265142c5a4d | ocaml(Unicode) |
| = 44eb295ca704dc9db21b08c57fab3914 | ocaml(Unicodetable) |
| = ce2d4155b080b7ce63bc49841bfd3efc | ocaml(Unification) |
| = 9014e878993ce343b70cc81c55c99eb3 | ocaml(Unionfind) |
| = c7f67b2c06faaeeac37d4134d85684a7 | ocaml(Univ) |
| = c66e7e99afb88a1b75ebcaa1a84a5eb0 | ocaml(UnivGen) |
| = d9c243988b15a1145acffcd2d50644b3 | ocaml(UnivMinim) |
| = acfb4f75dcc88c28bf984b666dfb2c68 | ocaml(UnivNames) |
| = bf1fcc3d4d632b787dd90eba436e288b | ocaml(UnivProblem) |
| = 36b66b56cf5c40a7e66f709a7e16793e | ocaml(UnivSubst) |
| = 4e2d66cd8854d72d19ca403ade93245b | ocaml(Util) |
| = dd4b54c7a63002dbbaf42b63ae2c0422 | ocaml(Values) |
| = 83a744e387e1a9296ab828829f307cd7 | ocaml(Vars) |
| = 171dcb4830d41761fb1372b1c19b18e5 | ocaml(Vconv) |
| = 3ff6b06e37c37b5af3975b6c93cb5c2b | ocaml(Vcs) |
| = aeca880fa68468a2afe04f459b2b50aa | ocaml(Vernac) |
| = 32207cc61b35b775b5fc64af8e84199c | ocaml(Vernac_classifier) |
| = b613d3f276521f0c0984693c6371ef29 | ocaml(Vernacentries) |
| = 4819a3602643a6a28fcd1293bc081b14 | ocaml(Vernacexpr) |
| = 85b8597350f5136edd4d4f835e8ca307 | ocaml(Vernacextend) |
| = bf1b1e74f8e080cb41763194d9a1caa1 | ocaml(Vernacinterp) |
| = 14904f85ea2679bac55a38014ecad4d4 | ocaml(Vernacprop) |
| = e3c86cf18c785d2f8fd9cbdc4e25b78f | ocaml(Vernacstate) |
| = 0253265481b587994e3a946ad8dc9bff | ocaml(Vio_checking) |
| = 3db543ada2e5a0b8f55aab593687439a | ocaml(Vio_compile) |
| = dc1652182ab6ff6d4f183491a9502d07 | ocaml(Vm) |
| = 901eac76543c714b27471d77c4300db9 | ocaml(Vmbytecodes) |
| = c5379f88ec6a4df49e9b35cdd22b4937 | ocaml(Vmbytegen) |
| = 914f5a6360e08c57a373d1aea72b8c44 | ocaml(Vmemitcodes) |
| = 891bc0cd84ef34d992317a5d131ee012 | ocaml(Vmlambda) |
| = 6cb92ed773a6a2d9bea66df51b46a96d | ocaml(Vmopcodes) |
| = 3d3abc7572cb63481f319b054b134680 | ocaml(Vmsymtable) |
| = d45c240d6b251288e3668fb3c0027bd7 | ocaml(Vmvalues) |
| = 73c7b13b66f5af7433ee0b99456e06e0 | ocaml(Vnorm) |
| = a3aad9bfe28cb3acd162133aee5934ea | ocaml(WorkerLoop) |
| = 09a9b6eb9859ab6dd7a677709c1f11c2 | ocaml(WorkerPool) |
| = af4d607b4dbe09d931cd3a2b78a84fe3 | ocaml(Xml_datatype) |
| = 1fae62e8555707a7ca16c9fd9212d7dc | ocaml(Zify_plugin) |
| = 5a6b40a818091d3d2ac5e9423624ab82 | ocaml(Zify_plugin__G_zify) |
| = 2e507ca082f47ba6d845f6efe4f18ab4 | ocaml(Zify_plugin__Zify) |
| = 27019bf91643df7595440a70af36dc59 | ocamlx(Abbreviation) |
| = 973387e5a22c94e01c0a707f290d5bac | ocamlx(Abstract) |
| = e3cbdfd52ae47526c3906e684d18d68c | ocamlx(AcyclicGraph) |
| = 44d6bb785d4d9d51f8a1787b11a4867c | ocamlx(Arguments_renaming) |
| = bad74c44ee9810442fc930dab670ad8e | ocamlx(Assumptions) |
| = 2d2222e9efc592ff2c3fb6096911deb4 | ocamlx(AsyncTaskQueue) |
| = 65ce445048d18130b04d498bf788d246 | ocamlx(Attributes) |
| = 8e22af79a2fe9667751a86763a89b165 | ocamlx(Auto) |
| = 47747bc12613f0454a980baa181e2729 | ocamlx(Auto_ind_decl) |
| = 451c5e38cd39d9ebbf32d2591286a79e | ocamlx(Autorewrite) |
| = a913a69a06164caed3fbf905b121c7c2 | ocamlx(Aux_file) |
| = 8e31e5dcac590780e4b16782bfe4d1d9 | ocamlx(Boot) |
| = 9ec17f06c183fda0b91b4ae8eac7290b | ocamlx(Boot__Env) |
| = 2276f436368158206b6a7b2399a9d2a7 | ocamlx(Boot__Path) |
| = a0e39d6123970ec32b97379cb7528a41 | ocamlx(Boot__Usage) |
| = 42a55a8c71a355576a1d946f08cd5537 | ocamlx(Boot__Util) |
| = 1207dd8bab364e24d4bd61740056fb23 | ocamlx(Btauto_plugin) |
| = 09a3dec3295d517facf22f69821b1ca2 | ocamlx(Btauto_plugin__G_btauto) |
| = 20c0f9468eaa1b51c53cfe7c8ea069f5 | ocamlx(Btauto_plugin__Refl_btauto) |
| = 3f143f24128089d3dc88c3c47b8b1b6c | ocamlx(Btermdn) |
| = 316832614721a381a692bb18696ed5f7 | ocamlx(CArray) |
| = 5c92de86f311d546570a591e7ac5e8c4 | ocamlx(CAst) |
| = 0afda6cf49674b33a53d448aa877567d | ocamlx(CClosure) |
| = 48a7a20f1818efa70c18608d2e17149a | ocamlx(CDebug) |
| = 2d4b0735190694300ae94061b4946479 | ocamlx(CEphemeron) |
| = c23ef3dd5eaf3a7773e9337b90aa0cb1 | ocamlx(CErrors) |
| = 8e9dfbdf9e5ad43276c1474fe2b5663c | ocamlx(CLexer) |
| = 4610b318d516eea0bb1060c41a238603 | ocamlx(CList) |
| = 5205e4f67385d8b2d9b885e5472680b0 | ocamlx(CMap) |
| = 8c3f4afe1b5f75decfbced2b3d5e59c8 | ocamlx(CObj) |
| = 3c7192b29b71d1cffd8ac1bb36142539 | ocamlx(CPrimitives) |
| = 09f59706fdc3b8f0a4e6aa969df94fb6 | ocamlx(CProfile) |
| = f3fb5e7dfb56f8514dae1e192d60d27c | ocamlx(CSet) |
| = 8b7c482132b2df142660e5c47761a86b | ocamlx(CString) |
| = b184ac70882bb2b154f99ec6055e20c0 | ocamlx(CThread) |
| = 6f38b195c536352138f81e412a5e6025 | ocamlx(CUnix) |
| = f3ba899a67fe52a176ea0c0f92396b8d | ocamlx(CWarnings) |
| = 67e7d901d0a5a22b1bca198bf93d61c4 | ocamlx(Canonical) |
| = e4fd8aaf811a349c4ae9863dc87a711a | ocamlx(Cases) |
| = 562a33e4430b61c0793807875071efb7 | ocamlx(Cbn) |
| = 6a2435c6d6575d42d0db0c9df276e6f6 | ocamlx(Cbv) |
| = c76874a6c198370ad4fd8c5a1fe8fc3f | ocamlx(Cc_plugin) |
| = cc36c89e4173104ecce700245b2e378b | ocamlx(Cc_plugin__Ccalgo) |
| = c5c5d076b61dc4c5e32c42d3aef05866 | ocamlx(Cc_plugin__Ccproof) |
| = f3d866595cc2a060f3da327cc7190c28 | ocamlx(Cc_plugin__Cctac) |
| = 252ca5313bb64b001d6ea06b5f5f6386 | ocamlx(Cc_plugin__G_congruence) |
| = d077d0537b95746e9017f7692fc8b2d4 | ocamlx(Ccompile) |
| = 287056a4781cae6cf4be35553ff3dddb | ocamlx(Class_tactics) |
| = 93633196907a6d28c107625b7ca8c142 | ocamlx(Classes) |
| = 078e7a348fcb42d8be00ef0b84bca5f4 | ocamlx(Clenv) |
| = 09db4c65b4a534c3a8e144eae8d57afe | ocamlx(Coercion) |
| = 969dfc75e933e15ccc659554e276f03f | ocamlx(Coercionops) |
| = 1d1597797a34c721287e98fd8ff89565 | ocamlx(Colors) |
| = d3d5ab6a499c0d4ee279e9c79febe98b | ocamlx(ComArguments) |
| = 5bc211fc52edba84ab6a191185a8af39 | ocamlx(ComAssumption) |
| = 10381d2bb61876582fe124aa0cd8b8f9 | ocamlx(ComCoercion) |
| = 1e17f458e9a0da78ffbbacd13c2855bf | ocamlx(ComDefinition) |
| = 01272a3505bb476f925eaf237e2505ec | ocamlx(ComExtraDeps) |
| = 5d18e2495ab3fb2ecc7f32633955a22d | ocamlx(ComFixpoint) |
| = fdc62c64fd031a39959df56348db4f09 | ocamlx(ComHints) |
| = fdaea9b7086c5da7dab18200686cc863 | ocamlx(ComInductive) |
| = e37d15e961cb681faf9b0927eca8c0dc | ocamlx(ComPrimitive) |
| = 7d74de8d2f990af03bf66d17a1e27457 | ocamlx(ComProgramFixpoint) |
| = e58873ca9156e17284cb5f3ffd11d152 | ocamlx(ComSearch) |
| = 238b36b85666e428334ff2669820a8f0 | ocamlx(ComTactic) |
| = e6737296d7852b2499561a1a09010a62 | ocamlx(Common_compile) |
| = c91e9134bbc9df21b0d0123cd294aca6 | ocamlx(Constr) |
| = 8613d1f1db34d944d2f5956a30bfb67b | ocamlx(Constr_matching) |
| = db9b15ae4e15a11b39d9cd279dff51b5 | ocamlx(Constrexpr) |
| = 6e24f1789854498dad5478db7ed7c69d | ocamlx(Constrexpr_ops) |
| = b020c5cbad156d391f2c440208ee3509 | ocamlx(Constrextern) |
| = 9992c988ff9801d4fdf4249ff8c35341 | ocamlx(Constrintern) |
| = 71f03226e78f48ca011b6a1022b78098 | ocamlx(Context) |
| = b230c4999dd92558e3d2bb15cf6cfb47 | ocamlx(Contradiction) |
| = 2c70d5b36d3a13dc4f3b3dcae3d95b96 | ocamlx(Control) |
| = bb2b9fabb0f80a340b3e28729da7824b | ocamlx(Conv_oracle) |
| = 49631f76dcc0b2b2aba4ed791a08fa7a | ocamlx(Cooking) |
| = fbc1c959ab9958b13688f04abb841c8d | ocamlx(CoqProject_file) |
| = 4c20fe04be7f31030b92d260a2182b90 | ocamlx(Coq_config) |
| = b96a128216484bbad76c381902f03923 | ocamlx(Coqargs) |
| = 1fc1105d09b48b4dd967872a1b8b0808 | ocamlx(Coqc) |
| = 6e48d1cce0dab9fd7af86fe375b1a352 | ocamlx(Coqcargs) |
| = 19b5bf5efd2f43c318f9c3bb647c1626 | ocamlx(Coqinit) |
| = da58385f3d60b0fc81b627714ae1ab00 | ocamlx(Coqlib) |
| = 2d48e7b8e31750f07a43bef7628a8099 | ocamlx(Coqloadpath) |
| = 308a2a78992c9ffebac67a06a2dd53cf | ocamlx(Coqloop) |
| = cf961e618cc4d519e1ff46909444c1c3 | ocamlx(Coqrc) |
| = 2b4a78cf58850082d11e1d0f6a81ca0c | ocamlx(Coqrun) |
| = c21501a26e6b43d2b1dee0404c260e7c | ocamlx(Coqtop) |
| = 890bd3a54b49b34a490759e37c5e84f4 | ocamlx(CoqworkmgrApi) |
| = 17ecfc7895c793fc88edccfd3179d225 | ocamlx(Core_plugins_findlib_compat) |
| = 56a8affdcb2c3c7907650e41405aa9e3 | ocamlx(DAst) |
| = 828e3f239c5197d1f753371e86f388dd | ocamlx(Dag) |
| = 1d9cd75e270804cfb46684c1bcdf2155 | ocamlx(DebugHook) |
| = 8c256b99699d1af65e2edb753360ed2d | ocamlx(Declarations) |
| = 9742869372b0dc366634ace27479f9a6 | ocamlx(Declare) |
| = ee6428ac4180c0176228180542b687bb | ocamlx(DeclareInd) |
| = 3f1d44d3a1ea54d093066fad98fed0be | ocamlx(DeclareScheme) |
| = 577446c0a1c81b47cdc91ee1aa52369f | ocamlx(DeclareUctx) |
| = ebfe3315aaffb40731512290d0e8f451 | ocamlx(DeclareUniv) |
| = b4e7539b367814ee94be3ee0a70791fd | ocamlx(Declaremods) |
| = 57285acc5ed31701b32dae40489b7573 | ocamlx(Declareops) |
| = 957c91752836ee43c0c21bc193eaef36 | ocamlx(Decls) |
| = ec31f391e4d9367276e01bd435759862 | ocamlx(Deprecation) |
| = ecb3b7b7d1c9a9760209551b4015d3ab | ocamlx(Derive_plugin) |
| = f6a7793b73c2cd5372ac27b3460a102d | ocamlx(Derive_plugin__Derive) |
| = 7c192a9d700a932fabf44c32d317e0b0 | ocamlx(Derive_plugin__G_derive) |
| = c610b59faf7417ca8078ba30b781a4ab | ocamlx(Detyping) |
| = 8be61045569e6cb9c7447fcdc78c6675 | ocamlx(Diff2) |
| = 9a9682c366ae59de2c2aeeddeead8945 | ocamlx(Discharge) |
| = 41edc7b34dc6501251dea7fab205a4f1 | ocamlx(Dn) |
| = 92108d2c8cd82df7efb12e8a34a9d30f | ocamlx(Dumpglob) |
| = 435da38c1a3214e67d2da6485bdd7127 | ocamlx(Dyn) |
| = 58168840d12d9212fcb34ecb162d4d9f | ocamlx(EConstr) |
| = 257270f62659328b8b322d26df166c22 | ocamlx(Eauto) |
| = 77b60362cb32c56093fb991fe74d129e | ocamlx(Egramcoq) |
| = b4c83f47af3a80db9ff4d86a85047a85 | ocamlx(Egramml) |
| = dab19de2082d1210d68c8fbf47c4c494 | ocamlx(Elim) |
| = 8138515431ed0536481af5e540a1930f | ocamlx(Elimschemes) |
| = 8d84922a1a1a2109faef60f5536422e7 | ocamlx(Entries) |
| = c0c15bffce4bd893ae0e33903e2b0c2e | ocamlx(Envars) |
| = 5776a082c51b2cb6d3d827636d9ae7c3 | ocamlx(Environ) |
| = 2cc340f652c9266041dd1c2bd14e01b6 | ocamlx(Eqdecide) |
| = e7dc7d126cf3c57761315a5f9628f16b | ocamlx(Eqschemes) |
| = b5d7e8b31c6210cc38bbe56e94d40c24 | ocamlx(Equality) |
| = 26acf8dc1986f42a70f37990cc713140 | ocamlx(Esubst) |
| = 3e1935b39a2ca8f7db008b316906e188 | ocamlx(Evar) |
| = 3057bd68bb2dbff681a3c14f3442cd35 | ocamlx(Evar_kinds) |
| = d1dac28e2017a0f47ff5722c64828832 | ocamlx(Evar_tactics) |
| = cd05f63385f8c7ac48ebc8c4f0876e0a | ocamlx(Evarconv) |
| = 5f872928cb46ac3ab719bfc58bd462f0 | ocamlx(Evardefine) |
| = 0aa8f38fa6ba3681a7579cd726ca863a | ocamlx(Evarsolve) |
| = 07aa163520026cd149d4c565f95ed53a | ocamlx(Evarutil) |
| = 4b1e4e08a26514ad7a701b3aba52d1d8 | ocamlx(Evd) |
| = 61051fa648ae5882c26bb2d07cccbe13 | ocamlx(Exninfo) |
| = db9b36c58ebae1a11cd3fd63146a5f24 | ocamlx(Extend) |
| = 259c11fa59d2062a205c7b86c10273f7 | ocamlx(Extraction_plugin) |
| = 8a580391e99d6da9455a2b4a7372273f | ocamlx(Extraction_plugin__Common) |
| = 817829b9dbea43a144f1c8c1d334510b | ocamlx(Extraction_plugin__Extract_env) |
| = 02ad969dffde4cf2f4a4a608d038d92a | ocamlx(Extraction_plugin__Extraction) |
| = ce80a4eb7a7373e6d20931588a255717 | ocamlx(Extraction_plugin__G_extraction) |
| = 4e1b4513d6b394ecc0f41f9d84d9013b | ocamlx(Extraction_plugin__Haskell) |
| = 4b5034f9f4f69b4ae3f23a8dc9ed7e12 | ocamlx(Extraction_plugin__Json) |
| = fd7010c987d73d97dd5d64bfc6481276 | ocamlx(Extraction_plugin__Miniml) |
| = 224d6390b08ac00a90fe7c932e3e064a | ocamlx(Extraction_plugin__Mlutil) |
| = 38b22ef892e8651c5fbc485367d5dd40 | ocamlx(Extraction_plugin__Modutil) |
| = dd9f71aa7d008734c5cc174eb4259a39 | ocamlx(Extraction_plugin__Ocaml) |
| = 7395ad1df8e6f1be197320cfb1472bec | ocamlx(Extraction_plugin__Scheme) |
| = 2fb41be273f802830371b189ab9a0d9a | ocamlx(Extraction_plugin__Table) |
| = c73521ee378e0e04cae4a32669ac19ac | ocamlx(Feedback) |
| = e98a3e8854af1189ea84c9f63274d7cd | ocamlx(Find_subterm) |
| = a155f8ce8c15ac659512287233f686e2 | ocamlx(Firstorder_plugin) |
| = b2e17bfe20e674bd9b0d75aa60a5e0af | ocamlx(Firstorder_plugin__Formula) |
| = 58e146be9eb837763de0c0521187d200 | ocamlx(Firstorder_plugin__G_ground) |
| = da4f6a4ece23f6327a39da4d1c7349fe | ocamlx(Firstorder_plugin__Ground) |
| = fefd9200a5770afe47e21b3d9f09e08b | ocamlx(Firstorder_plugin__Instances) |
| = b8df3d82ef527fce33675ee417bc928a | ocamlx(Firstorder_plugin__Rules) |
| = 46a70cbd707a54c891defdf75d7bc850 | ocamlx(Firstorder_plugin__Sequent) |
| = c8afbd9f10f50ae35819b2cdacf06de7 | ocamlx(Firstorder_plugin__Unify) |
| = 55ad8def4f6d7725420da1d9a3a3fe40 | ocamlx(Flags) |
| = fe5c48f69386e21cecc72b355046e733 | ocamlx(Float64) |
| = 8234f15a19971563d01ecb3037de9b70 | ocamlx(Float64_common) |
| = c938009cef2198c2de0ddf4ac2f299f8 | ocamlx(Ftactic) |
| = 94892241b930ac852c200aab6ded82a2 | ocamlx(Funind_plugin) |
| = 12e55c7215183f0b5bae55c1165f7020 | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = d324efd0eeea374a3fdbf2c9e2eb0c43 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 6dce1e85b106cf5df8b11140532253aa | ocamlx(Funind_plugin__G_indfun) |
| = 934c53b4f93568461f6fd6982fb958fd | ocamlx(Funind_plugin__Gen_principle) |
| = b91adcc1986f4a431884b85ea8ac3fee | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = af9d0c7d0b98e72c037b202e3d9d2264 | ocamlx(Funind_plugin__Glob_termops) |
| = 3ef24fdc58baeaafde7ed19e5640069e | ocamlx(Funind_plugin__Indfun) |
| = f12c3b4169749bb951cc6bb77682b58a | ocamlx(Funind_plugin__Indfun_common) |
| = 7d6af783bedb22920221b1e8baac9d4a | ocamlx(Funind_plugin__Invfun) |
| = 52418b2ead6f7edb0c91a62f12bef573 | ocamlx(Funind_plugin__Recdef) |
| = ddc1267c6fcccee037c468c60d1e7f60 | ocamlx(Future) |
| = edcd2a6a810731ac902079bcb35cbf22 | ocamlx(G_constr) |
| = caae102391fbe82504d07926fb844677 | ocamlx(G_prim) |
| = 7f513806b2a9e26805d03f7b213c7c61 | ocamlx(G_proofs) |
| = e745449d7882d0d4542f770a7f23edc2 | ocamlx(G_toplevel) |
| = 857f846ac80f7d1b23b14266f2af2ada | ocamlx(G_vernac) |
| = 5a680774c163ce949989a48f27e1f360 | ocamlx(Genarg) |
| = 703f60d98aa1870171863b2d4bafde08 | ocamlx(Genintern) |
| = d2aed2f2918d0f5e8da348b806b29224 | ocamlx(Geninterp) |
| = 6b71be1c0c96a581a94e29ad68ebbae6 | ocamlx(Genlambda) |
| = 5a0b519ada34ebfe0cca2bce99b016a8 | ocamlx(Genprint) |
| = a2b97742b0289cb1fb1f3b057fc66b04 | ocamlx(Genredexpr) |
| = fc248f32ef31760278910efcf6f1d992 | ocamlx(GlobEnv) |
| = 8b074ed7139bd8ee7570ca5616f1889c | ocamlx(Glob_ops) |
| = 3993ed013a36baf8efe8415e441fe966 | ocamlx(Glob_term) |
| = 51ad6b989cd8502f12e2cbdafb9520f4 | ocamlx(Global) |
| = 4a402a4183e707cb2a49ae9f505f323e | ocamlx(Globnames) |
| = 12e26a9d8558b8832190ae911ecd50fd | ocamlx(Goal_select) |
| = 39683ffc016d0b9785169d220853ece9 | ocamlx(Goptions) |
| = 6562f921d0a8d20b78de8ac2dc791f0f | ocamlx(Gramlib) |
| = 8fc9b901c2a5c34dd3e5431871f46bd5 | ocamlx(Gramlib__Gramext) |
| = 5b69f583eb59a1ae3e1fdea62835feb1 | ocamlx(Gramlib__Grammar) |
| = c62d083c4beb75f9be3f13f8e6ee5b51 | ocamlx(Gramlib__LStream) |
| = 6e275e85f0f548c264f7e35d047efcd9 | ocamlx(Gramlib__Plexing) |
| = d32338c7318e14847d50cf5aafffc2fd | ocamlx(Gramlib__Stream) |
| = fe74d96d6d8e544c2079be0346abacf8 | ocamlx(HMap) |
| = 28f8babab418f5094cd72a8e8eee4546 | ocamlx(Hashcons) |
| = 929b777ac692624a39e11634e58972c5 | ocamlx(Hashset) |
| = da46e4ddbb66d7c9ccc7affe04d89074 | ocamlx(Heads) |
| = 53034515cece58d3f2321b8ba3555860 | ocamlx(Heap) |
| = 11d07a89e592b617ba96eead079ddc10 | ocamlx(Himsg) |
| = 4f5e1cb92494acc0f10bbd94bb96030e | ocamlx(Hints) |
| = 995336b49812a57fbde2a7583661c75c | ocamlx(Hipattern) |
| = f521bc0d917c73b1821de9bc73dcba7e | ocamlx(Hook) |
| = ee7490c5c8bce0d573cede66b2d01ffd | ocamlx(IStream) |
| = e5fb44d8e3cf697c5a6de63f8895f703 | ocamlx(Impargs) |
| = 488a3f31266d463ec92793aa681e3189 | ocamlx(Implicit_quantifiers) |
| = 23c8fc4e0cfc23b3aa1f375114abdd77 | ocamlx(IndTyping) |
| = 0f9b561370cf82ec47434cc04a4d2220 | ocamlx(Ind_tables) |
| = c6dadfab410552ef40ad50dc1ccb6898 | ocamlx(Indrec) |
| = c8fdb8c8c8c24266464c3299e0d81b94 | ocamlx(Indschemes) |
| = e332ea10826bfbcf100435db5bef694c | ocamlx(Indtypes) |
| = b4dd3c971da588870909bcb401221b04 | ocamlx(Inductive) |
| = 2d6eb67ae21dc88330ecbb29c4a443b9 | ocamlx(Inductiveops) |
| = 2da7bcd3ad0bfc6eae15204ec88ce39b | ocamlx(InferCumulativity) |
| = 876ec834dc7c38018754b7970256a34f | ocamlx(Int) |
| = 8d0ca9b5f29bcd976e9dd8bb0e42a6e9 | ocamlx(Inv) |
| = aefa29971f8126ff8c3e7fd50c031bed | ocamlx(Keys) |
| = e28535eac8ead360eb3475222bd1a9e1 | ocamlx(Lib) |
| = 19bca2597e4107d77b3b8c01486d8e4b | ocamlx(Libnames) |
| = 7f866b0bf616484babec805537f29cec | ocamlx(Libobject) |
| = 3a0eb66ae49155585666133b1b3a0f83 | ocamlx(Library) |
| = db048b9a632ff6bebcd29baf92e9be67 | ocamlx(Load) |
| = f6aa143067de52c0f6255bbb5f62d086 | ocamlx(Loadpath) |
| = c23a37ec4f347e017d6de59842b60027 | ocamlx(Loc) |
| = 2db4a47ddd52f73f9c7887c7bfdabc66 | ocamlx(Locality) |
| = b1e39969ec98c78aecd23fa91b34e448 | ocamlx(Locus) |
| = ca8fab0dd59d1fbeffc3bedfa5bda6a0 | ocamlx(Locusops) |
| = f690b3d86ab71bce16be493e1ad14142 | ocamlx(Logic) |
| = 3f706a1259b11f672a6d3fddd5fbedab | ocamlx(Logic_monad) |
| = b7457110e4afe5384093bc8d49e32ff5 | ocamlx(Ltac2_plugin) |
| = fcaccdddc2e7255781101e8791de177c | ocamlx(Ltac2_plugin__G_ltac2) |
| = d61486b1bd950474cf779670e2113119 | ocamlx(Ltac2_plugin__Tac2core) |
| = 9ae358c739416d8043c933714ce32141 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = f9447de39d1cc4c46b782fa1eda85a02 | ocamlx(Ltac2_plugin__Tac2entries) |
| = 5188e8b1230bc44ca95840e683721861 | ocamlx(Ltac2_plugin__Tac2env) |
| = f129564ef0ec2dfc3f32783868588520 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = b5069ed329e94efb35d2f0adfee0fb65 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = f1aace08178c9cf03689876c2fb2483f | ocamlx(Ltac2_plugin__Tac2intern) |
| = 8a9c4555c23773bb4c426823398a5155 | ocamlx(Ltac2_plugin__Tac2interp) |
| = d440acc7020117a95cebac4428c28206 | ocamlx(Ltac2_plugin__Tac2match) |
| = 54290ad1f6f4d72656f0cca4c6d9eb6f | ocamlx(Ltac2_plugin__Tac2print) |
| = f0ed9a00cafb540fe7f09ce8a6e67cd8 | ocamlx(Ltac2_plugin__Tac2quote) |
| = 334fec4bc3d7d2725719f5b1c07834c9 | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = c3f8edeb945eba7f5426d7c335be6857 | ocamlx(Ltac2_plugin__Tac2tactics) |
| = 0b43f3d00fd9bcec25f2e990419273ca | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 02343b0ffa8d367824fc4a42f1e8ec99 | ocamlx(Ltac_plugin) |
| = cbbe417bf09f267d0e3a3e7b3a4c3999 | ocamlx(Ltac_plugin__ComRewrite) |
| = ca29d152497aed05d6d63b1bd85bd758 | ocamlx(Ltac_plugin__Coretactics) |
| = e7c552b784c3dc44e1f8e6f73e99a479 | ocamlx(Ltac_plugin__Extraargs) |
| = 43192f0ca24f5e120eb9b58eba8e9dbf | ocamlx(Ltac_plugin__Extratactics) |
| = 76c72a06092fbbc3b48bafd8d5b89bad | ocamlx(Ltac_plugin__G_auto) |
| = e0281589bfd61d81be623f3909b0b3dc | ocamlx(Ltac_plugin__G_class) |
| = 4f0b6e8c173d92fa5bc48d6f4128ad27 | ocamlx(Ltac_plugin__G_eqdecide) |
| = 8e648e81d96f957bca8147c05932e772 | ocamlx(Ltac_plugin__G_ltac) |
| = 7fae75e97da518180d6eacd40e458427 | ocamlx(Ltac_plugin__G_obligations) |
| = 1f3c9e72f00a42052c89cae715306646 | ocamlx(Ltac_plugin__G_rewrite) |
| = 1bfb685342d5e7984b4b1bb33ad8cc21 | ocamlx(Ltac_plugin__G_tactic) |
| = dd8c4169a6898d3912e7a6ee02646fbc | ocamlx(Ltac_plugin__Internals) |
| = dfcc04d3b813dee24468a49f5ea6f912 | ocamlx(Ltac_plugin__Leminv) |
| = 03441412238099d5b3164c69387c4e51 | ocamlx(Ltac_plugin__Pltac) |
| = 3b6dc3dfbd25bd854ac8606e83819cc8 | ocamlx(Ltac_plugin__Pptactic) |
| = e1074277aa3993f847094ef3d4f12176 | ocamlx(Ltac_plugin__Profile_ltac) |
| = c6ce338f1c3405ceb7eae2bf1745a391 | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = eadad9467c9113bad91dcaf752825501 | ocamlx(Ltac_plugin__Tacarg) |
| = e6050149f565eb0766f8450e8bf9e951 | ocamlx(Ltac_plugin__Taccoerce) |
| = 3aabedc038873eeaa119a4ccd0cae511 | ocamlx(Ltac_plugin__Tacentries) |
| = 53c0982dd1dc0351974fa7aee6b0077c | ocamlx(Ltac_plugin__Tacenv) |
| = 76ece7b42dbcf56cd18a1e323b6c58cd | ocamlx(Ltac_plugin__Tacexpr) |
| = 9f0d61f5c47a9c3b784081a00e45d99a | ocamlx(Ltac_plugin__Tacintern) |
| = fa015cc04dbf1fd0b599cf08cfcd1246 | ocamlx(Ltac_plugin__Tacinterp) |
| = 6cee2502d11c9a19cd0565f943cdcc15 | ocamlx(Ltac_plugin__Tacsubst) |
| = 9c4130589a401d0bef8be1e193487caf | ocamlx(Ltac_plugin__Tactic_debug) |
| = f96ce8e3f7e8150ca11bdfd380fc105c | ocamlx(Ltac_plugin__Tactic_matching) |
| = 3a239ba5c6b06272c2da7348a44ffddb | ocamlx(Ltac_plugin__Tactic_option) |
| = 9f051c6c63d69be427e043ff2d7e6a12 | ocamlx(Ltac_pretype) |
| = 5fc28a091387a722d91556e6cb3f552c | ocamlx(Metasyntax) |
| = 3f5f2d6b4ec976d757321e1840be34d0 | ocamlx(Micromega_plugin) |
| = d56d69ff9ca7b1600ab7329bdb832de3 | ocamlx(Micromega_plugin__Certificate) |
| = 150e40851c0d727ee002f2bb3660f5cc | ocamlx(Micromega_plugin__Coq_micromega) |
| = b25538d3cbc0bfa2458fd2e9eb217683 | ocamlx(Micromega_plugin__G_micromega) |
| = f82d22254f6112f4204ef7f28a1633d9 | ocamlx(Micromega_plugin__Itv) |
| = ba990e6b7ed3cc2a4e51780444c564e7 | ocamlx(Micromega_plugin__Linsolve) |
| = b33e566cf0af525e853078ce58b61b0c | ocamlx(Micromega_plugin__Micromega) |
| = 3115ebb567dbe3043f0c0feb3a40fa15 | ocamlx(Micromega_plugin__Mutils) |
| = 1baf488ce1130e5a12b22c49d005808e | ocamlx(Micromega_plugin__NumCompat) |
| = 4466c771636c21564129fc321a9d7403 | ocamlx(Micromega_plugin__Persistent_cache) |
| = e97efb1ab29bbabe60219ddb6bb701df | ocamlx(Micromega_plugin__Polynomial) |
| = 1bf63a6ee24de3303c66ac00a689993c | ocamlx(Micromega_plugin__Simplex) |
| = 34b06125de0d16b1ebcfeeb7e25bd154 | ocamlx(Micromega_plugin__Sos) |
| = 1cf739dc6be486e88cd0d15af812a0c6 | ocamlx(Micromega_plugin__Sos_lib) |
| = c9583826258501947a68dc4c87da41bc | ocamlx(Micromega_plugin__Sos_types) |
| = 1d1ed6a363029ab9caa38ce7360d599b | ocamlx(Micromega_plugin__Vect) |
| = 10ec63f48616779c50027717e3e4f555 | ocamlx(Miscprint) |
| = 9bea91991ab4f0173348a1cd5511b891 | ocamlx(Mltop) |
| = 17c5bb691b3307fb71cfe001908ec51f | ocamlx(Mod_subst) |
| = 17b5a13221f3cbdde9671f912b92aa03 | ocamlx(Mod_typing) |
| = 2ce13d0f9a29029233e616140f990265 | ocamlx(Modintern) |
| = 7fc4d4759898a7ec6f45d3967cd1a1d4 | ocamlx(Modops) |
| = 1531fd625fcbfec0386bc4416a03b238 | ocamlx(Monad) |
| = a830872c6278dd4580ce8227893fe479 | ocamlx(Namegen) |
| = 5d5c438cd368e75473d40edcad90c0f0 | ocamlx(Nameops) |
| = 0edf60f3030b7f3dea7cf9f1313b5961 | ocamlx(Names) |
| = 6dc5c62faf67c24ddadaa1f82e6f8a1e | ocamlx(Nametab) |
| = f0cf3e8c9b638fbd85b447241090764c | ocamlx(Nativecode) |
| = 493f04b7523762107a240fa7b2581db7 | ocamlx(Nativeconv) |
| = c4bd51d085b8e17ae8c8d88c835606fb | ocamlx(Nativelambda) |
| = a0a546d9458551437db320dc0c392355 | ocamlx(Nativelib) |
| = 62e8a9dcb0945f297305d08c281a7bd7 | ocamlx(Nativelibrary) |
| = bcecb1f17e25c083d5a312801b6a0eac | ocamlx(Nativenorm) |
| = 753e5b7262aeb1aa20aa51eb7ecad1a5 | ocamlx(Nativevalues) |
| = 5d6354b31d34358bcb2f2711bd16a44c | ocamlx(NeList) |
| = 9c52ee54a0ca7dbf0d1b725c3f28bb31 | ocamlx(Notation) |
| = d469b98bef23ffbc250f2cb41075397a | ocamlx(Notation_gram) |
| = 7f41c53fcf1040e88aededd8fb7dd294 | ocamlx(Notation_ops) |
| = 3dc788e83c2c52af34cbcf50dae010ae | ocamlx(Notation_term) |
| = 918157dc5451fb05042ef27fb9283554 | ocamlx(Notationextern) |
| = 4adb6b5f96809ef70125090025b5bc68 | ocamlx(Notgram_ops) |
| = d6a001c21181e7ec3d72b159cd21f753 | ocamlx(Nsatz_plugin) |
| = dbc4c4eed02aaedf015a50c326402b87 | ocamlx(Nsatz_plugin__G_nsatz) |
| = 2972a168eafde4bd4bf8a499663f433e | ocamlx(Nsatz_plugin__Ideal) |
| = e24ec16458fdf33da0f8987a90e02601 | ocamlx(Nsatz_plugin__Nsatz) |
| = d553f8e4a903cd9c34e4b2679587ab80 | ocamlx(Nsatz_plugin__Polynom) |
| = e5490d59ecb2fc6074e8e7d58d4ae32f | ocamlx(Nsatz_plugin__Utile) |
| = 3e330e90e958af90952f9fae6df34e17 | ocamlx(NumTok) |
| = cbb44bb171253e8f46928a4abc7ef06f | ocamlx(Number_string_notation_plugin) |
| = d97976bfa166252eccd5494cca20c8ee | ocamlx(Number_string_notation_plugin__G_number_string) |
| = 3d8e4f0ef725657eab3586671cb97f45 | ocamlx(Number_string_notation_plugin__Number) |
| = cbf851ae8f2c0663b16354b8f770613c | ocamlx(Number_string_notation_plugin__String_notation) |
| = 1b083e16b842d0ccfa1b6fd5a5a185cc | ocamlx(ObjFile) |
| = 8ad1318a11783cead8213eb353b4ca89 | ocamlx(Opaqueproof) |
| = 9260e03ca1e0b84c2f3406e37bc79958 | ocamlx(Opaques) |
| = f833280a6b196f2c932a082fc52f0e11 | ocamlx(Option) |
| = 597f0111bf9a56dd743092408b71db9d | ocamlx(OrderedType) |
| = 620b9b963879eaff81d8ab67f5f9f25d | ocamlx(Parray) |
| = ec078f6eec995bb111ee732e71bc42af | ocamlx(Partac) |
| = 5e693cf1927c568f4c2e0724325c3b9b | ocamlx(Pattern) |
| = 86f94818826f23e871c478bd11e65926 | ocamlx(Patternops) |
| = 010455615c6961588db9ec9e5b9ff22c | ocamlx(Pcoq) |
| = 512b0be344cb419a302b1b9ee4271094 | ocamlx(Pp) |
| = 9a4f3a5ff698746e2ed06674a8200fbd | ocamlx(Pp_diff) |
| = 9d7165cf207716d00b593dad95fdc59f | ocamlx(Ppconstr) |
| = b57561dbad87062e68b80bb5eefeadef | ocamlx(Ppextend) |
| = e7b9df95a8b5304634ba59feb5c6b52c | ocamlx(Ppred) |
| = 618d46ac930770a2dcd8ecf0527cadb0 | ocamlx(Pputils) |
| = 0dcfd4b3611ccc2f0dd13f5e1da6569a | ocamlx(Ppvernac) |
| = ab67d36eefa4d91ba66178d4d82a478f | ocamlx(Predicate) |
| = 95661d3397fbf2b6a1041e27c068d14d | ocamlx(Prettyp) |
| = 40f2190754bb973c20a0381a4d5c2cdc | ocamlx(Pretype_errors) |
| = 2b3efd9054bb0a3545e42c78846f90dc | ocamlx(Pretyping) |
| = aa923e21423a424d395f6a8813fc5c81 | ocamlx(Primred) |
| = 6e94e2c442299de55e42a8e239b981d4 | ocamlx(Printer) |
| = b41e656bb7fa2ecd95991c6603416f88 | ocamlx(Printmod) |
| = 989db0cb024f9445c8a6d18c37b66bb1 | ocamlx(Program) |
| = f55dc16fb2b21595a28b987aa1c1fdec | ocamlx(Proof) |
| = f4173be72820caffa783f49f34eafbcc | ocamlx(ProofBlockDelimiter) |
| = f1c3d427af5103bb330766e3e061897f | ocamlx(Proof_bullet) |
| = 8f2ddaa798a16ae1e2a995e43f586cac | ocamlx(Proof_diffs) |
| = 771d840d4ae0f5579b7d5773eed4e6b0 | ocamlx(Proof_using) |
| = 01ce6ae00491f574d135392ee2676fbf | ocamlx(Proofview) |
| = 792652cfb62c8d2ac9c566dab1821d98 | ocamlx(Proofview_monad) |
| = 23397e9b4219bfd921b6dfa195813089 | ocamlx(Pvernac) |
| = 7d711a9c41f4a476770474e9a9c6dc69 | ocamlx(Range) |
| = 5cfc3af992bae2defe3c9be26403dce2 | ocamlx(RecLemmas) |
| = 6c550ef5dc559643985a63ac282caaf0 | ocamlx(Record) |
| = fd87dda36282268b888b5b28872f8fbb | ocamlx(Redexpr) |
| = b04fecf7412c09576a98418ba4c79097 | ocamlx(Redops) |
| = 0590cdb2263e6a8fabe26d0d142be256 | ocamlx(Reduction) |
| = df3f6e0e9556da94eaca48e5a4d7f1c5 | ocamlx(Reductionops) |
| = f64744d6c5b83aed0dc08d66e7e88002 | ocamlx(Refine) |
| = a87b7c951217badcd36626dbaa6a55b3 | ocamlx(Relevanceops) |
| = 3b380090af18cf7d2cfe37e0d34d8c20 | ocamlx(Reserve) |
| = 2bd0974b474b678769ae932f04e8ebe4 | ocamlx(RetrieveObl) |
| = e9370ca20243e20b904e72f1e4e475e8 | ocamlx(Retroknowledge) |
| = ef17df09b6995a9cf173996641c8c889 | ocamlx(Retyping) |
| = 9b3a6a24344d722ec43dbd3d9117dae4 | ocamlx(Rewrite) |
| = 065879c531fd1bd28a924e5ad52851dc | ocamlx(Ring_plugin) |
| = 70273b7951c8edb9f15fe5281339cc7e | ocamlx(Ring_plugin__G_ring) |
| = e6b097cb8a40e83e826c8f1b449bf731 | ocamlx(Ring_plugin__Ring) |
| = 20a28166958d025dbeb780d9c7c11dec | ocamlx(Ring_plugin__Ring_ast) |
| = 48551cc3964c7847c352af7c93d98c9e | ocamlx(Rtauto_plugin) |
| = 2a19e13018ce5b90e7abcd7162651b7d | ocamlx(Rtauto_plugin__G_rtauto) |
| = 4d8c7e7dee33078d6ab67784d1f5c723 | ocamlx(Rtauto_plugin__Proof_search) |
| = 58a9e13185d54a8b36d35dd9a35be9db | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 9e037865c0ece076ceb53fdbee39c170 | ocamlx(Rtree) |
| = fb91cc165aa5a2b87d0700bc94ce7920 | ocamlx(SList) |
| = 6f007cefdf18d45141128842b7d1fa20 | ocamlx(Safe_typing) |
| = 2d0f54c0d403e5b28aa9e64c7a0d9d13 | ocamlx(Search) |
| = 7bf25cc8bd73fb9b23dba8773534f2f7 | ocamlx(Section) |
| = f21f1b28099ba9db638e2bb02915a529 | ocamlx(Segmenttree) |
| = d49d0c79e49ce44d40471b46872ea582 | ocamlx(Smartlocate) |
| = d7b32da53e7561408cd2e2a6bbbe52cf | ocamlx(Sorts) |
| = ba2a366e27767ea10607e9b9c5d75e67 | ocamlx(Spawn) |
| = 2204c9745220f8d8d68083d45ece68fd | ocamlx(Spawned) |
| = d257003cb19f834a2f72053cf22557e2 | ocamlx(Ssreflect_plugin) |
| = 5cad0b5943e917b043faa891f3389c54 | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 30e9f9b18ea96a8519c284ba3748c766 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = 773c7f4b101b047b208b8c0f24d5ec5c | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 5ecbe34c05bf0878c3cd47e5c4cd8374 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = cd93d3f1404f48a87a0e26d28c9e87fa | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 6627e860afcdfcfd7613c1b6d499cda6 | ocamlx(Ssreflect_plugin__Ssripats) |
| = 2477fbe0f0ffe0989634775d0ac0b268 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = e43cb94e363a0aa9b8d10f55e8a1f8ac | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 54c2053e5fb8376b4553bd1c3a0e3ba5 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = cf787b9f6c5c7a189f8400334180c4a9 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = fd2f98fd9a6bb11dde319a9c23860621 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 3e4bd3af8fadf1b346d063ea3bfa6f8f | ocamlx(Ssrmatching_plugin) |
| = ecebaaf01832d1064a25a8522290f8b6 | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = e4a8ddf40f65b84c8b89faff71597ee7 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 922f2a7ee6e38384c67f2e5640f215b6 | ocamlx(Stateid) |
| = b841b73e67dae7d843fbb18ec74874b6 | ocamlx(Stdarg) |
| = b1f54b56ba65134e4183651a1592c91d | ocamlx(Stm) |
| = a3ef6a6edefe3f2959a8683f878d1424 | ocamlx(Stmargs) |
| = 3755eb8d7ee8071f785f9543a3ae4f4e | ocamlx(Store) |
| = 4c995c31ecf2bfb675b4b0331bb06b38 | ocamlx(Structures) |
| = 695fad8f1a2ab6d7670b09cbd7eb7db1 | ocamlx(Subtyping) |
| = 3f155d78648ef81ede71f01ab5867f2c | ocamlx(Summary) |
| = b9f70a7b3c93a2973397762f41dc8646 | ocamlx(System) |
| = 4f8bd47c30b524d69665ecee00d5c349 | ocamlx(TQueue) |
| = 52005d64b152e6c2071b74fc3580f630 | ocamlx(Tacmach) |
| = 3b0825e1637de92e95f48334e940b141 | ocamlx(Tacred) |
| = 12ff1d20474e94b805cf98686b8e8222 | ocamlx(Tacticals) |
| = 45ebf3b29cfbbd60f3eaf0d10d44a4c4 | ocamlx(Tactics) |
| = 647a04c53a53f58997193098fefe6a3f | ocamlx(Tactypes) |
| = 9b46771c5cc8587f0ebb0b3d8595f6ad | ocamlx(Tauto_plugin) |
| = 7d7929218b3192fff83e8982540114a8 | ocamlx(Tauto_plugin__Tauto) |
| = 0f27b405f6d55af36f6e90147808fffd | ocamlx(Term) |
| = 8b4c400d4c8fba5efeffe47893254e28 | ocamlx(Term_typing) |
| = dc2f054a79a7003b3463e64b3de01843 | ocamlx(Terminal) |
| = b3933d5c83bfde7caec5ed25ee049f59 | ocamlx(Termops) |
| = d66056ffcf3e10815de488abcb7f877c | ocamlx(Tok) |
| = 942ec9c264e0ab0cdf3fe0e60c0b03b6 | ocamlx(Top_printers) |
| = a8b0a631da8b483b5788cc743606c09d | ocamlx(Topfmt) |
| = f75e3ce3d9f5e75f9097d6f4ce49f820 | ocamlx(TransparentState) |
| = 3895062cc3abedbc3247191ea017dee9 | ocamlx(Trie) |
| = d55fcc9f2afa7dffd2497681d3c6b09a | ocamlx(Tuto0_plugin) |
| = 5178b217b250a66c7ad817f6b994e343 | ocamlx(Tuto0_plugin__G_tuto0) |
| = 302bcd872753aa64110ab842be687178 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = ccf288980a0f3ac5c2518d2d7a60ffb6 | ocamlx(Tuto1_plugin) |
| = f49eb24b8287d41fa7c15d6a90c2cf99 | ocamlx(Tuto1_plugin__G_tuto1) |
| = f99bc49106e35f76cc32c60964479622 | ocamlx(Tuto1_plugin__Inspector) |
| = 72bcae07c2cd88acf10c58429d153c43 | ocamlx(Tuto1_plugin__Simple_check) |
| = 975d669d43e997473856e9bc273e7077 | ocamlx(Tuto1_plugin__Simple_declare) |
| = 75123017e91f7d34981b2755d5695bed | ocamlx(Tuto1_plugin__Simple_print) |
| = 4103992a14636702692977d2a4c5359a | ocamlx(Tuto2_plugin) |
| = 2943be974c57c3e31acf81c9a0aac660 | ocamlx(Tuto2_plugin__Counter) |
| = 6f343a4972a2a9bad100757f0dcbb9d8 | ocamlx(Tuto2_plugin__Custom) |
| = 8cdbfaec6998607bf787a1127c34e7e6 | ocamlx(Tuto2_plugin__G_tuto2) |
| = 10edb4222cbddf711b4485cbb89cef26 | ocamlx(Tuto2_plugin__Persistent_counter) |
| = f25a1b937e17658df19641388a56c72a | ocamlx(Tuto3_plugin) |
| = c0a8182270023d35df8681d179998e7f | ocamlx(Tuto3_plugin__Construction_game) |
| = bb1164df5526b091b95e006d65e42202 | ocamlx(Tuto3_plugin__G_tuto3) |
| = fc556f9cfc9d9c93a52182465329f1b5 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = 95b0b9c8b5368940516fab3823c635ec | ocamlx(Type_errors) |
| = 6b1c123cd9d4c25bf03a1e399f267ac1 | ocamlx(Typeclasses) |
| = 4ca2da363d2f15a3ea867e7585edc32d | ocamlx(Typeclasses_errors) |
| = 1cd8fa1c370b7f30403063135363b52d | ocamlx(Typeops) |
| = 499e2923ec91c1f703f75d6d6b0f6be3 | ocamlx(Typing) |
| = 555a12a84cac06599c5ebc6657ebb8c8 | ocamlx(UGraph) |
| = cba6eff8d5f9df483127334986c6704d | ocamlx(UState) |
| = 15679073118717ab37b3acd758d5eeb1 | ocamlx(Uint63) |
| = 889fdcd19581d9ad932eeb1cc20e343f | ocamlx(Unicode) |
| = 66c66c38d1f928fd3b5ba09df2498371 | ocamlx(Unicodetable) |
| = bfa2c8ef59114ba520b2fec668b16b5c | ocamlx(Unification) |
| = 8246f3486bf7e2c27d9e11279783297e | ocamlx(Unionfind) |
| = d5a90b7bb24316ebda8db1556abad609 | ocamlx(Univ) |
| = 4bd0f51dc2a1fe66560d3dbf4238863b | ocamlx(UnivGen) |
| = 046e0519a9d038762f1ad5ef118097c6 | ocamlx(UnivMinim) |
| = 0ff43376bd4dc8461cf166ebc2db2677 | ocamlx(UnivNames) |
| = d7ec5e8574cc4e36385a268d534b3ccc | ocamlx(UnivProblem) |
| = 4641d1df67ffd7a7df92680b01eb86eb | ocamlx(UnivSubst) |
| = ff77666486d62bb9e2b9c32e7e270253 | ocamlx(Util) |
| = e7d8178cf5272b18aeb1d48916d3099c | ocamlx(Vars) |
| = db8a343da40001a37893584a0dd2bb71 | ocamlx(Vconv) |
| = 267ed2f405d88f1e244c7be76772ee60 | ocamlx(Vcs) |
| = d5b6c6fbaecee93cce227477eb12fe60 | ocamlx(Vernac) |
| = b6175ce9b33116b49247bf5b29d973f9 | ocamlx(Vernac_classifier) |
| = 2f310bf2ca4982655a00c31b1c116ec1 | ocamlx(Vernacentries) |
| = c2bdb45366ebb0f9e63171b1002eff6d | ocamlx(Vernacexpr) |
| = 63f15fbd2fc2762121b679dcd97f658a | ocamlx(Vernacextend) |
| = e44dc2a877faf07ba93bf8d6a00aa6d4 | ocamlx(Vernacinterp) |
| = 3076fadece0284017989ff4eae037a08 | ocamlx(Vernacprop) |
| = 034d3567af133fbedc8b85315fb69d2a | ocamlx(Vernacstate) |
| = 209b22d9a51e54f2513ffb643a0ffde0 | ocamlx(Vio_checking) |
| = 4e0fb2a09d6213f67ebff6cba53b0ab8 | ocamlx(Vio_compile) |
| = c97303b7c5a0618e6ff7b6246b3bfe45 | ocamlx(Vm) |
| = 5dd13ad523cce1518e9c9663e3505ccf | ocamlx(Vmbytecodes) |
| = cd6d32bc07e6013c5f6b3fb71794b927 | ocamlx(Vmbytegen) |
| = 322c255af398f2cefc266da7360f8c05 | ocamlx(Vmemitcodes) |
| = 610412f326cae0debe9c496bd26254f1 | ocamlx(Vmlambda) |
| = 8e2b273995de4fb4313240d2344f6169 | ocamlx(Vmopcodes) |
| = 8d91652a4a4f4457f44abf9cf694abb2 | ocamlx(Vmsymtable) |
| = 27e9119aaa9c61b3edc0957c1dcd4082 | ocamlx(Vmvalues) |
| = e30f98aaea486eb4abcefdec43ca02f6 | ocamlx(Vnorm) |
| = febd3cbd805480bdc2549677dd3080f0 | ocamlx(WorkerLoop) |
| = 7c7e4d1e63559bf4e36994aba5c6d8eb | ocamlx(WorkerPool) |
| = a20308854293709316ee22e5ccbdb473 | ocamlx(Zify_plugin) |
| = 3a9c75d02e600fa2ddfcab2010bc7f50 | ocamlx(Zify_plugin__G_zify) |
| = 95a019242a0c6c9603ddbbd2095de1d2 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.17.1-5.fc39.aarch64.rpm
فایل ها
| مسیرها |
|---|
| /usr/bin/coq-tex |
| /usr/bin/coq_makefile |
| /usr/bin/coqc |
| /usr/bin/coqc.byte |
| /usr/bin/coqchk |
| /usr/bin/coqdep |
| /usr/bin/coqdoc |
| /usr/bin/coqnative |
| /usr/bin/coqpp |
| /usr/bin/coqtop |
| /usr/bin/coqtop.byte |
| /usr/bin/coqtop.opt |
| /usr/bin/coqwc |
| /usr/bin/coqworker.opt |
| /usr/bin/coqworkmgr |
| /usr/bin/csdpcert |
| /usr/bin/ocamllibdep |
| /usr/bin/votour |
| /usr/lib/.build-id |
| /usr/lib/.build-id/09 |
| /usr/lib/.build-id/09/96c15e092e4ef9d2c4cf244ad919123df02b39 |
| /usr/lib/.build-id/14 |
| /usr/lib/.build-id/14/a8c9d81799e221ae36fa400f01f12ed4435837 |
| /usr/lib/.build-id/18 |
| /usr/lib/.build-id/18/4baff851960557f45fd70b71cc0f717b3cbb32 |
| /usr/lib/.build-id/1e |
| /usr/lib/.build-id/1e/39803243c64c75b8fbb854d3529236d8c2beb1 |
| /usr/lib/.build-id/21 |
| /usr/lib/.build-id/21/177ea8721b31ede9cf8e9a26d6067d633c5d78 |
| /usr/lib/.build-id/22 |
| /usr/lib/.build-id/22/4c399b0ff684e9edec108e1f96eb672f362a8d |
| /usr/lib/.build-id/22/7cf1387fd25a1c170d352592babcb57d5c7c8c |
| /usr/lib/.build-id/22/cba32202fffeef12db42696175ed1454be41b5 |
| /usr/lib/.build-id/23 |
| /usr/lib/.build-id/23/2ead7b4ecd5cdbd961bb95393b86e5829d70a6 |
| /usr/lib/.build-id/2b |
| /usr/lib/.build-id/2b/c84d0bc648bac9652ca0a48dec826987f702d2 |
| /usr/lib/.build-id/2f |
| /usr/lib/.build-id/2f/176774df305628135ed625e134ca3324858f85 |
| /usr/lib/.build-id/31 |
| /usr/lib/.build-id/31/c05a13fc17f5cb71bda45d12054b55ad6d74f4 |
| /usr/lib/.build-id/3e |
| /usr/lib/.build-id/3e/a5ad31cfcd4ec2189c34ff4cf95c16ff5e2473 |
| /usr/lib/.build-id/46 |
| /usr/lib/.build-id/46/9ecf145692a2154f04fb1801e94d07423a5d20 |
| /usr/lib/.build-id/48 |
| /usr/lib/.build-id/48/dec965465142c9282be5e169474fc0726b0d7e |
| /usr/lib/.build-id/4d |
| /usr/lib/.build-id/4d/8e5a19207da0727a116f6d4990e8c306eef953 |
| /usr/lib/.build-id/50 |
| ... and 2799 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2023-07-27 |
Rebuild for ocaml-zarith 1.13
|
| 2023-07-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild
|
| 2023-07-18 |
Validate appdata with appstream-util
|
| 2023-07-12 |
OCaml 5.0 rebuild for Fedora 39
|
| 2023-07-10 |
Version 8.17.1
|
| 2023-04-01 |
Version 8.17.0
|
| 2023-01-24 |
Rebuild OCaml packages for F38
|
| 2023-01-19 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild
|
| 2022-11-26 |
Version 8.16.1
|
| 2022-10-06 |
Remove the manual, which has a non-free license (bz 2132567)
|
| 2022-09-16 |
Version 8.16.0
|
| 2022-08-15 |
Convert License tags to SPDX
|
| 2022-07-20 |
Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild
|
| 2022-07-19 |
Enable documentation build with Sphinx 5+
|
| 2022-07-19 |
Remove i686 support
|
| 2022-06-20 |
Rebuild for antlr4-project 4.10.1
|