معرفی شرکت ها
coq-core-8.18.0-1.fc39.aarch64.rpm
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
Core components of the coq proof management system
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Fedora 39 |
| مخزن | Fedora Everything aarch64 |
| نام بسته | coq-core |
| نام فایل بسته | coq-core-8.18.0-1.fc39.aarch64.rpm |
| نسخه بسته | 8.18.0 |
| انتشار بسته | 1.fc39 |
| معماری بسته | aarch64 |
| نگهدارنده | - |
| تاریخ ساخت | Wed 03 Jan 2024 03 |
| هاست سازنده | buildhw-a64-23.iad2.fedoraproject.org |
| نوع بسته | .rpm |
| آدرس صفحه اصلی | https://coq.inria.fr/ |
| مجوز | LGPL-2.1-only AND MIT AND BSD-3-Clause |
| حجم دانلود | 235M |
| حجم نصب | 877.976M |
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.aarch64.rpm | 8.17.1 | aarch64 | Fedora Everything |
| coq-core-8.17.1-5.fc39.x86_64.rpm | 8.17.1 | x86_64 | 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.18.0-1.fc39 | coq(aarch-64) |
| - | 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) |
| = 873cb7ddab0343f33c9c7cc381de5b05 | ocaml(Abbreviation) |
| = c7f702ea9dc1489c3b2ca4cc3984100d | ocaml(Abstract) |
| = 392150c230c7b773614b8132b5050594 | ocaml(AcyclicGraph) |
| = 2bde0c790e571af4e87b6fc7bda5b024 | ocaml(Arguments_renaming) |
| = 15f4405e819bf251ffc442bb4f619831 | ocaml(Assumptions) |
| = bc2cad92fd259b84de12b4a3b59cce61 | ocaml(AsyncTaskQueue) |
| = 730265eec2e3da042cdd0f8a8c134f46 | ocaml(Attributes) |
| = 916d916aa8f133719e64cdcaa0b5297e | ocaml(Auto) |
| = 958516e75f1f840227b635ab59330132 | ocaml(Auto_ind_decl) |
| = 796bbefa57187ab9b56444ffddfdb8f3 | ocaml(Autorewrite) |
| = 446a9bc1bca7241dbd82226640d34b8d | ocaml(Aux_file) |
| = 981a14e500660f2c264fb221a4e70905 | ocaml(Big_int_Z) |
| = 43145732bb85209ab41a902e180a47fc | ocaml(Boot) |
| = eeff6b49448b096ab1f7cf11af339b79 | ocaml(Boot__Env) |
| = 5e1b06b3dd1afae49008507b4839c3b6 | ocaml(Boot__Path) |
| = 106fe5d619dbada8e803243a726307cc | ocaml(Boot__Usage) |
| = ac2f9d413b44a66612a610fb30444885 | ocaml(Boot__Util) |
| = 53003820aa5511da965c3279d86ecece | ocaml(Btauto_plugin) |
| = 1ec5b7751961344e6f6e4517abfa86db | ocaml(Btauto_plugin__Refl_btauto) |
| = 04977a8296a8c21fd5979578fc19699e | ocaml(Btermdn) |
| = 6d58569e3639e38decf1a0dbacbf0726 | ocaml(CArray) |
| = 42d6ecfe3ce9d100a355b5990a884114 | ocaml(CAst) |
| = 5f02da07dc25d0af177e5b431bd2ca7d | ocaml(CClosure) |
| = 326079a49c3f190b8b7ab5844c584942 | ocaml(CDebug) |
| = 93e20cd55896e94be0d04b06c6571279 | ocaml(CEphemeron) |
| = 00917bcf8ba9a78b4ea100f83590b566 | ocaml(CErrors) |
| = f77e1d27f3ce84e91131fb23dda42504 | ocaml(CLexer) |
| = a7a0c48b94e35b57bfb2bc2689d58cb7 | ocaml(CList) |
| = 56aa025417b342f792402ad3a956066e | ocaml(CMap) |
| = 1ffe6496dc68e0493a0b7dd654261007 | ocaml(CObj) |
| = 07235103f046552da753e83ad1b62004 | ocaml(CPrimitives) |
| = f65c51ee4bce727d8b9088a358e5ef4f | ocaml(CProfile) |
| = 7d7be9cc23fb38e10753233bf859750e | ocaml(CSet) |
| = cbe0b0a079f2ef2dcd13f42ae80840dd | ocaml(CSig) |
| = ba1439e877c8deb15a04b63ae44497cb | ocaml(CString) |
| = 9369628f10c527279600dd048e6a87bd | ocaml(CThread) |
| = 02c1e8f824a500e558673c6fa375775f | ocaml(CUnix) |
| = 360d9e855470374f7e15382e6a31506b | ocaml(CWarnings) |
| = cecfafd5c021473f5e358c96ac7502a0 | ocaml(CamlinternalFormatBasics) |
| = 2c797917c31a980b79e9d16d84057b70 | ocaml(CamlinternalLazy) |
| = 5f3bf6a430a949e1f685fd8552eeeda5 | ocaml(CamlinternalMod) |
| = 4ac53fc6e396c241e7ace9c4b7273412 | ocaml(Canonical) |
| = 261c05c1a2689525bddd94df83e0f720 | ocaml(Cases) |
| = d34af3aa5224bfbe0a2ff225194152e6 | ocaml(Cbn) |
| = c2c35d90e2a96c1d1cae9dbdbee98da2 | ocaml(Cbv) |
| = cf0c15430522205e4ed7cc115dd5420f | ocaml(Cc_plugin) |
| = b530a65d325960b5c541084c0d8179b1 | ocaml(Cc_plugin__Ccalgo) |
| = 18c90a579ac3534f7b6bb9bf66d6d046 | ocaml(Cc_plugin__Ccproof) |
| = 703837fbdd8c7f38b8c76071c4d6af55 | ocaml(Cc_plugin__Cctac) |
| = 5d3510ca45c5dad41e8d1049e8acae94 | ocaml(Ccompile) |
| = 058933c9284eb15e2d829d63de80f9d0 | ocaml(Class_tactics) |
| = 5cc5d7191c4b7ced8a4126121845bc12 | ocaml(Classes) |
| = e80f8df23ad011ae72602f8b749f481f | ocaml(Clenv) |
| = f31fc315266a2bd327085dd4d6d9c82c | ocaml(Coercion) |
| = 3f4b790f488db7e835774cc53c561179 | ocaml(Coercionops) |
| = 56d65134ea11ecaaf87832feebcc1b19 | ocaml(Colors) |
| = c1534e63f6e31a8e6199e7696775a97e | ocaml(ComArguments) |
| = bf9848903fdec5bd86b1c33a4037fa47 | ocaml(ComAssumption) |
| = 0a4bd41ed64d2fa7331dc95cba9c3982 | ocaml(ComCoercion) |
| = 2107efcc8cb5cf520ee8d0c871c29a10 | ocaml(ComDefinition) |
| = 374de6d14aa52d44a10ce7a3a19897f5 | ocaml(ComExtraDeps) |
| = a8010fd22fd709a57545ed29ff2bed49 | ocaml(ComFixpoint) |
| = 4d5af008b55c407b716c6afdc0138bc5 | ocaml(ComHints) |
| = 1b82fa5a358d5208897aa25ab8aef30b | ocaml(ComInductive) |
| = 68675d27ceef46d2869331c1a910e83d | ocaml(ComPrimitive) |
| = dbe21a869d174d22f8e5d4f5372c4119 | ocaml(ComProgramFixpoint) |
| = 0715da71a938ca0dac2468bedbaea96c | ocaml(ComSearch) |
| = 07a9bdba58dd11bfb27eee213175909d | ocaml(ComTactic) |
| = 16fec060dec5acfaf5a67a4c863cc73c | ocaml(Common_compile) |
| = 17c325a2333f6346a22dabcc205d0809 | ocaml(Constant_typing) |
| = f7420182b69f0d3646c935cd7b59745b | ocaml(Constr) |
| = 7489d42882d335012da88d04858f7b15 | ocaml(Constr_matching) |
| = f19d3c6b7b2f9c73b4d81d5072fc7969 | ocaml(Constrexpr) |
| = 9329f0463bb93bebe8c288e29bf5823e | ocaml(Constrexpr_ops) |
| = 29c0c0d4ad89971e71edccb6c22b0b4c | ocaml(Constrextern) |
| = c6d0cd9c635fb2a8e83830f9fedd9565 | ocaml(Constrintern) |
| = 3d39efc23f824b02c82114025f1ecac4 | ocaml(Context) |
| = 9d1aa637ab98b676319a1d1883c0f725 | ocaml(Contradiction) |
| = 705fecc4af18942904bb999ae7333291 | ocaml(Control) |
| = 710e6424928355e4e79f94fc54e3996f | ocaml(Conv_oracle) |
| = 0e64c1e86b9425ae4be9b3521e2fc857 | ocaml(Conversion) |
| = 2a47249e98b3be9e170d34cd4d9a6ef1 | ocaml(Cooking) |
| = ad63fb43db20783159b0795a5ff28af7 | ocaml(Coq_config) |
| = 7dda718f8676fc8734519980846375b8 | ocaml(Coqargs) |
| = e4fbb80c91d8476a3f5cfcaaf6e044eb | ocaml(Coqcargs) |
| = b50bc6407970fee5137d7369c1e081e6 | ocaml(Coqinit) |
| = 5bebc4a384c77c5330739cc72ad255ce | ocaml(Coqlib) |
| = cd5317c42432329d8ae596b3cc9fc087 | ocaml(Coqloadpath) |
| = 39962a1a4c281abee2b8e4296a7b73ac | ocaml(Coqloop) |
| = 45f89ccccea01acf5853212d5cbabc26 | ocaml(Coqrc) |
| = 38f9c06d17ab2c517f3d32d5b2ada16f | ocaml(Coqtop) |
| = 49de4eead2e6f33da68e7afac042c450 | ocaml(CoqworkmgrApi) |
| = 80ff6829d6e486ac5603f01e61095ce7 | ocaml(Core_plugins_findlib_compat) |
| = 2f2b7acba36e311950e44668c73498db | ocaml(DAst) |
| = 18c1f55fbe60e9d9b988164d316e1cad | ocaml(Dag) |
| = 5b7192faaf31fccd63ad285c9cd83037 | ocaml(DebugHook) |
| = 9235ebed91210dcb1116cac6b9f1ff52 | ocaml(Declarations) |
| = d63daa907f5178bf92cad80835b83e89 | ocaml(Declare) |
| = 6ab0a9c1ec9ad5b36e730402bd628adb | ocaml(DeclareInd) |
| = a219447b6c78a4eab3af89bdbf3bda07 | ocaml(DeclareScheme) |
| = 9d3763f3a19578cbe7fb3bab1635ed3a | ocaml(DeclareUctx) |
| = 17eaaf491f73a7bb3a75cb3570c3dcb7 | ocaml(DeclareUniv) |
| = 56f94fa38dfba52fbbd1ba4b373560fb | ocaml(Declaremods) |
| = b07c0fd60e6a2f8af9f5c994e3fb2f7c | ocaml(Declareops) |
| = 7079ec08ffb13ce1605792ed809e58e8 | ocaml(Decls) |
| = b15ef9256df466a8fb4166c91d2d6585 | ocaml(Deprecation) |
| = 78d505fae5f5bf6eecf03a786dd27bdc | ocaml(Derive_plugin) |
| = d9bcca1987d7067e7d7a5a7d4112ad74 | ocaml(Derive_plugin__Derive) |
| = 3b6fe8eb4a2271c5b926298fb1f6e83c | ocaml(Detyping) |
| = 926b80ac1ee1ed0ac9c0f26e9c85f74a | ocaml(Diff2) |
| = 1a0056a8e9a7820165d2bd1dda1f9261 | ocaml(Discharge) |
| = fc829bfd97349dafa693029ebea88f2f | ocaml(Dn) |
| = 7c33431d9bab53ffe442f1e16db6f418 | ocaml(Dumpglob) |
| = cbf19b204d91d94e8817b26f32a8ba9c | ocaml(Dyn) |
| = 4ef8f180b6a55f28c092cd0698987af5 | ocaml(Dynlink) |
| = 7dc851b04295db22682ce3c2565c9294 | ocaml(EClause) |
| = c828561535e94b6bb6037ca74c3dc755 | ocaml(EConstr) |
| = c31bbec7603a0eb07fbabbf44f543506 | ocaml(Eauto) |
| = 415ca3186196a8ff2636eac1ec5eeb53 | ocaml(Egramcoq) |
| = b7b885e329a146c033f945a8ae3a33f0 | ocaml(Egramml) |
| = 2eb43ba996d028eb0825bfb886da3377 | ocaml(Elim) |
| = aebebc7f1d099cb9e5f6172430defb36 | ocaml(Elimschemes) |
| = 686565494ada419160a018901fb8a7cb | ocaml(Entries) |
| = e538c014f2559e2d5bc451f89f378e01 | ocaml(Envars) |
| = 83aaa9e324085d2b14616342f28d3fb3 | ocaml(Environ) |
| = 8a4cae73cf891d4ac85e563a201a4b5d | ocaml(Eqdecide) |
| = 811582521d92ecb07405853b713a9c75 | ocaml(Eqschemes) |
| = c2751a2f74dfdcda1741a60f0fed5949 | ocaml(Equality) |
| = a549cc4681bd9d26223a774c2293c7d0 | ocaml(Esubst) |
| = 936b4695f5e968c33ce133feca72b7e0 | ocaml(Evar) |
| = c973ae08e81b47c22640985418fb723c | ocaml(Evar_kinds) |
| = 28bf67afa904e5460de197a68820355e | ocaml(Evar_tactics) |
| = 0ff71a020658c945fed4a9fc0b5eec5d | ocaml(Evarconv) |
| = 156f4c10177df214d4b5a70fbf8e3ee1 | ocaml(Evardefine) |
| = 5a6518f834013128cce6f0cb7653cb8e | ocaml(Evarsolve) |
| = f57cc4e3212a18a2f246ff62f7aa6385 | ocaml(Evarutil) |
| = 4bf57d086fdc5fb953540e310c0e0dfc | ocaml(Evd) |
| = 38ad6517d5220e43e479a1d0d18b8b8c | ocaml(Exninfo) |
| = 3831d7e350ed8543105c96a41bcd8c33 | ocaml(Extend) |
| = 4fb746e4e16b143b502f71babff015f2 | ocaml(Extraction_plugin) |
| = 5792721f87060a1ebeb7d721141d901a | ocaml(Extraction_plugin__Common) |
| = 2c9d0e2dec2dd7598b376f0e75293c8c | ocaml(Extraction_plugin__Extract_env) |
| = 68f1b5c9de5af51aeec48098dcb9c445 | ocaml(Extraction_plugin__Extraction) |
| = 646c8d9e52bbfd16ba63bc12a52c0b75 | ocaml(Extraction_plugin__Haskell) |
| = 6e32cf19051229aa29640d0393118a1b | ocaml(Extraction_plugin__Json) |
| = 20690ae2d2027a79547885d0625d3287 | ocaml(Extraction_plugin__Miniml) |
| = a5cc6f9cba3a04ed434632c4041b88e7 | ocaml(Extraction_plugin__Mlutil) |
| = a33020401ec2db6564c941a674cf43d4 | ocaml(Extraction_plugin__Modutil) |
| = 9cdd22bab31f0b970c3d88e0740f4561 | ocaml(Extraction_plugin__Ocaml) |
| = 5133c79607319e76be02c2d4d0245218 | ocaml(Extraction_plugin__Scheme) |
| = c0b023e1517594601ae14945b252c7e3 | ocaml(Extraction_plugin__Table) |
| = 369f881d87535e3db952615840ea3253 | ocaml(Feedback) |
| = ed1d3df932575b780c96c9e655e6b112 | ocaml(Find_subterm) |
| = cb9e17ecc75ea6d10d205802bed311a5 | ocaml(Findlib) |
| = e05c81e95287e0ca858b963a11d30b9b | ocaml(Firstorder_plugin) |
| = bc9ef7b9b945531e01fdfe2fed3f5861 | ocaml(Firstorder_plugin__Formula) |
| = 45dd11fd174cd303d6be8adedd3bc09d | ocaml(Firstorder_plugin__Ground) |
| = 16a0555ac91f3d82c4212d483095cd32 | ocaml(Firstorder_plugin__Instances) |
| = 5bc6915483e1c348032e9ab5cd4564bb | ocaml(Firstorder_plugin__Rules) |
| = 3276c0b3ecdfb90195569b7398ddf47f | ocaml(Firstorder_plugin__Sequent) |
| = b49c22f194cf156ced92256ff673cff0 | ocaml(Firstorder_plugin__Unify) |
| = 7235e007a9bb082cd04ff5669c41396c | ocaml(Fl_dynload) |
| = 0fb135226046bcb571fd2522ef17116c | ocaml(Fl_metascanner) |
| = 58ac9224c23460104afd4910c0497479 | ocaml(Fl_metatoken) |
| = 6d605592ffa47f9cba123dce260a9459 | ocaml(Fl_package_base) |
| = c907da5a8270a3e5bc621d373497aaec | ocaml(Flags) |
| = 84d6570848e9511aae54659b18a17c2d | ocaml(Float64) |
| = 7ab160f0bba98a2ade77c0f37bdc2b75 | ocaml(Float64_common) |
| = 8401680cca79c824c5b71cc932e9a25e | ocaml(Ftactic) |
| = 2d39469b088ad4d6259390e5af5d34ce | ocaml(Funind_plugin) |
| = 73c0b7ad90c37ee83b3e5e699804bce0 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 94f2adbaebaf120bfa5d80823f24a4fd | ocaml(Funind_plugin__Functional_principles_types) |
| = 97dc602ebea4d570e686088130961c50 | ocaml(Funind_plugin__Gen_principle) |
| = c005afd4f3f458eef508fdebaf225e08 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 0635a2aa24995ca9e1ff836bdfbbc9df | ocaml(Funind_plugin__Glob_termops) |
| = bd99366170c94cb4d898b71cf3a499f4 | ocaml(Funind_plugin__Indfun) |
| = 3229e2c255bc900d99534f2b3d4e64c9 | ocaml(Funind_plugin__Indfun_common) |
| = fbca1a3080e6fac791d85410536313ed | ocaml(Funind_plugin__Invfun) |
| = 06374e9e6813cb42819ea0cbbfa7502d | ocaml(Funind_plugin__Recdef) |
| = 056918f0691a7206769938958c112a1c | ocaml(Future) |
| = 97b59c43030479622f4e93eae6be2f67 | ocaml(G_proofs) |
| = e6c3f22f07ee982130853334d86e4c26 | ocaml(G_toplevel) |
| = 62675840db4316c333da85abe3d15289 | ocaml(G_vernac) |
| = fddccfeb13126b528290ec87ecc1f1a7 | ocaml(Genarg) |
| = 94333dd10bf18846afa016633d57b4ee | ocaml(Genintern) |
| = 41e563f9682585c8f4605bf8cf16dd89 | ocaml(Geninterp) |
| = 8ee011d79118a98a7f27ae2bd719a75c | ocaml(Genlambda) |
| = 2025ef30bb1bd30db40755104651d881 | ocaml(Genprint) |
| = 567e09f09846700aa78b1ed7a39ded25 | ocaml(Genredexpr) |
| = 1791f2107572a3aa0dac7befc171da34 | ocaml(GlobEnv) |
| = f642e07d1fdeefdfc81a9f13b88a8a42 | ocaml(Glob_ops) |
| = a3ef8f490a43c8aa92a42b438f47bc64 | ocaml(Glob_term) |
| = 1bdb57f67b55e26a3d01f6cdf4d532b6 | ocaml(Global) |
| = ccaef1b15d958f724ef8d18c6135e84b | ocaml(Globnames) |
| = d1247cc3b0ac79c2f9ffbdcbabebbb2c | ocaml(Goal_select) |
| = bf7a454f420eb014657355188b4e2709 | ocaml(Goptions) |
| = f7a9c352b24c4ddeba559951b0f7dd3e | ocaml(Gramlib) |
| = 443690b2317f143c76466a5d3a66eb2f | ocaml(Gramlib__Gramext) |
| = b3ee77afd0274c9e58578c067acc2971 | ocaml(Gramlib__Grammar) |
| = 5dc778a5dca30e266e638f5a662d462a | ocaml(Gramlib__LStream) |
| = ebd2354d5681096939bb78667a23cba0 | ocaml(Gramlib__Plexing) |
| = 15a7f9875972299004ab0b232b77c3cc | ocaml(Gramlib__Stream) |
| = cabc0670bdb54db27e9afc76155c7bb7 | ocaml(HMap) |
| = 16cd719166c8c5010b0670dadb52fe96 | ocaml(Hashcons) |
| = 054fe5127bf9aac57339f346c0d1a1ef | ocaml(Hashset) |
| = 48f3cf24db245da908914f621423c092 | ocaml(Heads) |
| = 2a901a079d960c8807880b8c50fd087f | ocaml(Heap) |
| = 1bb29cfde4281f3803d270a01ee93e53 | ocaml(Himsg) |
| = d1a0cc09c64a0e832098981425c88d43 | ocaml(Hints) |
| = 72f1ac7656698632b3feb24f4252def2 | ocaml(Hipattern) |
| = 04f6c318e5dc4380e8d89a7074c603b3 | ocaml(Hook) |
| = 02a17d779ce4cff5ab72d2b626043e82 | ocaml(IStream) |
| = 3834a0a72a85abdbfdd7cd99ac966b7f | ocaml(Impargs) |
| = c7927e30d0d7697a2efa864cd3c40847 | ocaml(Implicit_quantifiers) |
| = d096c4faf5b557c4bd40158dd058eb69 | ocaml(IndTyping) |
| = 6b4a4972f474f1fd801a00991a35d69b | ocaml(Ind_tables) |
| = b3dc35c902179c75c36f89c89d8b290e | ocaml(Indrec) |
| = bd12818b2f0ada2ec30b1f9d46cf56bc | ocaml(Indschemes) |
| = b805a9a73208a970b19f47675c89e793 | ocaml(Indtypes) |
| = e1a42936a8458c94cee23262f3ea8015 | ocaml(Inductive) |
| = 77e0ca5316ddbf71fd1236d1653be0ff | ocaml(Inductiveops) |
| = b486ad09122c83529234fa6ce753d55c | ocaml(InferCumulativity) |
| = d92806c6b6b4bc96e03c8a07044dcf08 | ocaml(Int) |
| = df8be7514f78b424c211904ce94fe875 | ocaml(Inv) |
| = 1f2378480c8d39d86b6c904fba3d4935 | ocaml(Keys) |
| = 2610876f92739a59576d0b9e745fca30 | ocaml(Lib) |
| = 26b9cee5e6731fa5766e9f04bc2d7507 | ocaml(Libnames) |
| = 0917543958915872f997aabaa90cfdd4 | ocaml(Libobject) |
| = d6b12a8d0fde84ad6f83b203381e0282 | ocaml(Library) |
| = fbc17273072e822cf66a3875af642e81 | ocaml(Load) |
| = 6c62fdd949b90e54c5b4762bd93b3fbc | ocaml(Loadpath) |
| = 66403678cb7815a79c0e1a1c82447bd2 | ocaml(Loc) |
| = 32c60adefab0a4ba123be4179a8853cc | ocaml(Locality) |
| = c41553c61784d017f4a2b6e4d5ed763d | ocaml(Locus) |
| = d5084e9eff417995d2dfdb3705bc6fd4 | ocaml(Locusops) |
| = f6e192ce90f21df1a1f454bddd287ded | ocaml(Logic) |
| = b617dbec58c0edc562650901e5ea7463 | ocaml(Logic_monad) |
| = 649da116818b5419532b05fab030bb62 | ocaml(Ltac2_plugin) |
| = a4b47641880f2b7fa383cdfb6269fffd | ocaml(Ltac2_plugin__Tac2bt) |
| = 0821cb832bca6355b3412330377d30d0 | ocaml(Ltac2_plugin__Tac2core) |
| = de59c7871999f70b36bf4959d52471fa | ocaml(Ltac2_plugin__Tac2dyn) |
| = ee762e5862f7058ba9801b64e92fe1f7 | ocaml(Ltac2_plugin__Tac2entries) |
| = 0f1d83d0d96f0af37fd5392869351a56 | ocaml(Ltac2_plugin__Tac2env) |
| = 4e5537766dccdc032ae19c4d9c865783 | ocaml(Ltac2_plugin__Tac2expr) |
| = e72d83b9688ca5b811c1dbd04f689136 | ocaml(Ltac2_plugin__Tac2extffi) |
| = e5c065ee1577d27d3a74ed1147cc7b97 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 54085ab5a7ea45549bc3f7413975e358 | ocaml(Ltac2_plugin__Tac2intern) |
| = c7664b0e098393cc381496697dfcb115 | ocaml(Ltac2_plugin__Tac2interp) |
| = 4302df7a6503cf00f7a33de4fddf68ad | ocaml(Ltac2_plugin__Tac2match) |
| = 0d14250f775bc77bfbdf0238b301d7a2 | ocaml(Ltac2_plugin__Tac2print) |
| = 5049dd8098dabdc129c524b347e119f5 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = aba94a16a98d097e9e9395aa743d94d5 | ocaml(Ltac2_plugin__Tac2quote) |
| = ce434e6822b960683cfde276615a276e | ocaml(Ltac2_plugin__Tac2tactics) |
| = 188f7c3446405ca8aaef9e86a2c819a5 | ocaml(Ltac2_plugin__Tac2types) |
| = 96d768012b4a8519328660c711442d81 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = df167d955e180cbe1923b3aca1a51797 | ocaml(Ltac_plugin) |
| = fa43fdc11d352b6972838f7e65824c57 | ocaml(Ltac_plugin__ComRewrite) |
| = aa8a80be6cba61fd0d2c7965f3a406eb | ocaml(Ltac_plugin__Extraargs) |
| = c8f93e904eb69dab91183072a6924433 | ocaml(Ltac_plugin__G_ltac) |
| = b8d8e204e4faf2a59c6ebbaef2c8944b | ocaml(Ltac_plugin__Internals) |
| = dec435a81d4dd776c2539c34a3e59ecc | ocaml(Ltac_plugin__Leminv) |
| = 084577853c8a8d9319d8fe0b81fc6f62 | ocaml(Ltac_plugin__Pltac) |
| = 0befda10affa57106501d4def2056fca | ocaml(Ltac_plugin__Pptactic) |
| = 9c6f633273837e3d3bf27da6a60ec934 | ocaml(Ltac_plugin__Profile_ltac) |
| = a2940064cbb92843ea0b98850698a4f0 | ocaml(Ltac_plugin__Tacarg) |
| = a26363aac3103b20c96b314defc5ed71 | ocaml(Ltac_plugin__Taccoerce) |
| = 0b718829f353e89009297173466b202e | ocaml(Ltac_plugin__Tacentries) |
| = acc495da50bfff7c59862c7c4bb10427 | ocaml(Ltac_plugin__Tacenv) |
| = 3638a4f42753310bdf3da2ac0c732558 | ocaml(Ltac_plugin__Tacexpr) |
| = 7e612423f32b9824fa2af0be29099714 | ocaml(Ltac_plugin__Tacintern) |
| = c383668c0c4837967ca7651fb365c402 | ocaml(Ltac_plugin__Tacinterp) |
| = 718d0f0faee29f1b171d0cdd39d4baa1 | ocaml(Ltac_plugin__Tacsubst) |
| = 420de5a95c40e32541420a362ed44ace | ocaml(Ltac_plugin__Tactic_debug) |
| = 02eb1e4385d831aa595c35e9abbd076e | ocaml(Ltac_plugin__Tactic_matching) |
| = e1e3dadab9e524da459d52ae596eb610 | ocaml(Ltac_plugin__Tactic_option) |
| = 88712f99ab7d0e957b7d460228e30585 | ocaml(Ltac_pretype) |
| = c016ad86aabfa88d17127ab3e57a3789 | ocaml(Memtrace_init) |
| = bc983aac0253b2f720ae8da3dbb1feba | ocaml(Metasyntax) |
| = c816083a19c7a82cc8eae39391774765 | ocaml(Micromega_plugin) |
| = 33c47068cf02b6b35bfae34150e1343e | ocaml(Micromega_plugin__Certificate) |
| = 00a093b123a1030a0d5a2a195908bc17 | 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) |
| = de88017a8b44ea9fd2de5569132fe800 | ocaml(Miscprint) |
| = f515792a9d8da2051dd4c02260bc813d | ocaml(Mltop) |
| = 87bf8a9e488a2d66b98b311cd9e9b9f9 | ocaml(Mod_subst) |
| = b96381a9d3c3dda56135c206901df140 | ocaml(Mod_typing) |
| = 75707a1786cd199cf3322d7f42662457 | ocaml(Modintern) |
| = c92156b83fc44f5682bc9f2948ae6ac8 | ocaml(Modops) |
| = 111c49d5acef9c643936ce9c7f2dfa62 | ocaml(Monad) |
| = ac0919cc300b6a61e06dd7e1199a9a24 | ocaml(Namegen) |
| = 3dcb8e7ab01b12759d677ecafb92c078 | ocaml(Nameops) |
| = 085b410b2201aab95c4b28f79466b72d | ocaml(Names) |
| = 7b2bc797d81dde90816bfbdb05ed9cd8 | ocaml(Nametab) |
| = caaa3c0045d8b1cf818dd091b9f9de8f | ocaml(Nativecode) |
| = 6f53855d43e2cb5885329d7efd3373ab | ocaml(Nativeconv) |
| = 5ca3b84b2dc0bf7373b4de2bbdf26266 | ocaml(Nativelambda) |
| = ca885e8aba83fb0f378e718af379cb04 | ocaml(Nativelib) |
| = 7448291c515d505b3f1e502e8d6dfd19 | ocaml(Nativelibrary) |
| = 53cb6f78c8b72b412e19b3e5699e3a42 | ocaml(Nativenorm) |
| = 83c41dd7e32a59ded1e43e007a331f75 | ocaml(Nativevalues) |
| = 970a4fb3b081f410660ba7e487594f83 | ocaml(NeList) |
| = 854e26ad5e405f07e58f00bb1c3f238f | ocaml(Notation) |
| = 4dfb0ec1b06a154d9f577fd113fbcda6 | ocaml(Notation_gram) |
| = 017dc0aa58029cdbc7831ccafddbb06c | ocaml(Notation_ops) |
| = 12d45aaf6e2b0d86d8695f8d56b3cd19 | ocaml(Notation_term) |
| = 602a3ec077d38fb6ec655de88568b1a9 | ocaml(Notationextern) |
| = 80214077bb11b00f3af7e152c6b22a91 | ocaml(Notgram_ops) |
| = 84f0132bd2fbdc1e41185d9b4bff96a8 | ocaml(Nsatz_plugin) |
| = 2d0b9ab3a4f30b69de79d1fa7931645d | ocaml(Nsatz_plugin__Ideal) |
| = 73bd36e0520d5d099f5f0b5a1a7a25d8 | ocaml(Nsatz_plugin__Nsatz) |
| = 541b7d8709367c1d5971f4aef5e2fdae | ocaml(Nsatz_plugin__Polynom) |
| = 04beb40d578caceca70a183d65f071fc | ocaml(Nsatz_plugin__Utile) |
| = 47afeeff9c8b0a62798648ec22366e22 | ocaml(NumTok) |
| = 25f549dd8aec902baae826210b20fbb1 | ocaml(Number_string_notation_plugin) |
| = 8fd88fe32462f75cfe7db1bdaab99a62 | ocaml(Number_string_notation_plugin__Number) |
| = b622d2bcaf5e701063c622a536c27c58 | ocaml(Number_string_notation_plugin__String_notation) |
| = 4f82a68b88a72c215e0bd846231665c1 | ocaml(ObjFile) |
| = ce97714638bdef636ddcdf6595d88997 | ocaml(Opaqueproof) |
| = 777547a335316c0d576df15b8e529e1e | ocaml(Opaques) |
| = 0ed8cf70257474be112f25e670767659 | ocaml(Option) |
| = ad1f2e7298fe9e91db544a18658cc417 | ocaml(OrderedType) |
| = d7ffd5166e0ad210e99839a7a8859a57 | ocaml(Parray) |
| = 8309cf28c800dcfed0896c4b1d37e8d6 | ocaml(Partac) |
| = c96e307117bd71a535339af9cf3b1814 | ocaml(Pattern) |
| = 8248b247dcf5afa2b4a6466e867f0d12 | ocaml(Patternops) |
| = 278ab275fec18665ab0d2b379f6e2d7c | ocaml(Pcoq) |
| = b296815bf15420d281b7c46a0e4b1234 | ocaml(PolyMap) |
| = a06106912b4260216a95b51835f39c2e | ocaml(Pp) |
| = a1ca6d8cbf054780bfce1013571b7140 | ocaml(Pp_diff) |
| = 97d01497700f11d2a87a65538b482012 | ocaml(Ppconstr) |
| = d5ed88613cd8e2b2d4e2e2e03744c90a | ocaml(Ppextend) |
| = fe61fe705015ea74a81da53b83ba4e61 | ocaml(Ppred) |
| = 6838e2c25303e62d87c1151fa0c057c4 | ocaml(Pputils) |
| = 014973220f2f0ffa3c63e2fde0d507a5 | ocaml(Ppvernac) |
| = 1b54ffe866048b283dcf39c247b9f856 | ocaml(Predicate) |
| = ac996d815bb36f9ec0d531d04b0fdf16 | ocaml(Prettyp) |
| = b19c822df2d1d082a111931a6e23af16 | ocaml(Pretype_errors) |
| = 7baa8835c2cd158b2240b5d7edfc4ac4 | ocaml(Pretyping) |
| = a2a70f50cb0abf7070f6d70f32e1af58 | ocaml(Primred) |
| = 38f65e0e7495c9884f4fbc757df288b5 | ocaml(Printer) |
| = 6f7fb1d17f2481802b020a74a0f16da9 | ocaml(Printmod) |
| = dc0511c457d95553e038b6e2b79a360e | ocaml(Program) |
| = a7f2c3e341f1b2909c590a79b6b8a04c | ocaml(Proof) |
| = 8866137c53fe7e92b68bcefc4b78c9d9 | ocaml(Proof_bullet) |
| = 05a77ca121b11366ac40a882b6515644 | ocaml(Proof_diffs) |
| = f95bf5e900a7623f3c35f6b6e0202f24 | ocaml(Proof_using) |
| = 580140f14a4ca6b43694306c5c408edd | ocaml(Proofview) |
| = 0ea514d7b87be1004a21b151bfeceb86 | ocaml(Proofview_monad) |
| = c562639c5293c3f6a9bc29c4d52cdd71 | ocaml(Pvernac) |
| = dfd79ff05360c4cc4bc120db10ee3749 | ocaml(Q) |
| = 63247554a25737029029a5ce190b7152 | ocaml(Range) |
| = 913cacfce48e587d529c8a18f1b467c2 | ocaml(RecLemmas) |
| = e40ce9f19a72c94a74d6136bafc68281 | ocaml(Record) |
| = 39fe585ef6d85c68f9e1bdbb96de5db4 | ocaml(Redexpr) |
| = f3e8f1bd22bfd5bb7123b05d358a9236 | ocaml(Redops) |
| = fea8d4c24e48959c6a784f228c537253 | ocaml(Reduction) |
| = 1b00d396d927b2dd74ec3ded04626b44 | ocaml(Reductionops) |
| = 52d2f5b07210744d4f858ef741afe8bf | ocaml(Refine) |
| = bf2953aab6b440b0f4431c6e3bf0b04c | ocaml(Relevanceops) |
| = f06d1b90dae968b3080295186c8a897d | ocaml(Reserve) |
| = eedb3ca4fc9d6f01553de097dcc3258d | ocaml(RetrieveObl) |
| = 2acb5320cf7ecf9e2f3efdc0bdc1d99d | ocaml(Retroknowledge) |
| = fd952115cab46f3a01b45151659110bb | ocaml(Retyping) |
| = 368c99a83ede099fe9d5cb10a01d4bfb | ocaml(Rewrite) |
| = 49fa866ff2d3522249cfa702b38b18ef | ocaml(Ring_plugin) |
| = ff6206a12290485f35d705e6fe663383 | ocaml(Ring_plugin__Ring) |
| = 0cf62d94ed96440d84d67f36b413920c | ocaml(Ring_plugin__Ring_ast) |
| = f2f6e8fcecc748603ca073363f6554e1 | ocaml(Rtauto_plugin) |
| = eccd42dbca2c0862ccecc0cd489a44c6 | ocaml(Rtauto_plugin__Proof_search) |
| = bea2f8648195257673968875d4eb1bee | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3070acfe312150638de5f65e9e319e64 | ocaml(Rtree) |
| = 3db7c318198c7d1af831076050e784a4 | ocaml(SList) |
| = 4ac03c1fdfa988037fb40dfae916b6a9 | ocaml(Safe_typing) |
| = 2e27a927339a3a8db3fb5543115654bc | ocaml(Search) |
| = 2613b1d4c008a4c834ee19752feb6018 | ocaml(Section) |
| = 8d883bd2b62649ed63ff01ca925c5225 | ocaml(Segmenttree) |
| = 56256ef825be73b2cc1560d6ed9fc3c0 | ocaml(Smartlocate) |
| = 61442a743ca9846b7087cbab9dc63fe7 | ocaml(Sorts) |
| = a1df7ef68f2d343546639581ef75be18 | ocaml(Spawn) |
| = b0405d27ce74aca3d9f195d476e32be1 | ocaml(Spawned) |
| = ee5c4cc99c8228609b38385be7d719c6 | ocaml(Ssreflect_plugin) |
| = acca521fafad71d72b1323690b97f79d | ocaml(Ssreflect_plugin__Ssrast) |
| = bccb01df92c3534163e2f045b6a6a451 | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 919cc080c788f8274471a4594cb412a0 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 13ceb44adca3c1ff888d0e5fbe9c87ab | ocaml(Ssreflect_plugin__Ssrelim) |
| = 318720d7ccb2180135d5ced45d58c52f | ocaml(Ssreflect_plugin__Ssrequality) |
| = d93d68b518ac4250f7be136134e8737b | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 3bea8cb614f37eaecc9d482a849a35dd | ocaml(Ssreflect_plugin__Ssripats) |
| = 67391bb42f67ef9773ed637efa637b0e | ocaml(Ssreflect_plugin__Ssrparser) |
| = 0a7fba3bdac74a271f4cebef27e646c5 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 0a0e197d03d315842e7a80fb552d849d | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = d445781e3d2d65ffcb7b3df0feb24423 | ocaml(Ssreflect_plugin__Ssrview) |
| = 13de31f76194d86e41a930dc6f5247d4 | ocaml(Ssrmatching_plugin) |
| = c07d41c60413096b43b9d2cd9f6ed6ba | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = a3ab88eb5a086da065698e1243166e55 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 54380a42612c023be92895eb75e54315 | ocaml(Stateid) |
| = b2c2b3b9965041f984b54fe20bd4146b | 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) |
| = 7b90d3d3f235d5efe163c7fce45d7dd0 | ocaml(Stdlib__Result) |
| = 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) |
| = f88af91c090fc5621cede9aef8c14c1e | ocaml(Stm) |
| = be566c971abadcb2e862ab121c8ecace | ocaml(Stmargs) |
| = 63270e261706eb1cea0ca37b342126b2 | ocaml(Store) |
| = 6033104bfe804d2da0486bb38da86608 | ocaml(Str) |
| = aad73202a1e773336cd033afd606eca4 | ocaml(Structures) |
| = 92637b8889d6131c1c3fc5ad712ee83b | ocaml(Subtyping) |
| = fad478c460d01a21465ad93ec5e9648f | ocaml(Summary) |
| = a6632621d1947d918be73ac13d1ee5ca | ocaml(Synterp) |
| = c71d66208c02e2bfce61ff3ae1733905 | ocaml(System) |
| = d9a48841c6edf83b6c5fc9f49983c171 | ocaml(TQueue) |
| = ee4ee105a2dbbdef7373d8b1284bed1c | ocaml(Tacmach) |
| = eb0036c45d4a3e614366560fc8d6fc0b | ocaml(Tacred) |
| = 63c5a0b28bf2def0bb08a9e47fc50bcc | ocaml(Tacticals) |
| = 019bb345cda1870f39aaf25886ba4fb7 | ocaml(Tactics) |
| = ba10a2d8be8db5731a9dca13b13c6195 | ocaml(Tactypes) |
| = 418aee7004a8e4c82b63c3a475eacf61 | ocaml(Tauto_plugin) |
| = 4fbbd5e83cff685ad353c731ebb6dd18 | ocaml(Term) |
| = 75080731fd8263db909153552a951a5c | ocaml(Terminal) |
| = 75051664f8e289e3470d77e96c883594 | ocaml(Termops) |
| = 2d90ce5b6257c36918fac0ce3319f3c0 | ocaml(Thread) |
| = c7e17493652fa46ec713b60e9fc08fef | ocaml(Tok) |
| = c0127192e6c6a71cabcbaed3f8b50d92 | 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) |
| = e0afd55b82a51a1d962600435d971f52 | ocaml(Tuto1_plugin__Simple_check) |
| = 7aeac587a30e4f548f2e8f21cd3b99c1 | ocaml(Tuto1_plugin__Simple_declare) |
| = 1f09bcaa6063694632385cb7319fd3b3 | 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) |
| = 0e94c84394faeb5f84d627f22292814e | ocaml(Tuto3_plugin__Construction_game) |
| = e821cfeb2da00d2614b0b0905267e978 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 71aafacb8c42b9a633bed6ea553e5463 | ocaml(Type_errors) |
| = 6fbd580650fbc640e2381e2517d848be | ocaml(Typeclasses) |
| = e3c35536baa1449a691638e340ff10db | ocaml(Typeclasses_errors) |
| = e5f833191daadd2fa209da32a4a7cc31 | ocaml(Typeops) |
| = 2ecb0689b8433b010bb9b667118ba9da | ocaml(Typing) |
| = b5b877aec9d0c6f90af91489e5cc6cbd | ocaml(UGraph) |
| = 7057f875f8be32d40547332bfd86ed12 | ocaml(UState) |
| = 69f038589ad8461f82667721d319bc09 | ocaml(Uint63) |
| = ca7089ddb9ae8d5d6e027265142c5a4d | ocaml(Unicode) |
| = fa4cbcaf5affb03f3dea38fe5c8277ea | ocaml(Unicodetable) |
| = 5ae0b46009678933af883b64da697c7d | ocaml(Unification) |
| = 9014e878993ce343b70cc81c55c99eb3 | ocaml(Unionfind) |
| = 3996390653d490fd2676712cb08acd41 | ocaml(Univ) |
| = 988aedf72070cd703d14a8bb8174ca03 | ocaml(UnivGen) |
| = 9de08100f78eaef42242561059751703 | ocaml(UnivMinim) |
| = 2b59f78b9f5ac159d219fe823893efb3 | ocaml(UnivNames) |
| = f0ebfa77aee8f5aee71e8bc114598a42 | ocaml(UnivProblem) |
| = 10466c79a75d4b4870f1dbf10ad25b96 | ocaml(UnivSubst) |
| = 8da0575524ccb15782c0ca7ebc83ccb8 | ocaml(Unix) |
| = 739c05c768541246b721db6b4ded59cd | ocaml(Util) |
| = dd4b54c7a63002dbbaf42b63ae2c0422 | ocaml(Values) |
| = 7e109c978a761d1b350cff2c72c92ab4 | ocaml(Vars) |
| = 0fd86a2f25fbb5503704dc6535a4287c | ocaml(Vconv) |
| = 3ff6b06e37c37b5af3975b6c93cb5c2b | ocaml(Vcs) |
| = ff7676da6cf4faa5777f8a870fd6f2e9 | ocaml(Vernac) |
| = 5d3d7a7308c577ec6104315ff2ed0ed9 | ocaml(Vernac_classifier) |
| = dd8121bc7a90f58da9cbd729533de7c0 | ocaml(Vernacentries) |
| = d7b1d116584b719654d93c454841c6ef | ocaml(Vernacexpr) |
| = 7ab74f32c62eb0896692db15c73f1b5d | ocaml(Vernacextend) |
| = 5a08e8999615ccfd3a6ee40453000847 | ocaml(Vernacinterp) |
| = 819980b9662d365bffffa42dc4d8c2eb | ocaml(Vernacoptions) |
| = cea13d4eb287810aaba7f5af76a81a91 | ocaml(Vernacprop) |
| = 43d4f22339aea7d088350ba2cdb9717b | ocaml(Vernacstate) |
| = 0253265481b587994e3a946ad8dc9bff | ocaml(Vio_checking) |
| = 99566339237baf875545207b3c279a1a | ocaml(Vio_compile) |
| = 962f4b8133ac87c5fd8a8bb70710f944 | ocaml(Vm) |
| = e473504b85f6c7a6e54572cdc52dff4d | ocaml(Vmbytecodes) |
| = 9bd8ca9d3f646049a2e4dc280fc81915 | ocaml(Vmbytegen) |
| = 914f5a6360e08c57a373d1aea72b8c44 | ocaml(Vmemitcodes) |
| = e70b652a8453ccd64bdd0ee5a20c2113 | ocaml(Vmlambda) |
| = 629e11e23d4b9a8fc528fbec8067951e | ocaml(Vmopcodes) |
| = 6331be0986d67a2a4fb0dbdba840d734 | ocaml(Vmsymtable) |
| = 9164664dac68a78436cd7507a8434bcd | ocaml(Vmvalues) |
| = 3d28bdf9a12019ed71e43b94228563d7 | ocaml(Vnorm) |
| = 09a9b6eb9859ab6dd7a677709c1f11c2 | ocaml(WorkerPool) |
| = af4d607b4dbe09d931cd3a2b78a84fe3 | ocaml(Xml_datatype) |
| = 0009d1c1f4074c1e5cac1497b3dc94fa | ocaml(Z) |
| = 1fae62e8555707a7ca16c9fd9212d7dc | ocaml(Zify_plugin) |
| = 236a734feb8e96c2437c933d027b52a0 | ocaml(Zify_plugin__Zify) |
| = f9aaaf89fcd57dccc8fdcfd173f8936d | ocamlx(Abbreviation) |
| = 2a09f6499a4d6dacf52fc6720c611fd2 | ocamlx(Abstract) |
| = ef305e019ed899c6056e84d6fb24a1b7 | ocamlx(AcyclicGraph) |
| = eaca432a285c921a085f2c321a00d013 | ocamlx(Arguments_renaming) |
| = 910094d3f6f7dc5d35e695c0ba1eb109 | ocamlx(Assumptions) |
| = 6910f4b2d894e697efe555b6f59a9f6d | ocamlx(AsyncTaskQueue) |
| = 12505fa6067c61ab0ffa0cc91ed2a8f8 | ocamlx(Attributes) |
| = c6641cdb2e9777a26b8c700a1f271fed | ocamlx(Auto) |
| = 6b7c9f17d72e55f2390f498a253cc590 | ocamlx(Auto_ind_decl) |
| = 6b32c0cead8a97c2af7f18eee2b999ea | ocamlx(Autorewrite) |
| = 4196eae5f9ef45a66f698d00efaac2f6 | ocamlx(Aux_file) |
| = d959801e155161e9fdb37596a7f775f7 | ocamlx(Big_int_Z) |
| = bc0c507b8b9dc3f10c55b76e891de19b | ocamlx(Boot__Env) |
| = f31f272a946b4c649846a092790b4936 | ocamlx(Boot__Path) |
| = 696661225f65414c6a299021480e5e6e | ocamlx(Boot__Usage) |
| = a014efe5f327fcb1a851790dbfd0282d | ocamlx(Boot__Util) |
| = 233c05a11cb511f8553ef6b26c843b21 | ocamlx(Btauto_plugin__Refl_btauto) |
| = 595f552f53f797dd76af12a5b24e2617 | ocamlx(Btermdn) |
| = c283a0f77b8df3491d4cbae050b76801 | ocamlx(CArray) |
| = 5c92de86f311d546570a591e7ac5e8c4 | ocamlx(CAst) |
| = 2ba873d4240ee5d56d2bdc3ed4dd162c | ocamlx(CClosure) |
| = b9801886d28063dd8fc43961dde81175 | ocamlx(CDebug) |
| = 2d4b0735190694300ae94061b4946479 | ocamlx(CEphemeron) |
| = 1284dff035d41340bc953753689409e4 | ocamlx(CErrors) |
| = b937a0d309ef3bfe1e86647a26f6edf6 | ocamlx(CLexer) |
| = 8dbde6359f78faf766a8eef408657daa | ocamlx(CList) |
| = b5fd7f64b325eb7eac68f6c0e2a2dd06 | ocamlx(CMap) |
| = 8c3f4afe1b5f75decfbced2b3d5e59c8 | ocamlx(CObj) |
| = a6ce064dec956494137054d0c4373124 | ocamlx(CPrimitives) |
| = 983aab42aff5f90f41894feecbb06b39 | ocamlx(CProfile) |
| = 92ab3e4bde3d06c9cee1ef2ede9fc294 | ocamlx(CSet) |
| = d41891d060af3446d0e198ca71795b32 | ocamlx(CString) |
| = b184ac70882bb2b154f99ec6055e20c0 | ocamlx(CThread) |
| = c91ca58c5d8ae29c22c1141ab08cb8e4 | ocamlx(CUnix) |
| = e7f3a499284c4784fe4fcfaa7cda9b36 | ocamlx(CWarnings) |
| = 58f88a5a5c64196bd9b440558fffce16 | ocamlx(CamlinternalFormat) |
| = 86b70b45542f76ceaaf8e37cf02f4733 | ocamlx(CamlinternalFormatBasics) |
| = cb7abf7287d654348173d00f3138d492 | ocamlx(CamlinternalLazy) |
| = d5a40fc44e7086875825e07d79519de7 | ocamlx(CamlinternalMod) |
| = 837bc42c277f1552b35648daabf1155b | ocamlx(CamlinternalOO) |
| = 0fb914e65650bf01615dc89a9ee5315a | ocamlx(Canonical) |
| = faa089e2aa6da3d6f11cb54fc3945cb6 | ocamlx(Cases) |
| = e8fb219a5aac2c336306040935f22bd3 | ocamlx(Cbn) |
| = a0032013099af06a4d4c622e5d023440 | ocamlx(Cbv) |
| = a5ff009e8136ce515db4d88badecd886 | ocamlx(Cc_plugin__Ccalgo) |
| = e6c77cd4c61f46528da6de245f7ee617 | ocamlx(Cc_plugin__Ccproof) |
| = f725fdd24b8a36204d8c8e2db6ed87db | ocamlx(Cc_plugin__Cctac) |
| = 285a2bfad2003ba412ed9677c96c565b | ocamlx(Ccompile) |
| = b8b1c4c79f84f37e3b51dc9623623408 | ocamlx(Class_tactics) |
| = dedcd0655a229d8b14e2e3baa0d258d4 | ocamlx(Classes) |
| = afea485faf4873ca4d3bf06d9696246f | ocamlx(Clenv) |
| = 119a5451b25ef4d14fa78dedc9136575 | ocamlx(Coercion) |
| = 49672447a720dd7bbb1de2e56ff1db1d | ocamlx(Coercionops) |
| = f845d32debe00379e2bcb537745c320f | ocamlx(Colors) |
| = 86acc9773bd88c4279041c41e3b11c23 | ocamlx(ComArguments) |
| = a60ea86070146477eb3f46f9065af062 | ocamlx(ComAssumption) |
| = 1ce7b36bf0a7059938458f639b4b4389 | ocamlx(ComCoercion) |
| = cf91df8c76b7edbe74a170f71df3428a | ocamlx(ComDefinition) |
| = 46adc996de057f91e4dcebb36367ab63 | ocamlx(ComExtraDeps) |
| = effb09de45da8d57d71aef35db89080f | ocamlx(ComFixpoint) |
| = e60208abcc05aae92bf6ce14b9463dbc | ocamlx(ComHints) |
| = 1eb7f32bbb1aadebf7582603a7bfe691 | ocamlx(ComInductive) |
| = ddb54e7e60958a7e29387fa741da2c29 | ocamlx(ComPrimitive) |
| = d8ad84e13ac8742f1e95f9c72999a9ae | ocamlx(ComProgramFixpoint) |
| = 69e536f5e0de2aa2697eb66adeaf949a | ocamlx(ComSearch) |
| = 46dede4c5056281149569e0be2d1c0ba | ocamlx(ComTactic) |
| = d3d4f57fed7cef1b497fd04a05e4d3e7 | ocamlx(Common_compile) |
| = 91a36a5735e09582e57fc62de22fce50 | ocamlx(Constant_typing) |
| = 926261c12b5c9ac5b2bc884a7bc0f86a | ocamlx(Constr) |
| = dc8e3309c29403ced48e270575bd4788 | ocamlx(Constr_matching) |
| = f49d044c308d09ac095a8cce26775376 | ocamlx(Constrexpr_ops) |
| = f4694287694316a71468c9191e0b2318 | ocamlx(Constrextern) |
| = 1309895549caeef1b9e5b90645e94f1f | ocamlx(Constrintern) |
| = dc5a84314826a60fc8f3ca80559ad742 | ocamlx(Context) |
| = 118b38a6da4b00b8d0a4165e0bfb7b5e | ocamlx(Contradiction) |
| = aa3d31df6159a9e278be636d2c2cea2b | ocamlx(Control) |
| = 7fce0d5079c19d40979b61c638a0f5aa | ocamlx(Conv_oracle) |
| = 62f1fe7af5fc1606b46199e9775f0ff9 | ocamlx(Conversion) |
| = aa35dd8a2416efbe28a7f7118c90d98a | ocamlx(Cooking) |
| = 40f0100f906761cedf29e0de9d51df34 | ocamlx(Coq_config) |
| = 3dd8661c186c9e09dfdd23a160d13125 | ocamlx(Coqargs) |
| = c41e7ec9660185aa7c88be61a1a15988 | ocamlx(Coqcargs) |
| = ae38006cc50379651eedfeb2a72c4ce2 | ocamlx(Coqinit) |
| = d1eab14f0ef1a798308ac85ce2cd77af | ocamlx(Coqlib) |
| = 8564f745a5ba5b18ee6b34594a205165 | ocamlx(Coqloadpath) |
| = 1c6531c3bc60183ee38745df9d5ac29e | ocamlx(Coqloop) |
| = ea50d8229da05ffbf46a17cb32376c9e | ocamlx(Coqrc) |
| = ca10205e8ea1b81173f8655aad7353cc | ocamlx(Coqtop) |
| = 890bd3a54b49b34a490759e37c5e84f4 | ocamlx(CoqworkmgrApi) |
| = 17ecfc7895c793fc88edccfd3179d225 | ocamlx(Core_plugins_findlib_compat) |
| = 56a8affdcb2c3c7907650e41405aa9e3 | ocamlx(DAst) |
| = 19959d29649df3645ca32d162d20e60c | ocamlx(Dag) |
| = 1d9cd75e270804cfb46684c1bcdf2155 | ocamlx(DebugHook) |
| = 7a645079774bcaa9073fb29ad1081197 | ocamlx(Declare) |
| = 9d35dff0c11e4a57d7240d56fe061434 | ocamlx(DeclareInd) |
| = cc63cf3b13ce109edf8d4e941e4231b5 | ocamlx(DeclareScheme) |
| = 6e6b4000959ee3b7e0eb5a7c5d86781e | ocamlx(DeclareUctx) |
| = ce75bfe20c71712f64cdfb1cd2dd7821 | ocamlx(DeclareUniv) |
| = ab386253011e87c6c50d18898412d3d4 | ocamlx(Declaremods) |
| = 5b97f773c4b987e6ccb3dd6eafbbe600 | ocamlx(Declareops) |
| = 035ab26c22eea40105cf9dd332864aa9 | ocamlx(Decls) |
| = 3dd928ca7545ab97171be59044ace3ac | ocamlx(Deprecation) |
| = 199a2b299d1fa2e322d25e1aa7e3014b | ocamlx(Derive_plugin__Derive) |
| = 2f204a853974c452b421c8e815eec9c8 | ocamlx(Detyping) |
| = 8be61045569e6cb9c7447fcdc78c6675 | ocamlx(Diff2) |
| = ab419c657407c83b918c74c506493b0a | ocamlx(Discharge) |
| = d1cb1e5e1a91175da9ad236a4712c58c | ocamlx(Dn) |
| = 32671726f5c49e849887c14f0d98aab4 | ocamlx(Dumpglob) |
| = 832f33f7564b4808b24bb38c37eb2d8a | ocamlx(Dyn) |
| = 0662f8408b5f6c06e30fa74730241bdf | ocamlx(Dynlink) |
| = ef1480b027a07d8adf95f0e0a92cf1c1 | ocamlx(Dynlink_common) |
| = 9a99ded17f5dfef122748b3d904974cf | ocamlx(Dynlink_types) |
| = 1a177b864683f30c48021359a06d544e | ocamlx(EClause) |
| = d3bd11786e25b9bd3d62347b4a850486 | ocamlx(EConstr) |
| = e33e93cfb170c2b6b2d1ce3c85c25018 | ocamlx(Eauto) |
| = 7ae765c61ba39fb6f7c08c4484b2f80f | ocamlx(Egramcoq) |
| = c829244260bf9480f3487215c743dea4 | ocamlx(Egramml) |
| = 268a494572d5cc2fc4a20599d0ffbfa0 | ocamlx(Elim) |
| = e40278906b82823371813b83208d6750 | ocamlx(Elimschemes) |
| = f9e5bb0d610ec6c4e990c716c5b80115 | ocamlx(Envars) |
| = f58d0376ea34872df1dfb9e143bfd039 | ocamlx(Environ) |
| = de96c39f60fa188b07c605db94c32d77 | ocamlx(Eqdecide) |
| = 87f88d82f68e0a64c3ca7090a3523022 | ocamlx(Eqschemes) |
| = 6274ad5a6cb28bf7cf8d3dd362bb2dbb | ocamlx(Equality) |
| = 768d16d133c8f9b79e4c374a96320a38 | ocamlx(Esubst) |
| = 50020a3a780c4a20f9d0ad96d1caf6cc | ocamlx(Evar) |
| = 5cc27c0ad54960c8c4ef973c80c1d34b | ocamlx(Evar_kinds) |
| = 7fd70f5da27e97918145ca8b0eaeef8b | ocamlx(Evar_tactics) |
| = 4c92bcc200166ead51ea2fb092ee57fd | ocamlx(Evarconv) |
| = 0745cdda664ecee212a656fb1a7106bf | ocamlx(Evardefine) |
| = caf5af92f13231860aff286a25d43db1 | ocamlx(Evarsolve) |
| = d931521a91710a01696f337d79db815e | ocamlx(Evarutil) |
| = 273a65caf2d4f00da997691c08982cf8 | ocamlx(Evd) |
| = eb4df81e306597953871daed2ed2174e | ocamlx(Exninfo) |
| = b693900bc42f3efa023c73b9ceb041ca | ocamlx(Extend) |
| = d4a00bdb8bb447ffbe790712392a9428 | ocamlx(Extraction_plugin__Common) |
| = 9bd4299d3215a379c3262fc1b2ffceca | ocamlx(Extraction_plugin__Extract_env) |
| = 7095e430003f03f91d1c5390e4fd930d | ocamlx(Extraction_plugin__Extraction) |
| = b63999501fbb68815a70e1ee254b780b | ocamlx(Extraction_plugin__Haskell) |
| = 8b03ab61ad8dcc6b8c53c7bb3aa041a5 | ocamlx(Extraction_plugin__Json) |
| = 11cdf3d4d0fd915bea416e07f9346f62 | ocamlx(Extraction_plugin__Mlutil) |
| = 2dc173d17abe51665f20b3740da8d765 | ocamlx(Extraction_plugin__Modutil) |
| = 04d6c2ab9bb7af05d826a61ce0e6a622 | ocamlx(Extraction_plugin__Ocaml) |
| = 4a61a94e67cdcc753600ec28ab30eac4 | ocamlx(Extraction_plugin__Scheme) |
| = 31a4e38dafd7fd5aa00fa4456d48fea3 | ocamlx(Extraction_plugin__Table) |
| = e1f1b1347698764c752eb331016f1f2c | ocamlx(Feedback) |
| = 8ec1ea86d4db25c04cfc59b90a4a2f74 | ocamlx(Find_subterm) |
| = dc0519a8489b7ba8e2a57e7a8b6baf74 | ocamlx(Firstorder_plugin__Formula) |
| = ee7c6d2d6ece7857e9ef0e54ae801cdf | ocamlx(Firstorder_plugin__Ground) |
| = 7feb5f76a73d447e24d3f90535e0dc14 | ocamlx(Firstorder_plugin__Instances) |
| = 7a1860b68564cc05a2c613e48702e1dd | ocamlx(Firstorder_plugin__Rules) |
| = 5c5470e7c0e5d1b07d7f23fcd35cb770 | ocamlx(Firstorder_plugin__Sequent) |
| = f8dbbade316555bb188db3a6beb442a5 | ocamlx(Firstorder_plugin__Unify) |
| = afd99d8f3cd8bab00628fa56aecb8559 | ocamlx(Flags) |
| = b80fa132d7fe71ac90c5113bf73b1bb8 | ocamlx(Float64) |
| = 191adc16e76cab9113a6b3b299e1a6ce | ocamlx(Float64_common) |
| = 42fae1fdebc1f7d59214b6a04a9cbfc4 | ocamlx(Ftactic) |
| = 2a43606e8add6053d2b839e92c3011cf | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 30773b64897fc432e7119fcdc04696b1 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 4334673afcc0ef28973967923dc5b867 | ocamlx(Funind_plugin__Gen_principle) |
| = 94377da19b3fdc5b10d07adeb1a8faad | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 1462b93eb7e19df5abe84936f1d4513f | ocamlx(Funind_plugin__Glob_termops) |
| = 964a6fde36b4293b71ca088c3f12bbf2 | ocamlx(Funind_plugin__Indfun) |
| = f0d37bf4d7c0248e01e1f9b6c98ce041 | ocamlx(Funind_plugin__Indfun_common) |
| = 669eafd5cf348a1336cbb4933cb770f9 | ocamlx(Funind_plugin__Invfun) |
| = 605de9bc7a0678116ef461fcacd7e6d1 | ocamlx(Funind_plugin__Recdef) |
| = 55a602d9ba289b11cca2b89b3bcc3859 | ocamlx(Future) |
| = 17f0e48202647cac53f9fc9f8d1e6bc8 | ocamlx(G_proofs) |
| = f302ba95b1fedd84ee30f6da3580a511 | ocamlx(G_toplevel) |
| = 062a4d65658b1233e5c5ce5bfccd5365 | ocamlx(G_vernac) |
| = 739f3319fbb5fa7bda62298c8bdd56f7 | ocamlx(Genarg) |
| = 11957e094eb6e2d5d2b3f8570a869b4a | ocamlx(Genintern) |
| = 1c1c15671d1ad5912ccae4a4cbd6db3f | ocamlx(Geninterp) |
| = 0de3003d6e212101b3a4ca7626b9cd5d | ocamlx(Genlambda) |
| = e8c9e0f46dd7d16306855aa33a3a06ef | ocamlx(Genprint) |
| = d8b373be994e62472fac38cdc1857583 | ocamlx(GlobEnv) |
| = 3bf5cb24e47684851cf4c1a0fe9cca8d | ocamlx(Glob_ops) |
| = 5803946767387d9b2cda977ea313d4a4 | ocamlx(Global) |
| = 158443725afeced00e4a4e8290670591 | ocamlx(Globnames) |
| = 5b22190d598de0463e102fe921ac1e0c | ocamlx(Goal_select) |
| = 888bb18c9e57eee4c5d48c5a5667c0b8 | ocamlx(Goptions) |
| = b18b4fff02caa54d015a82d2912e93b2 | ocamlx(Gramlib__Gramext) |
| = c13c6e4e5cff9a27ce030516eed20b51 | ocamlx(Gramlib__Grammar) |
| = 7b6df838ea172a1def89eb4ef5390e9d | ocamlx(Gramlib__LStream) |
| = 09815ac0f263ccac23e54cbee974920a | ocamlx(Gramlib__Stream) |
| = 39fe4a6915a88e66d8339e425a333a6c | ocamlx(HMap) |
| = cfc47b3ad5b6eae181e51257373a3dee | ocamlx(Hashcons) |
| = 469c6a6875ba78158ce276241cf2699a | ocamlx(Hashset) |
| = 3c26c9a86ad00ba328d7bd69d55a0f85 | ocamlx(Heads) |
| = 53034515cece58d3f2321b8ba3555860 | ocamlx(Heap) |
| = 600cb5b5c3c4c264fcb99dd33fb9421d | ocamlx(Himsg) |
| = 1f6bed9756e1a04850b8811967a3d779 | ocamlx(Hints) |
| = c0e9f1e93a86b893e752254b9fa337f1 | ocamlx(Hipattern) |
| = f521bc0d917c73b1821de9bc73dcba7e | ocamlx(Hook) |
| = ee7490c5c8bce0d573cede66b2d01ffd | ocamlx(IStream) |
| = de25def2d1056e33d4b80d17a9fd5758 | ocamlx(Impargs) |
| = 0663073c100bf297bdafcd96c6663fb5 | ocamlx(Implicit_quantifiers) |
| = f8827ce72842dfad371229df86420bb9 | ocamlx(IndTyping) |
| = 6e6a942a94459663f22016f30e31f112 | ocamlx(Ind_tables) |
| = 7857eef1df2df3dbf54aea632d663bf9 | ocamlx(Indrec) |
| = a45cf01da7b59966f730cc7c5d12e9e9 | ocamlx(Indschemes) |
| = 79bdc608d5290334d64ac02832412f95 | ocamlx(Indtypes) |
| = f8173584b1ec75aa6a4350aa58bc8496 | ocamlx(Inductive) |
| = 64221bb566c93b377b61909e40ab8dc0 | ocamlx(Inductiveops) |
| = 8e955192e8697f3ff77380c0fffcba0f | ocamlx(InferCumulativity) |
| = e9d99b8c9341bcea891f3c402ddac40a | ocamlx(Int) |
| = 08babd6fb0464e6b9b4d2a6aa3a4b9e5 | ocamlx(Inv) |
| = d5be72eb15346574c70b54fb78a29a4b | ocamlx(Keys) |
| = a3947fe996bf71b174d973af77985213 | ocamlx(Lib) |
| = 979167032073e69a4757eb40ca3c5441 | ocamlx(Libnames) |
| = 92e86fd51e2f06e4d4a4ce19d6acf5a1 | ocamlx(Libobject) |
| = 6ecd0c0a9f7c79f2700259ffbb93c897 | ocamlx(Library) |
| = df280ef04a9d8991d5ec7ec7b515e5ab | ocamlx(Load) |
| = 088fb5c3a0cd1f0d040e888664480250 | ocamlx(Loadpath) |
| = d72bc3186cc4f53772f41868e2d0689a | ocamlx(Loc) |
| = e2e8afc7782688e43e202b5dcc074431 | ocamlx(Locality) |
| = a73a9c86b723f3b3112c3dbc81fda376 | ocamlx(Locusops) |
| = 2bdee53ac5e2c4a62406652bc56692c7 | ocamlx(Logic) |
| = 5e82f53ebb9a585a39a67c15675df824 | ocamlx(Logic_monad) |
| = 55e1eb3869bfdd207f160db41e1c4d6f | ocamlx(Ltac2_plugin__Tac2bt) |
| = 688f011f6cb3510288387fa034e07c5c | ocamlx(Ltac2_plugin__Tac2core) |
| = cad2d2a6fe8a4022c114a92bc72e4a81 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 09ca80505f24cac045f6c77f62dbbc14 | ocamlx(Ltac2_plugin__Tac2entries) |
| = ba24e00d44d213ef3f36f0f908c46394 | ocamlx(Ltac2_plugin__Tac2env) |
| = a3910491bc5b9414c51be5d2f039f411 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 780428b073e071d4590e3164930e69e1 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 7f6205ec87f4b32e6aeb709a22db81b9 | ocamlx(Ltac2_plugin__Tac2intern) |
| = bc9cc3d6ed70cee28eb4ec1b61f9da90 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 9991a5b4e39fb25ad992fa69c55dd0b9 | ocamlx(Ltac2_plugin__Tac2match) |
| = a9645e70b62e10fb75a39d89ec7b6ad4 | ocamlx(Ltac2_plugin__Tac2print) |
| = e360bd3dfd47624c779b9166b1f18d34 | ocamlx(Ltac2_plugin__Tac2quote) |
| = f149c34fe9152e69d85a892f928d60cb | ocamlx(Ltac2_plugin__Tac2tactics) |
| = f833d6d0306c33981d7dbf91b3900963 | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = d6b78a9cf4127e191e37ad8e9d041206 | ocamlx(Ltac_plugin__ComRewrite) |
| = d9942286a70445380f59294a9387b78a | ocamlx(Ltac_plugin__Extraargs) |
| = bff739c02ddc56a656376c5eac2726c7 | ocamlx(Ltac_plugin__G_ltac) |
| = b79d94b43f32ce5e3a59acf37a3ccc5b | ocamlx(Ltac_plugin__Internals) |
| = 205ce5482c54f2adfecc68bd7eee2afe | ocamlx(Ltac_plugin__Leminv) |
| = 36276c3d51cf1b24a634f69f459bd510 | ocamlx(Ltac_plugin__Pltac) |
| = 93b6c0c382ed7b4da35e45f7ecc62912 | ocamlx(Ltac_plugin__Pptactic) |
| = c99df95ab7aec554c25ca2a37040b578 | ocamlx(Ltac_plugin__Profile_ltac) |
| = 94f54b87359d7e60c1c3cbd50d2874dc | ocamlx(Ltac_plugin__Tacarg) |
| = eb40a143fbad5982d2c9ca986469de33 | ocamlx(Ltac_plugin__Taccoerce) |
| = be2c30f9154cd5f228064e954f322449 | ocamlx(Ltac_plugin__Tacentries) |
| = 3c22082e253a0889ece0c54065878f36 | ocamlx(Ltac_plugin__Tacenv) |
| = a2092fc9b5b17a5ea6610bf999109ab6 | ocamlx(Ltac_plugin__Tacintern) |
| = b4ffa3927711c42894f44c306ff91fcf | ocamlx(Ltac_plugin__Tacinterp) |
| = 3bb507df5f9afe696e5a1d1fe4543d23 | ocamlx(Ltac_plugin__Tacsubst) |
| = 97673204e544091a2ada7779c9a40e64 | ocamlx(Ltac_plugin__Tactic_debug) |
| = d0e798c3d8f42f3b62c318c743a40c46 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 6550fa6ff9e205cf04b9d8044956817b | ocamlx(Ltac_plugin__Tactic_option) |
| = 529bf4e33bee1f9d039f40dad39a0f0a | ocamlx(Memtrace_init) |
| = fbabb8ad958fd534a5e2470b0ba7c1a5 | ocamlx(Metasyntax) |
| = 92c0ef00990514f3789e3d050b91276a | ocamlx(Micromega_plugin__Certificate) |
| = 95db6da4c524b8bdfd6c6878b24e45ec | ocamlx(Micromega_plugin__Coq_micromega) |
| = 837b425aa20a78f2c786a1ca73035d3e | ocamlx(Micromega_plugin__Linsolve) |
| = b33e566cf0af525e853078ce58b61b0c | ocamlx(Micromega_plugin__Micromega) |
| = bb1d15abe58d6c36547501b42f9efb08 | ocamlx(Micromega_plugin__Mutils) |
| = dc28b29a1b6a50c12d367ce716e382cf | ocamlx(Micromega_plugin__NumCompat) |
| = a1c2782c88bcfeebd6cf14be00aa589d | ocamlx(Micromega_plugin__Persistent_cache) |
| = 195e83141bd63d15eb4777e6c8d17b33 | ocamlx(Micromega_plugin__Polynomial) |
| = faed8bf36fea0a0ec6b3653052dd34a6 | ocamlx(Micromega_plugin__Simplex) |
| = 1cf739dc6be486e88cd0d15af812a0c6 | ocamlx(Micromega_plugin__Sos_lib) |
| = 673f0445364553b3f9c6f87f72bc0ee4 | ocamlx(Micromega_plugin__Vect) |
| = 1c5cadd0b4122f4c7e16f3931a713e37 | ocamlx(Miscprint) |
| = 711b45d4e83bef9ce1d0b7d4c9380f1c | ocamlx(Mltop) |
| = d878351e2b419d4b11062df0ac908901 | ocamlx(Mod_subst) |
| = 162c63dbef8060711df2266b0c8caa6b | ocamlx(Mod_typing) |
| = 0e5e73cc05751c17f196a3dfc0c7f34c | ocamlx(Modintern) |
| = f56265b19a7f606ec1aa4a9132fec41e | ocamlx(Modops) |
| = 1531fd625fcbfec0386bc4416a03b238 | ocamlx(Monad) |
| = 474c79fc3960d0d085f3c73b1945c3d9 | ocamlx(Namegen) |
| = 121885b44cb4e55992732270d06feb95 | ocamlx(Nameops) |
| = 785ca50d662b3c0f661e8a3f6f09b469 | ocamlx(Names) |
| = 18635ca6f9d88a4993408590b253b0f5 | ocamlx(Nametab) |
| = 509ef19ac14a37ba730b86656e5efb5d | ocamlx(Nativecode) |
| = 8849d3a80449900e6e7e630aceedb052 | ocamlx(Nativeconv) |
| = e01c8e97def204a7c8b7c23fd82deebe | ocamlx(Nativelambda) |
| = 17e03029eb74c81ffd6b09442b45f1f7 | ocamlx(Nativelib) |
| = 4655ecca015a67eb9040c13ca100b21b | ocamlx(Nativelibrary) |
| = 78b13372a7be4c5176e986d75da34c40 | ocamlx(Nativenorm) |
| = 3c2ad311235669cbdc67e989300115da | ocamlx(Nativevalues) |
| = 5d6354b31d34358bcb2f2711bd16a44c | ocamlx(NeList) |
| = 37245b8908e6f3eed2a658f9e63eb1cf | ocamlx(Notation) |
| = b8c0f7ddb818d97f235f6fe522221f9f | ocamlx(Notation_ops) |
| = 99fb69810003d824fb3c4f6cdd45e80e | ocamlx(Notationextern) |
| = 75950b0ceb6de53191447c64eeb02ce2 | ocamlx(Notgram_ops) |
| = 6b7a5b052017377d429b1213e0224134 | ocamlx(Nsatz_plugin__Ideal) |
| = 7cc4bdb014b6162bee1f402ce2e84455 | ocamlx(Nsatz_plugin__Nsatz) |
| = 2c3426fcb5a25989c7ff9dfb5b68310a | ocamlx(Nsatz_plugin__Polynom) |
| = a6ca30d3cf30372d26975bb27b6b920e | ocamlx(Nsatz_plugin__Utile) |
| = 7b11f2547df4c323846f584fbbc8061e | ocamlx(NumTok) |
| = a3b623f371d8f6e3087c1b616ca84d80 | ocamlx(Number_string_notation_plugin__Number) |
| = 7073ee8531601186bca8b03d6bb54477 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6cd7c6d1df390b2322440b3d5dd589ab | ocamlx(ObjFile) |
| = e5e4462841a774d08b5a3800945b711c | ocamlx(Opaqueproof) |
| = 6908f0ee78005844e3c4e576b8c52bbf | ocamlx(Opaques) |
| = df5eb2d73fefed70260934356ff58707 | ocamlx(Option) |
| = 2163d7fcc88818c7b14eb73574fc89cc | ocamlx(OrderedType) |
| = 78ea2a8f326efb9cbddb9a0ccd0801f1 | ocamlx(Parray) |
| = ec1b716a4b605cd41c1caf71d6ea939c | ocamlx(Partac) |
| = f964d1a8acd50941fcafce97a4f0e56b | ocamlx(Patternops) |
| = b1c473551dfc4502e2f9fd0f0cbdcc17 | ocamlx(Pcoq) |
| = 94b7823fd36144450275ae3fdde83959 | ocamlx(PolyMap) |
| = 419fdf7aff0a53196f149e576ae4bb8c | ocamlx(Pp) |
| = 5e4a93cfb5099a48d716e33332ca9ea6 | ocamlx(Pp_diff) |
| = 0cdcf894aee4ddce9b8aecf14c0e1434 | ocamlx(Ppconstr) |
| = e03069eac4fc3270544368fc505508aa | ocamlx(Ppextend) |
| = d826a922e28ef3309b10ea8e219197a6 | ocamlx(Ppred) |
| = f52d4126b07460e3171af105d47b3dd7 | ocamlx(Pputils) |
| = b64c99904f56cc10e26985f86abfa129 | ocamlx(Ppvernac) |
| = ab67d36eefa4d91ba66178d4d82a478f | ocamlx(Predicate) |
| = c1b13e5428b6886b721c60c806053104 | ocamlx(Prettyp) |
| = d69d73218594b18d2603be4a6a5a7606 | ocamlx(Pretype_errors) |
| = e8e607b729ff7a99fecfb19e06942e3b | ocamlx(Pretyping) |
| = dc772f96e26af5ce610450fbc99dcf1c | ocamlx(Primred) |
| = 0a6534312d63eb037825038a90005238 | ocamlx(Printer) |
| = 67dd9e37431064c400957c010bad9d4b | ocamlx(Printmod) |
| = 473d203e3bd044f72ecaa5e410ec4a8d | ocamlx(Program) |
| = 51aeb1ce0ea2c0ebe78d89113df7f78f | ocamlx(Proof) |
| = a321838d27a0594b134f303609528fca | ocamlx(Proof_bullet) |
| = 17a207e67db8becba6a14f30a322f460 | ocamlx(Proof_diffs) |
| = e4291c36db5e06086e0033c1bc2d51dd | ocamlx(Proof_using) |
| = bd0bdf448258674ca1adf4e5bd039c3a | ocamlx(Proofview) |
| = a4d617ef117433f7ba6058d76d054d3d | ocamlx(Proofview_monad) |
| = fdaba1f08ade8e71c01f7f27fc268343 | ocamlx(Pvernac) |
| = 6dd7d79a7e38cd49dc1c73c134f5ae87 | ocamlx(Q) |
| = 3ab33b6768b6bd01171e9efaa5868197 | ocamlx(Range) |
| = eb1300797126ac8f4b65feca12d2b4b7 | ocamlx(RecLemmas) |
| = a15425eb95b7f130b6161476bdee043a | ocamlx(Record) |
| = 2610df621303dd4575c74201723ad3d4 | ocamlx(Redexpr) |
| = 6257b021f1a835c03f3cdd326d9909f4 | ocamlx(Redops) |
| = 59ea32e168d417819f1f1e7792be2054 | ocamlx(Reduction) |
| = 9e5ebdb507d1d2049b9c378a75575c68 | ocamlx(Reductionops) |
| = c901e779b5579c9d5723dfcffa6bf029 | ocamlx(Refine) |
| = 7f5db6bf35018027c5187fcb7390bd8e | ocamlx(Relevanceops) |
| = 82989b0d661de5ed7fc1544439033fb3 | ocamlx(Reserve) |
| = ef088d40699737abe19db795869632e6 | ocamlx(RetrieveObl) |
| = f6f85197e83f77b5c41746feccf7ea3f | ocamlx(Retroknowledge) |
| = 550faab82d95a1b6e992ac4b97ef2897 | ocamlx(Retyping) |
| = e57c646f636b201a30f1da94089835ec | ocamlx(Rewrite) |
| = b0dbb9ab8a3b6a0e489c4dffb848b1ed | ocamlx(Ring_plugin__Ring) |
| = 0a22b18f75f6e646d67505e1aa43bc2e | ocamlx(Rtauto_plugin__Proof_search) |
| = 86cbed41814e95d71387dd5daf28b4a8 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 78c49df5d574515d80c7db6946d5bf7f | ocamlx(Rtree) |
| = d0f944bace0156dbba61bcedfbba80dc | ocamlx(SList) |
| = bd5dc8331c44551fa4073c57b82cd24a | ocamlx(Safe_typing) |
| = 3326dc66d842828e6522ca27d45304da | ocamlx(Search) |
| = 5279f445d22dbd84e24b68fc5e0816b3 | ocamlx(Section) |
| = f21f1b28099ba9db638e2bb02915a529 | ocamlx(Segmenttree) |
| = a6f517b0f0f2efcc425e5b96aef66e08 | ocamlx(Smartlocate) |
| = 2a062897e4b871c222f2ad2fba9fc6d2 | ocamlx(Sorts) |
| = 364038e96dc45d7fc8935e3a95af4d39 | ocamlx(Spawn) |
| = ed7e4cfccda3dca18d8af2d73a21876e | ocamlx(Spawned) |
| = 11832c80467dc96c6e7e7ec6c75c7ceb | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 0a1aaeccec76e09a21f181ce502e3900 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = f1659ae0763b444c2ffe8ad82d00f5df | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 649165463551d22b8508c996149418c8 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = f0879bc3c79cfb08d75641e2438d8e0b | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 656b681354d329afc2533d7363c268ba | ocamlx(Ssreflect_plugin__Ssripats) |
| = e467b6406214cd2793e370189a3ff0b9 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = a9d522156af530780ea2d4c6d2278bb0 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = 2165154c5e60447a2b722a61b3a6f3a4 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = 81d289fe721e849743da7f57de9d38e7 | ocamlx(Ssreflect_plugin__Ssrview) |
| = b40db50c11eecd29dd8da05dd3e0929a | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 21a6613d4cc99696415050af80e6ed02 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 8a6cfa1023aa999633213c8ccbc3b77d | ocamlx(Stateid) |
| = 0e4cb886eca10928e348477a9ba04a31 | 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) |
| = 55131967f1d2c2ee19530e547a5db468 | ocamlx(Stdlib__Result) |
| = 194cd750fb6f7e70c46fdc85aa1a0a95 | ocamlx(Stdlib__Scanf) |
| = 97f28c73dceb6fdb51985a1ca0c2f52d | ocamlx(Stdlib__Set) |
| = 018afd60df09186eaef4d0d459f62321 | ocamlx(Stdlib__Stack) |
| = ff814de8355985ea0e450e0986a59446 | ocamlx(Stdlib__String) |
| = 318f20829e5e32f065cd5b00f4538f80 | ocamlx(Stdlib__Sys) |
| = 1662d917b454dc90a83a0e89c6e379ed | ocamlx(Stdlib__Weak) |
| = a08c6b5d352d2f57957ef96e8a286912 | ocamlx(Stm) |
| = 72bb85a6d78de5403aff8884d7119315 | ocamlx(Stmargs) |
| = 7a6414c41956de3e4e739e527f88c18c | ocamlx(Store) |
| = 924f01c074dacb70584a6f40220f4c26 | ocamlx(Str) |
| = f8e5a9e5f16683d10b0802b198a7ff2f | ocamlx(Structures) |
| = d245b3013a970524a7de758266abe430 | ocamlx(Subtyping) |
| = 67be684190e306e7bb1aebd1a7cc0dd7 | ocamlx(Summary) |
| = f4a675a1d2a8d4b675c03d81729c87e9 | ocamlx(Synterp) |
| = 2e97e27e9538e9f6bdd679c8f507b5b2 | ocamlx(System) |
| = f7f6e860d725a443e796b86bdd23f510 | ocamlx(TQueue) |
| = 68761a3e60ca53cba7c70dd2a8dab2a5 | ocamlx(Tacmach) |
| = 3ddd18122dd2c2c354e29531bf138db6 | ocamlx(Tacred) |
| = 43ac0042ff03c2f9e4f77ba05be15b20 | ocamlx(Tacticals) |
| = c1dd16e3ba662e744e4416a97cec1af6 | ocamlx(Tactics) |
| = 40653e33b46a8900003ce640050f5a51 | ocamlx(Term) |
| = dc2f054a79a7003b3463e64b3de01843 | ocamlx(Terminal) |
| = b24cee45276a25694c4c0ff2fcc93eeb | ocamlx(Termops) |
| = c76409bc97dd32b0ffc37ebf09a0b9db | ocamlx(Thread) |
| = b80c78d31d9d9fd5e6e1e6bcc24829fb | ocamlx(Tok) |
| = 2c9d3b9fdce188065b36ac8474d1eabf | ocamlx(Topfmt) |
| = da5557a7124df6c408f1be20d035e448 | ocamlx(TransparentState) |
| = 3895062cc3abedbc3247191ea017dee9 | ocamlx(Trie) |
| = 302bcd872753aa64110ab842be687178 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = b841df3a5e05b580062a8556b5e535da | ocamlx(Tuto1_plugin__Inspector) |
| = dcf31887a3b91ea17f166f8e072bcaec | ocamlx(Tuto1_plugin__Simple_check) |
| = 64833d68c531ecc1d4509b807e12a10f | ocamlx(Tuto1_plugin__Simple_declare) |
| = 03e2611df1e28fdb2bc41663d256806d | ocamlx(Tuto1_plugin__Simple_print) |
| = b03de40da6b65f0f30e9f0a86caf4c1a | ocamlx(Tuto2_plugin__Counter) |
| = 50b3e2cfc716e2a8948a9737662dc1bd | ocamlx(Tuto2_plugin__Persistent_counter) |
| = 18199be216b6f964e987797e521d6fea | ocamlx(Tuto3_plugin__Construction_game) |
| = 5bf0d8e5277d72a2ead63aaac4dd3364 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = ea006a6f6125f135234f5cab97e4838c | ocamlx(Type_errors) |
| = 5cdf22f18cf824642f9e130f7f535570 | ocamlx(Typeclasses) |
| = adc57db681f91e5eeb9a1a415286d8a5 | ocamlx(Typeclasses_errors) |
| = f813685cf06a8d915f7ec240d36430ba | ocamlx(Typeops) |
| = f5581df980fc2cbec17bab4addd6c57c | ocamlx(Typing) |
| = 19b58e6c45cda39509334a632073b173 | ocamlx(UGraph) |
| = d0e8aba27481fad96325f726ba5a9042 | ocamlx(UState) |
| = 2a57dbb786b1c670b4c0cf6019624daf | ocamlx(Uint63) |
| = 7ad40dea3041af4bfe0c48875a277d2f | ocamlx(Unicode) |
| = e39cbbfff4023c88469f7c1d4c7ce266 | ocamlx(Unicodetable) |
| = 545bacac08dc5de5552e6817a07fc0ad | ocamlx(Unification) |
| = 8246f3486bf7e2c27d9e11279783297e | ocamlx(Unionfind) |
| = 7b0dffcb374df7460ed7d43485d86e09 | ocamlx(Univ) |
| = 6fc97edfa5745fe008577acdd8cdfd9d | ocamlx(UnivGen) |
| = 3679c2ff15feff6f635875bda830b90c | ocamlx(UnivMinim) |
| = 542271228a44b3991e002306575c62db | ocamlx(UnivNames) |
| = 1a2d1459fe08572e159e9d1e59893f1e | ocamlx(UnivProblem) |
| = 4ce433819180fb152020d919567e9b86 | ocamlx(UnivSubst) |
| = 0fcc9ad8081b664e01ea70f9c9f893df | ocamlx(Unix) |
| = 44b5822c32cc6176e4a217380ca5890d | ocamlx(Util) |
| = b6d352fbcc59faf9c33775f0a9cb1d26 | ocamlx(Vars) |
| = dcf5aa9a946937e543513efaf8d02af0 | ocamlx(Vconv) |
| = 8d08cf5eb87db66e324ec3377246e2a6 | ocamlx(Vcs) |
| = 03f0d66008efc35c033d72758d802723 | ocamlx(Vernac) |
| = d6826235c24d6f5c254827f64a2e2711 | ocamlx(Vernac_classifier) |
| = 92f5ac5f3271654f67437dd987db9e9a | ocamlx(Vernacentries) |
| = 5db7ac4ecb14db2f120e4b87c9d06b8a | ocamlx(Vernacextend) |
| = 7388bfcf1e7318e494edbcb03d4e66d3 | ocamlx(Vernacinterp) |
| = 088c4069e575d8f77ed8a679a5772d02 | ocamlx(Vernacoptions) |
| = 7ded7e247a70a5358f2c2f8d67fcc2fe | ocamlx(Vernacprop) |
| = 3aeb9a9fc71fa890140e06c333cec47d | ocamlx(Vernacstate) |
| = 0069a6b9e298a676b9ca6171e25a91c7 | ocamlx(Vio_checking) |
| = 0b9dbcbc9d0c3663bfd38f9a0dd8a19a | ocamlx(Vio_compile) |
| = 8d72b844a8a3d1e5c99533552665bc7c | ocamlx(Vm) |
| = 543770b289f019416fa8337bcf05e7f1 | ocamlx(Vmbytecodes) |
| = 46c99f1be2a73d204087a4782104cfcc | ocamlx(Vmbytegen) |
| = d570daf8f568ddb62de60a023dac189f | ocamlx(Vmemitcodes) |
| = 18cbb8df7860d24f9aad1a1f2128917c | ocamlx(Vmlambda) |
| = db2da2bba6fd8feff297d1266de1de83 | ocamlx(Vmopcodes) |
| = 3965c35b0947734d8a002074bcbf7833 | ocamlx(Vmsymtable) |
| = d87a28b37471e746a1cca02840ab41f4 | ocamlx(Vmvalues) |
| = 359133a4b7d5f7e8fbd37987b2ad327b | ocamlx(Vnorm) |
| = 304e5cffad1319746425937b38a3833f | ocamlx(WorkerPool) |
| = 6198bfa6e30905f220cf5f1cd3d005f9 | ocamlx(Z) |
| = b99bf62d3843690133136590bd889e54 | ocamlx(Zarith_version) |
| = 187e93c28f6fd7bdd31c10f09af9a162 | ocamlx(Zify_plugin__Zify) |
| - | rtld(GNU_HASH) |
ارائه دهنده
| مقدار | نام |
|---|---|
| = 8.18.0-1.fc39 | coq-core |
| = 8.18.0-1.fc39 | coq-core(aarch-64) |
| = 873cb7ddab0343f33c9c7cc381de5b05 | ocaml(Abbreviation) |
| = c7f702ea9dc1489c3b2ca4cc3984100d | ocaml(Abstract) |
| = 392150c230c7b773614b8132b5050594 | ocaml(AcyclicGraph) |
| = 2bde0c790e571af4e87b6fc7bda5b024 | ocaml(Arguments_renaming) |
| = 15f4405e819bf251ffc442bb4f619831 | ocaml(Assumptions) |
| = bc2cad92fd259b84de12b4a3b59cce61 | ocaml(AsyncTaskQueue) |
| = 730265eec2e3da042cdd0f8a8c134f46 | ocaml(Attributes) |
| = 916d916aa8f133719e64cdcaa0b5297e | ocaml(Auto) |
| = 958516e75f1f840227b635ab59330132 | ocaml(Auto_ind_decl) |
| = 796bbefa57187ab9b56444ffddfdb8f3 | ocaml(Autorewrite) |
| = 446a9bc1bca7241dbd82226640d34b8d | ocaml(Aux_file) |
| = 43145732bb85209ab41a902e180a47fc | ocaml(Boot) |
| = eeff6b49448b096ab1f7cf11af339b79 | ocaml(Boot__Env) |
| = 5e1b06b3dd1afae49008507b4839c3b6 | ocaml(Boot__Path) |
| = 106fe5d619dbada8e803243a726307cc | ocaml(Boot__Usage) |
| = ac2f9d413b44a66612a610fb30444885 | ocaml(Boot__Util) |
| = 53003820aa5511da965c3279d86ecece | ocaml(Btauto_plugin) |
| = 1463bcb1ab991ada0443329b21ee4ad7 | ocaml(Btauto_plugin__G_btauto) |
| = 1ec5b7751961344e6f6e4517abfa86db | ocaml(Btauto_plugin__Refl_btauto) |
| = 04977a8296a8c21fd5979578fc19699e | ocaml(Btermdn) |
| = 6d58569e3639e38decf1a0dbacbf0726 | ocaml(CArray) |
| = 42d6ecfe3ce9d100a355b5990a884114 | ocaml(CAst) |
| = 5f02da07dc25d0af177e5b431bd2ca7d | ocaml(CClosure) |
| = 326079a49c3f190b8b7ab5844c584942 | ocaml(CDebug) |
| = 93e20cd55896e94be0d04b06c6571279 | ocaml(CEphemeron) |
| = 00917bcf8ba9a78b4ea100f83590b566 | ocaml(CErrors) |
| = f77e1d27f3ce84e91131fb23dda42504 | ocaml(CLexer) |
| = a7a0c48b94e35b57bfb2bc2689d58cb7 | ocaml(CList) |
| = 56aa025417b342f792402ad3a956066e | ocaml(CMap) |
| = 1ffe6496dc68e0493a0b7dd654261007 | ocaml(CObj) |
| = 07235103f046552da753e83ad1b62004 | ocaml(CPrimitives) |
| = f65c51ee4bce727d8b9088a358e5ef4f | ocaml(CProfile) |
| = 7d7be9cc23fb38e10753233bf859750e | ocaml(CSet) |
| = cbe0b0a079f2ef2dcd13f42ae80840dd | ocaml(CSig) |
| = ba1439e877c8deb15a04b63ae44497cb | ocaml(CString) |
| = 9369628f10c527279600dd048e6a87bd | ocaml(CThread) |
| = 02c1e8f824a500e558673c6fa375775f | ocaml(CUnix) |
| = 360d9e855470374f7e15382e6a31506b | ocaml(CWarnings) |
| = 4ac53fc6e396c241e7ace9c4b7273412 | ocaml(Canonical) |
| = 261c05c1a2689525bddd94df83e0f720 | ocaml(Cases) |
| = d34af3aa5224bfbe0a2ff225194152e6 | ocaml(Cbn) |
| = c2c35d90e2a96c1d1cae9dbdbee98da2 | ocaml(Cbv) |
| = cf0c15430522205e4ed7cc115dd5420f | ocaml(Cc_plugin) |
| = b530a65d325960b5c541084c0d8179b1 | ocaml(Cc_plugin__Ccalgo) |
| = 18c90a579ac3534f7b6bb9bf66d6d046 | ocaml(Cc_plugin__Ccproof) |
| = 703837fbdd8c7f38b8c76071c4d6af55 | ocaml(Cc_plugin__Cctac) |
| = fdd27d14770326f7c23efd71a275e6fb | ocaml(Cc_plugin__G_congruence) |
| = 5d3510ca45c5dad41e8d1049e8acae94 | ocaml(Ccompile) |
| = 058933c9284eb15e2d829d63de80f9d0 | ocaml(Class_tactics) |
| = 5cc5d7191c4b7ced8a4126121845bc12 | ocaml(Classes) |
| = e80f8df23ad011ae72602f8b749f481f | ocaml(Clenv) |
| = f31fc315266a2bd327085dd4d6d9c82c | ocaml(Coercion) |
| = 3f4b790f488db7e835774cc53c561179 | ocaml(Coercionops) |
| = 56d65134ea11ecaaf87832feebcc1b19 | ocaml(Colors) |
| = c1534e63f6e31a8e6199e7696775a97e | ocaml(ComArguments) |
| = bf9848903fdec5bd86b1c33a4037fa47 | ocaml(ComAssumption) |
| = 0a4bd41ed64d2fa7331dc95cba9c3982 | ocaml(ComCoercion) |
| = 2107efcc8cb5cf520ee8d0c871c29a10 | ocaml(ComDefinition) |
| = 374de6d14aa52d44a10ce7a3a19897f5 | ocaml(ComExtraDeps) |
| = a8010fd22fd709a57545ed29ff2bed49 | ocaml(ComFixpoint) |
| = 4d5af008b55c407b716c6afdc0138bc5 | ocaml(ComHints) |
| = 1b82fa5a358d5208897aa25ab8aef30b | ocaml(ComInductive) |
| = 68675d27ceef46d2869331c1a910e83d | ocaml(ComPrimitive) |
| = dbe21a869d174d22f8e5d4f5372c4119 | ocaml(ComProgramFixpoint) |
| = 0715da71a938ca0dac2468bedbaea96c | ocaml(ComSearch) |
| = 07a9bdba58dd11bfb27eee213175909d | ocaml(ComTactic) |
| = 16fec060dec5acfaf5a67a4c863cc73c | ocaml(Common_compile) |
| = 17c325a2333f6346a22dabcc205d0809 | ocaml(Constant_typing) |
| = f7420182b69f0d3646c935cd7b59745b | ocaml(Constr) |
| = 7489d42882d335012da88d04858f7b15 | ocaml(Constr_matching) |
| = f19d3c6b7b2f9c73b4d81d5072fc7969 | ocaml(Constrexpr) |
| = 9329f0463bb93bebe8c288e29bf5823e | ocaml(Constrexpr_ops) |
| = 29c0c0d4ad89971e71edccb6c22b0b4c | ocaml(Constrextern) |
| = c6d0cd9c635fb2a8e83830f9fedd9565 | ocaml(Constrintern) |
| = 3d39efc23f824b02c82114025f1ecac4 | ocaml(Context) |
| = 9d1aa637ab98b676319a1d1883c0f725 | ocaml(Contradiction) |
| = 705fecc4af18942904bb999ae7333291 | ocaml(Control) |
| = 710e6424928355e4e79f94fc54e3996f | ocaml(Conv_oracle) |
| = 0e64c1e86b9425ae4be9b3521e2fc857 | ocaml(Conversion) |
| = 2a47249e98b3be9e170d34cd4d9a6ef1 | ocaml(Cooking) |
| = 5b979c98e257ab13051a2b63c826e2de | ocaml(CoqProject_file) |
| = ad63fb43db20783159b0795a5ff28af7 | ocaml(Coq_config) |
| = 7dda718f8676fc8734519980846375b8 | ocaml(Coqargs) |
| = 98973a75ea537f0e53213d01785a2921 | ocaml(Coqc) |
| = e4fbb80c91d8476a3f5cfcaaf6e044eb | ocaml(Coqcargs) |
| = b50bc6407970fee5137d7369c1e081e6 | ocaml(Coqinit) |
| = 5bebc4a384c77c5330739cc72ad255ce | ocaml(Coqlib) |
| = cd5317c42432329d8ae596b3cc9fc087 | ocaml(Coqloadpath) |
| = 39962a1a4c281abee2b8e4296a7b73ac | ocaml(Coqloop) |
| = 45f89ccccea01acf5853212d5cbabc26 | ocaml(Coqrc) |
| = 2f30185ef61f26aadab594d842c6f4d1 | ocaml(Coqrun) |
| = 38f9c06d17ab2c517f3d32d5b2ada16f | ocaml(Coqtop) |
| = 49de4eead2e6f33da68e7afac042c450 | ocaml(CoqworkmgrApi) |
| = 80ff6829d6e486ac5603f01e61095ce7 | ocaml(Core_plugins_findlib_compat) |
| = 2f2b7acba36e311950e44668c73498db | ocaml(DAst) |
| = 18c1f55fbe60e9d9b988164d316e1cad | ocaml(Dag) |
| = 5b7192faaf31fccd63ad285c9cd83037 | ocaml(DebugHook) |
| = 9235ebed91210dcb1116cac6b9f1ff52 | ocaml(Declarations) |
| = d63daa907f5178bf92cad80835b83e89 | ocaml(Declare) |
| = 6ab0a9c1ec9ad5b36e730402bd628adb | ocaml(DeclareInd) |
| = a219447b6c78a4eab3af89bdbf3bda07 | ocaml(DeclareScheme) |
| = 9d3763f3a19578cbe7fb3bab1635ed3a | ocaml(DeclareUctx) |
| = 17eaaf491f73a7bb3a75cb3570c3dcb7 | ocaml(DeclareUniv) |
| = 56f94fa38dfba52fbbd1ba4b373560fb | ocaml(Declaremods) |
| = b07c0fd60e6a2f8af9f5c994e3fb2f7c | ocaml(Declareops) |
| = 7079ec08ffb13ce1605792ed809e58e8 | ocaml(Decls) |
| = b15ef9256df466a8fb4166c91d2d6585 | ocaml(Deprecation) |
| = 78d505fae5f5bf6eecf03a786dd27bdc | ocaml(Derive_plugin) |
| = d9bcca1987d7067e7d7a5a7d4112ad74 | ocaml(Derive_plugin__Derive) |
| = 5e462773d20c018fcd435b2ff03b6166 | ocaml(Derive_plugin__G_derive) |
| = 3b6fe8eb4a2271c5b926298fb1f6e83c | ocaml(Detyping) |
| = 926b80ac1ee1ed0ac9c0f26e9c85f74a | ocaml(Diff2) |
| = 1a0056a8e9a7820165d2bd1dda1f9261 | ocaml(Discharge) |
| = fc829bfd97349dafa693029ebea88f2f | ocaml(Dn) |
| = 7c33431d9bab53ffe442f1e16db6f418 | ocaml(Dumpglob) |
| = cbf19b204d91d94e8817b26f32a8ba9c | ocaml(Dyn) |
| = 7dc851b04295db22682ce3c2565c9294 | ocaml(EClause) |
| = c828561535e94b6bb6037ca74c3dc755 | ocaml(EConstr) |
| = c31bbec7603a0eb07fbabbf44f543506 | ocaml(Eauto) |
| = 415ca3186196a8ff2636eac1ec5eeb53 | ocaml(Egramcoq) |
| = b7b885e329a146c033f945a8ae3a33f0 | ocaml(Egramml) |
| = 2eb43ba996d028eb0825bfb886da3377 | ocaml(Elim) |
| = aebebc7f1d099cb9e5f6172430defb36 | ocaml(Elimschemes) |
| = 686565494ada419160a018901fb8a7cb | ocaml(Entries) |
| = e538c014f2559e2d5bc451f89f378e01 | ocaml(Envars) |
| = 83aaa9e324085d2b14616342f28d3fb3 | ocaml(Environ) |
| = 8a4cae73cf891d4ac85e563a201a4b5d | ocaml(Eqdecide) |
| = 811582521d92ecb07405853b713a9c75 | ocaml(Eqschemes) |
| = c2751a2f74dfdcda1741a60f0fed5949 | ocaml(Equality) |
| = a549cc4681bd9d26223a774c2293c7d0 | ocaml(Esubst) |
| = 936b4695f5e968c33ce133feca72b7e0 | ocaml(Evar) |
| = c973ae08e81b47c22640985418fb723c | ocaml(Evar_kinds) |
| = 28bf67afa904e5460de197a68820355e | ocaml(Evar_tactics) |
| = 0ff71a020658c945fed4a9fc0b5eec5d | ocaml(Evarconv) |
| = 156f4c10177df214d4b5a70fbf8e3ee1 | ocaml(Evardefine) |
| = 5a6518f834013128cce6f0cb7653cb8e | ocaml(Evarsolve) |
| = f57cc4e3212a18a2f246ff62f7aa6385 | ocaml(Evarutil) |
| = 4bf57d086fdc5fb953540e310c0e0dfc | ocaml(Evd) |
| = 38ad6517d5220e43e479a1d0d18b8b8c | ocaml(Exninfo) |
| = 3831d7e350ed8543105c96a41bcd8c33 | ocaml(Extend) |
| = 4fb746e4e16b143b502f71babff015f2 | ocaml(Extraction_plugin) |
| = 5792721f87060a1ebeb7d721141d901a | ocaml(Extraction_plugin__Common) |
| = 2c9d0e2dec2dd7598b376f0e75293c8c | ocaml(Extraction_plugin__Extract_env) |
| = 68f1b5c9de5af51aeec48098dcb9c445 | ocaml(Extraction_plugin__Extraction) |
| = 567f06e828e45d3357d0af30616842b1 | ocaml(Extraction_plugin__G_extraction) |
| = 646c8d9e52bbfd16ba63bc12a52c0b75 | ocaml(Extraction_plugin__Haskell) |
| = 6e32cf19051229aa29640d0393118a1b | ocaml(Extraction_plugin__Json) |
| = 20690ae2d2027a79547885d0625d3287 | ocaml(Extraction_plugin__Miniml) |
| = a5cc6f9cba3a04ed434632c4041b88e7 | ocaml(Extraction_plugin__Mlutil) |
| = a33020401ec2db6564c941a674cf43d4 | ocaml(Extraction_plugin__Modutil) |
| = 9cdd22bab31f0b970c3d88e0740f4561 | ocaml(Extraction_plugin__Ocaml) |
| = 5133c79607319e76be02c2d4d0245218 | ocaml(Extraction_plugin__Scheme) |
| = c0b023e1517594601ae14945b252c7e3 | ocaml(Extraction_plugin__Table) |
| = 369f881d87535e3db952615840ea3253 | ocaml(Feedback) |
| = ed1d3df932575b780c96c9e655e6b112 | ocaml(Find_subterm) |
| = e05c81e95287e0ca858b963a11d30b9b | ocaml(Firstorder_plugin) |
| = bc9ef7b9b945531e01fdfe2fed3f5861 | ocaml(Firstorder_plugin__Formula) |
| = 7f2a2cb3126e4977dc37fc24860b06e9 | ocaml(Firstorder_plugin__G_ground) |
| = 45dd11fd174cd303d6be8adedd3bc09d | ocaml(Firstorder_plugin__Ground) |
| = 16a0555ac91f3d82c4212d483095cd32 | ocaml(Firstorder_plugin__Instances) |
| = 5bc6915483e1c348032e9ab5cd4564bb | ocaml(Firstorder_plugin__Rules) |
| = 3276c0b3ecdfb90195569b7398ddf47f | ocaml(Firstorder_plugin__Sequent) |
| = b49c22f194cf156ced92256ff673cff0 | ocaml(Firstorder_plugin__Unify) |
| = c907da5a8270a3e5bc621d373497aaec | ocaml(Flags) |
| = 84d6570848e9511aae54659b18a17c2d | ocaml(Float64) |
| = 7ab160f0bba98a2ade77c0f37bdc2b75 | ocaml(Float64_common) |
| = 8401680cca79c824c5b71cc932e9a25e | ocaml(Ftactic) |
| = 2d39469b088ad4d6259390e5af5d34ce | ocaml(Funind_plugin) |
| = 73c0b7ad90c37ee83b3e5e699804bce0 | ocaml(Funind_plugin__Functional_principles_proofs) |
| = 94f2adbaebaf120bfa5d80823f24a4fd | ocaml(Funind_plugin__Functional_principles_types) |
| = 825055c9886246cf7b6a24367ed78522 | ocaml(Funind_plugin__G_indfun) |
| = 97dc602ebea4d570e686088130961c50 | ocaml(Funind_plugin__Gen_principle) |
| = c005afd4f3f458eef508fdebaf225e08 | ocaml(Funind_plugin__Glob_term_to_relation) |
| = 0635a2aa24995ca9e1ff836bdfbbc9df | ocaml(Funind_plugin__Glob_termops) |
| = bd99366170c94cb4d898b71cf3a499f4 | ocaml(Funind_plugin__Indfun) |
| = 3229e2c255bc900d99534f2b3d4e64c9 | ocaml(Funind_plugin__Indfun_common) |
| = fbca1a3080e6fac791d85410536313ed | ocaml(Funind_plugin__Invfun) |
| = 06374e9e6813cb42819ea0cbbfa7502d | ocaml(Funind_plugin__Recdef) |
| = 056918f0691a7206769938958c112a1c | ocaml(Future) |
| = a44e5ce04ce938bb8c1c7288c1fa97c3 | ocaml(G_constr) |
| = 170db5f60ab67bee23d975b8387033a9 | ocaml(G_prim) |
| = 97b59c43030479622f4e93eae6be2f67 | ocaml(G_proofs) |
| = e6c3f22f07ee982130853334d86e4c26 | ocaml(G_toplevel) |
| = 62675840db4316c333da85abe3d15289 | ocaml(G_vernac) |
| = fddccfeb13126b528290ec87ecc1f1a7 | ocaml(Genarg) |
| = 94333dd10bf18846afa016633d57b4ee | ocaml(Genintern) |
| = 41e563f9682585c8f4605bf8cf16dd89 | ocaml(Geninterp) |
| = 8ee011d79118a98a7f27ae2bd719a75c | ocaml(Genlambda) |
| = 2025ef30bb1bd30db40755104651d881 | ocaml(Genprint) |
| = 567e09f09846700aa78b1ed7a39ded25 | ocaml(Genredexpr) |
| = 1791f2107572a3aa0dac7befc171da34 | ocaml(GlobEnv) |
| = f642e07d1fdeefdfc81a9f13b88a8a42 | ocaml(Glob_ops) |
| = a3ef8f490a43c8aa92a42b438f47bc64 | ocaml(Glob_term) |
| = 1bdb57f67b55e26a3d01f6cdf4d532b6 | ocaml(Global) |
| = ccaef1b15d958f724ef8d18c6135e84b | ocaml(Globnames) |
| = d1247cc3b0ac79c2f9ffbdcbabebbb2c | ocaml(Goal_select) |
| = bf7a454f420eb014657355188b4e2709 | ocaml(Goptions) |
| = f7a9c352b24c4ddeba559951b0f7dd3e | ocaml(Gramlib) |
| = 443690b2317f143c76466a5d3a66eb2f | ocaml(Gramlib__Gramext) |
| = b3ee77afd0274c9e58578c067acc2971 | ocaml(Gramlib__Grammar) |
| = 5dc778a5dca30e266e638f5a662d462a | ocaml(Gramlib__LStream) |
| = ebd2354d5681096939bb78667a23cba0 | ocaml(Gramlib__Plexing) |
| = 15a7f9875972299004ab0b232b77c3cc | ocaml(Gramlib__Stream) |
| = cabc0670bdb54db27e9afc76155c7bb7 | ocaml(HMap) |
| = 16cd719166c8c5010b0670dadb52fe96 | ocaml(Hashcons) |
| = 054fe5127bf9aac57339f346c0d1a1ef | ocaml(Hashset) |
| = 48f3cf24db245da908914f621423c092 | ocaml(Heads) |
| = 2a901a079d960c8807880b8c50fd087f | ocaml(Heap) |
| = 1bb29cfde4281f3803d270a01ee93e53 | ocaml(Himsg) |
| = d1a0cc09c64a0e832098981425c88d43 | ocaml(Hints) |
| = 72f1ac7656698632b3feb24f4252def2 | ocaml(Hipattern) |
| = 04f6c318e5dc4380e8d89a7074c603b3 | ocaml(Hook) |
| = 02a17d779ce4cff5ab72d2b626043e82 | ocaml(IStream) |
| = 3834a0a72a85abdbfdd7cd99ac966b7f | ocaml(Impargs) |
| = c7927e30d0d7697a2efa864cd3c40847 | ocaml(Implicit_quantifiers) |
| = d096c4faf5b557c4bd40158dd058eb69 | ocaml(IndTyping) |
| = 6b4a4972f474f1fd801a00991a35d69b | ocaml(Ind_tables) |
| = b3dc35c902179c75c36f89c89d8b290e | ocaml(Indrec) |
| = bd12818b2f0ada2ec30b1f9d46cf56bc | ocaml(Indschemes) |
| = b805a9a73208a970b19f47675c89e793 | ocaml(Indtypes) |
| = e1a42936a8458c94cee23262f3ea8015 | ocaml(Inductive) |
| = 77e0ca5316ddbf71fd1236d1653be0ff | ocaml(Inductiveops) |
| = b486ad09122c83529234fa6ce753d55c | ocaml(InferCumulativity) |
| = d92806c6b6b4bc96e03c8a07044dcf08 | ocaml(Int) |
| = df8be7514f78b424c211904ce94fe875 | ocaml(Inv) |
| = 1f2378480c8d39d86b6c904fba3d4935 | ocaml(Keys) |
| = 2610876f92739a59576d0b9e745fca30 | ocaml(Lib) |
| = 26b9cee5e6731fa5766e9f04bc2d7507 | ocaml(Libnames) |
| = 0917543958915872f997aabaa90cfdd4 | ocaml(Libobject) |
| = d6b12a8d0fde84ad6f83b203381e0282 | ocaml(Library) |
| = fbc17273072e822cf66a3875af642e81 | ocaml(Load) |
| = 6c62fdd949b90e54c5b4762bd93b3fbc | ocaml(Loadpath) |
| = 66403678cb7815a79c0e1a1c82447bd2 | ocaml(Loc) |
| = 32c60adefab0a4ba123be4179a8853cc | ocaml(Locality) |
| = c41553c61784d017f4a2b6e4d5ed763d | ocaml(Locus) |
| = d5084e9eff417995d2dfdb3705bc6fd4 | ocaml(Locusops) |
| = f6e192ce90f21df1a1f454bddd287ded | ocaml(Logic) |
| = b617dbec58c0edc562650901e5ea7463 | ocaml(Logic_monad) |
| = 649da116818b5419532b05fab030bb62 | ocaml(Ltac2_plugin) |
| = 709931ee80812b8c13d6c8e699b96880 | ocaml(Ltac2_plugin__G_ltac2) |
| = a4b47641880f2b7fa383cdfb6269fffd | ocaml(Ltac2_plugin__Tac2bt) |
| = 0821cb832bca6355b3412330377d30d0 | ocaml(Ltac2_plugin__Tac2core) |
| = de59c7871999f70b36bf4959d52471fa | ocaml(Ltac2_plugin__Tac2dyn) |
| = ee762e5862f7058ba9801b64e92fe1f7 | ocaml(Ltac2_plugin__Tac2entries) |
| = 0f1d83d0d96f0af37fd5392869351a56 | ocaml(Ltac2_plugin__Tac2env) |
| = 4e5537766dccdc032ae19c4d9c865783 | ocaml(Ltac2_plugin__Tac2expr) |
| = e72d83b9688ca5b811c1dbd04f689136 | ocaml(Ltac2_plugin__Tac2extffi) |
| = e5c065ee1577d27d3a74ed1147cc7b97 | ocaml(Ltac2_plugin__Tac2ffi) |
| = 54085ab5a7ea45549bc3f7413975e358 | ocaml(Ltac2_plugin__Tac2intern) |
| = c7664b0e098393cc381496697dfcb115 | ocaml(Ltac2_plugin__Tac2interp) |
| = 4302df7a6503cf00f7a33de4fddf68ad | ocaml(Ltac2_plugin__Tac2match) |
| = 0d14250f775bc77bfbdf0238b301d7a2 | ocaml(Ltac2_plugin__Tac2print) |
| = 5049dd8098dabdc129c524b347e119f5 | ocaml(Ltac2_plugin__Tac2qexpr) |
| = aba94a16a98d097e9e9395aa743d94d5 | ocaml(Ltac2_plugin__Tac2quote) |
| = 206c5d9cd317f74d1ef5e98061db3d76 | ocaml(Ltac2_plugin__Tac2stdlib) |
| = ce434e6822b960683cfde276615a276e | ocaml(Ltac2_plugin__Tac2tactics) |
| = 188f7c3446405ca8aaef9e86a2c819a5 | ocaml(Ltac2_plugin__Tac2types) |
| = 96d768012b4a8519328660c711442d81 | ocaml(Ltac2_plugin__Tac2typing_env) |
| = df167d955e180cbe1923b3aca1a51797 | ocaml(Ltac_plugin) |
| = fa43fdc11d352b6972838f7e65824c57 | ocaml(Ltac_plugin__ComRewrite) |
| = 398f5dacd310655c77a991310baa6d6f | ocaml(Ltac_plugin__Coretactics) |
| = aa8a80be6cba61fd0d2c7965f3a406eb | ocaml(Ltac_plugin__Extraargs) |
| = 62b27da45d2253ff699294c735d0b874 | ocaml(Ltac_plugin__Extratactics) |
| = 2692879ae7f3fa12b25d91bcebcf84b7 | ocaml(Ltac_plugin__G_auto) |
| = f0d3e7c4b5301d109b2176704a6c3159 | ocaml(Ltac_plugin__G_class) |
| = e0274a04355f49abab6867f5427c0654 | ocaml(Ltac_plugin__G_eqdecide) |
| = c8f93e904eb69dab91183072a6924433 | ocaml(Ltac_plugin__G_ltac) |
| = a3bf2e5ffe5328bec3d6a4c516f7cb60 | ocaml(Ltac_plugin__G_obligations) |
| = d8ffa9abe2718cc50e053e34948b37b0 | ocaml(Ltac_plugin__G_rewrite) |
| = da2908dbed064e9b049530ba1499bfec | ocaml(Ltac_plugin__G_tactic) |
| = b8d8e204e4faf2a59c6ebbaef2c8944b | ocaml(Ltac_plugin__Internals) |
| = dec435a81d4dd776c2539c34a3e59ecc | ocaml(Ltac_plugin__Leminv) |
| = 084577853c8a8d9319d8fe0b81fc6f62 | ocaml(Ltac_plugin__Pltac) |
| = 0befda10affa57106501d4def2056fca | ocaml(Ltac_plugin__Pptactic) |
| = 9c6f633273837e3d3bf27da6a60ec934 | ocaml(Ltac_plugin__Profile_ltac) |
| = 655d6c87b1b29758d18bdd95b773c44b | ocaml(Ltac_plugin__Profile_ltac_tactics) |
| = a2940064cbb92843ea0b98850698a4f0 | ocaml(Ltac_plugin__Tacarg) |
| = a26363aac3103b20c96b314defc5ed71 | ocaml(Ltac_plugin__Taccoerce) |
| = 0b718829f353e89009297173466b202e | ocaml(Ltac_plugin__Tacentries) |
| = acc495da50bfff7c59862c7c4bb10427 | ocaml(Ltac_plugin__Tacenv) |
| = 3638a4f42753310bdf3da2ac0c732558 | ocaml(Ltac_plugin__Tacexpr) |
| = 7e612423f32b9824fa2af0be29099714 | ocaml(Ltac_plugin__Tacintern) |
| = c383668c0c4837967ca7651fb365c402 | ocaml(Ltac_plugin__Tacinterp) |
| = 718d0f0faee29f1b171d0cdd39d4baa1 | ocaml(Ltac_plugin__Tacsubst) |
| = 420de5a95c40e32541420a362ed44ace | ocaml(Ltac_plugin__Tactic_debug) |
| = 02eb1e4385d831aa595c35e9abbd076e | ocaml(Ltac_plugin__Tactic_matching) |
| = e1e3dadab9e524da459d52ae596eb610 | ocaml(Ltac_plugin__Tactic_option) |
| = 88712f99ab7d0e957b7d460228e30585 | ocaml(Ltac_pretype) |
| = c016ad86aabfa88d17127ab3e57a3789 | ocaml(Memtrace_init) |
| = bc983aac0253b2f720ae8da3dbb1feba | ocaml(Metasyntax) |
| = c816083a19c7a82cc8eae39391774765 | ocaml(Micromega_plugin) |
| = 33c47068cf02b6b35bfae34150e1343e | ocaml(Micromega_plugin__Certificate) |
| = 00a093b123a1030a0d5a2a195908bc17 | 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) |
| = de88017a8b44ea9fd2de5569132fe800 | ocaml(Miscprint) |
| = f515792a9d8da2051dd4c02260bc813d | ocaml(Mltop) |
| = 87bf8a9e488a2d66b98b311cd9e9b9f9 | ocaml(Mod_subst) |
| = b96381a9d3c3dda56135c206901df140 | ocaml(Mod_typing) |
| = 75707a1786cd199cf3322d7f42662457 | ocaml(Modintern) |
| = c92156b83fc44f5682bc9f2948ae6ac8 | ocaml(Modops) |
| = 111c49d5acef9c643936ce9c7f2dfa62 | ocaml(Monad) |
| = ac0919cc300b6a61e06dd7e1199a9a24 | ocaml(Namegen) |
| = 3dcb8e7ab01b12759d677ecafb92c078 | ocaml(Nameops) |
| = 085b410b2201aab95c4b28f79466b72d | ocaml(Names) |
| = 7b2bc797d81dde90816bfbdb05ed9cd8 | ocaml(Nametab) |
| = caaa3c0045d8b1cf818dd091b9f9de8f | ocaml(Nativecode) |
| = 6f53855d43e2cb5885329d7efd3373ab | ocaml(Nativeconv) |
| = 5ca3b84b2dc0bf7373b4de2bbdf26266 | ocaml(Nativelambda) |
| = ca885e8aba83fb0f378e718af379cb04 | ocaml(Nativelib) |
| = 7448291c515d505b3f1e502e8d6dfd19 | ocaml(Nativelibrary) |
| = 53cb6f78c8b72b412e19b3e5699e3a42 | ocaml(Nativenorm) |
| = 83c41dd7e32a59ded1e43e007a331f75 | ocaml(Nativevalues) |
| = 970a4fb3b081f410660ba7e487594f83 | ocaml(NeList) |
| = 854e26ad5e405f07e58f00bb1c3f238f | ocaml(Notation) |
| = 4dfb0ec1b06a154d9f577fd113fbcda6 | ocaml(Notation_gram) |
| = 017dc0aa58029cdbc7831ccafddbb06c | ocaml(Notation_ops) |
| = 12d45aaf6e2b0d86d8695f8d56b3cd19 | ocaml(Notation_term) |
| = 602a3ec077d38fb6ec655de88568b1a9 | ocaml(Notationextern) |
| = 80214077bb11b00f3af7e152c6b22a91 | ocaml(Notgram_ops) |
| = 84f0132bd2fbdc1e41185d9b4bff96a8 | ocaml(Nsatz_plugin) |
| = 307291eadac3e006484cf20f40c45002 | ocaml(Nsatz_plugin__G_nsatz) |
| = 2d0b9ab3a4f30b69de79d1fa7931645d | ocaml(Nsatz_plugin__Ideal) |
| = 73bd36e0520d5d099f5f0b5a1a7a25d8 | ocaml(Nsatz_plugin__Nsatz) |
| = 541b7d8709367c1d5971f4aef5e2fdae | ocaml(Nsatz_plugin__Polynom) |
| = 04beb40d578caceca70a183d65f071fc | ocaml(Nsatz_plugin__Utile) |
| = 47afeeff9c8b0a62798648ec22366e22 | ocaml(NumTok) |
| = 25f549dd8aec902baae826210b20fbb1 | ocaml(Number_string_notation_plugin) |
| = ab1b2d95998d2094bf6ea660333a7f7e | ocaml(Number_string_notation_plugin__G_number_string) |
| = 8fd88fe32462f75cfe7db1bdaab99a62 | ocaml(Number_string_notation_plugin__Number) |
| = b622d2bcaf5e701063c622a536c27c58 | ocaml(Number_string_notation_plugin__String_notation) |
| = 4f82a68b88a72c215e0bd846231665c1 | ocaml(ObjFile) |
| = ce97714638bdef636ddcdf6595d88997 | ocaml(Opaqueproof) |
| = 777547a335316c0d576df15b8e529e1e | ocaml(Opaques) |
| = 0ed8cf70257474be112f25e670767659 | ocaml(Option) |
| = ad1f2e7298fe9e91db544a18658cc417 | ocaml(OrderedType) |
| = d7ffd5166e0ad210e99839a7a8859a57 | ocaml(Parray) |
| = 8309cf28c800dcfed0896c4b1d37e8d6 | ocaml(Partac) |
| = c96e307117bd71a535339af9cf3b1814 | ocaml(Pattern) |
| = 8248b247dcf5afa2b4a6466e867f0d12 | ocaml(Patternops) |
| = 278ab275fec18665ab0d2b379f6e2d7c | ocaml(Pcoq) |
| = b296815bf15420d281b7c46a0e4b1234 | ocaml(PolyMap) |
| = a06106912b4260216a95b51835f39c2e | ocaml(Pp) |
| = a1ca6d8cbf054780bfce1013571b7140 | ocaml(Pp_diff) |
| = 97d01497700f11d2a87a65538b482012 | ocaml(Ppconstr) |
| = d5ed88613cd8e2b2d4e2e2e03744c90a | ocaml(Ppextend) |
| = fe61fe705015ea74a81da53b83ba4e61 | ocaml(Ppred) |
| = 6838e2c25303e62d87c1151fa0c057c4 | ocaml(Pputils) |
| = 014973220f2f0ffa3c63e2fde0d507a5 | ocaml(Ppvernac) |
| = 1b54ffe866048b283dcf39c247b9f856 | ocaml(Predicate) |
| = ac996d815bb36f9ec0d531d04b0fdf16 | ocaml(Prettyp) |
| = b19c822df2d1d082a111931a6e23af16 | ocaml(Pretype_errors) |
| = 7baa8835c2cd158b2240b5d7edfc4ac4 | ocaml(Pretyping) |
| = a2a70f50cb0abf7070f6d70f32e1af58 | ocaml(Primred) |
| = 38f65e0e7495c9884f4fbc757df288b5 | ocaml(Printer) |
| = 6f7fb1d17f2481802b020a74a0f16da9 | ocaml(Printmod) |
| = dc0511c457d95553e038b6e2b79a360e | ocaml(Program) |
| = a7f2c3e341f1b2909c590a79b6b8a04c | ocaml(Proof) |
| = b586a5957d390c6dcd7707ab2f4bf2bd | ocaml(ProofBlockDelimiter) |
| = 8866137c53fe7e92b68bcefc4b78c9d9 | ocaml(Proof_bullet) |
| = 05a77ca121b11366ac40a882b6515644 | ocaml(Proof_diffs) |
| = f95bf5e900a7623f3c35f6b6e0202f24 | ocaml(Proof_using) |
| = 580140f14a4ca6b43694306c5c408edd | ocaml(Proofview) |
| = 0ea514d7b87be1004a21b151bfeceb86 | ocaml(Proofview_monad) |
| = c562639c5293c3f6a9bc29c4d52cdd71 | ocaml(Pvernac) |
| = 63247554a25737029029a5ce190b7152 | ocaml(Range) |
| = 913cacfce48e587d529c8a18f1b467c2 | ocaml(RecLemmas) |
| = e40ce9f19a72c94a74d6136bafc68281 | ocaml(Record) |
| = 39fe585ef6d85c68f9e1bdbb96de5db4 | ocaml(Redexpr) |
| = f3e8f1bd22bfd5bb7123b05d358a9236 | ocaml(Redops) |
| = fea8d4c24e48959c6a784f228c537253 | ocaml(Reduction) |
| = 1b00d396d927b2dd74ec3ded04626b44 | ocaml(Reductionops) |
| = 52d2f5b07210744d4f858ef741afe8bf | ocaml(Refine) |
| = bf2953aab6b440b0f4431c6e3bf0b04c | ocaml(Relevanceops) |
| = f06d1b90dae968b3080295186c8a897d | ocaml(Reserve) |
| = eedb3ca4fc9d6f01553de097dcc3258d | ocaml(RetrieveObl) |
| = 2acb5320cf7ecf9e2f3efdc0bdc1d99d | ocaml(Retroknowledge) |
| = fd952115cab46f3a01b45151659110bb | ocaml(Retyping) |
| = 368c99a83ede099fe9d5cb10a01d4bfb | ocaml(Rewrite) |
| = 49fa866ff2d3522249cfa702b38b18ef | ocaml(Ring_plugin) |
| = 62738b53dc999b54ecaf79b81e8563af | ocaml(Ring_plugin__G_ring) |
| = ff6206a12290485f35d705e6fe663383 | ocaml(Ring_plugin__Ring) |
| = 0cf62d94ed96440d84d67f36b413920c | ocaml(Ring_plugin__Ring_ast) |
| = f2f6e8fcecc748603ca073363f6554e1 | ocaml(Rtauto_plugin) |
| = ae9fd54c5cd59e8bddb170b1a67ef071 | ocaml(Rtauto_plugin__G_rtauto) |
| = eccd42dbca2c0862ccecc0cd489a44c6 | ocaml(Rtauto_plugin__Proof_search) |
| = bea2f8648195257673968875d4eb1bee | ocaml(Rtauto_plugin__Refl_tauto) |
| = 3070acfe312150638de5f65e9e319e64 | ocaml(Rtree) |
| = 3db7c318198c7d1af831076050e784a4 | ocaml(SList) |
| = 4ac03c1fdfa988037fb40dfae916b6a9 | ocaml(Safe_typing) |
| = 2e27a927339a3a8db3fb5543115654bc | ocaml(Search) |
| = 2613b1d4c008a4c834ee19752feb6018 | ocaml(Section) |
| = 8d883bd2b62649ed63ff01ca925c5225 | ocaml(Segmenttree) |
| = 56256ef825be73b2cc1560d6ed9fc3c0 | ocaml(Smartlocate) |
| = 61442a743ca9846b7087cbab9dc63fe7 | ocaml(Sorts) |
| = a1df7ef68f2d343546639581ef75be18 | ocaml(Spawn) |
| = b0405d27ce74aca3d9f195d476e32be1 | ocaml(Spawned) |
| = ee5c4cc99c8228609b38385be7d719c6 | ocaml(Ssreflect_plugin) |
| = acca521fafad71d72b1323690b97f79d | ocaml(Ssreflect_plugin__Ssrast) |
| = bccb01df92c3534163e2f045b6a6a451 | ocaml(Ssreflect_plugin__Ssrbwd) |
| = 919cc080c788f8274471a4594cb412a0 | ocaml(Ssreflect_plugin__Ssrcommon) |
| = 13ceb44adca3c1ff888d0e5fbe9c87ab | ocaml(Ssreflect_plugin__Ssrelim) |
| = 318720d7ccb2180135d5ced45d58c52f | ocaml(Ssreflect_plugin__Ssrequality) |
| = d93d68b518ac4250f7be136134e8737b | ocaml(Ssreflect_plugin__Ssrfwd) |
| = 3bea8cb614f37eaecc9d482a849a35dd | ocaml(Ssreflect_plugin__Ssripats) |
| = 67391bb42f67ef9773ed637efa637b0e | ocaml(Ssreflect_plugin__Ssrparser) |
| = 0a7fba3bdac74a271f4cebef27e646c5 | ocaml(Ssreflect_plugin__Ssrprinters) |
| = 23e78f2a108ad55f260b237e6fb40ebf | ocaml(Ssreflect_plugin__Ssrtacs) |
| = 0a0e197d03d315842e7a80fb552d849d | ocaml(Ssreflect_plugin__Ssrtacticals) |
| = 0937e29aa1d33f3896f22378bc2dbaea | ocaml(Ssreflect_plugin__Ssrvernac) |
| = d445781e3d2d65ffcb7b3df0feb24423 | ocaml(Ssreflect_plugin__Ssrview) |
| = 13de31f76194d86e41a930dc6f5247d4 | ocaml(Ssrmatching_plugin) |
| = c07d41c60413096b43b9d2cd9f6ed6ba | ocaml(Ssrmatching_plugin__G_ssrmatching) |
| = a3ab88eb5a086da065698e1243166e55 | ocaml(Ssrmatching_plugin__Ssrmatching) |
| = 54380a42612c023be92895eb75e54315 | ocaml(Stateid) |
| = b2c2b3b9965041f984b54fe20bd4146b | ocaml(Stdarg) |
| = f88af91c090fc5621cede9aef8c14c1e | ocaml(Stm) |
| = be566c971abadcb2e862ab121c8ecace | ocaml(Stmargs) |
| = 63270e261706eb1cea0ca37b342126b2 | ocaml(Store) |
| = aad73202a1e773336cd033afd606eca4 | ocaml(Structures) |
| = 92637b8889d6131c1c3fc5ad712ee83b | ocaml(Subtyping) |
| = fad478c460d01a21465ad93ec5e9648f | ocaml(Summary) |
| = a6632621d1947d918be73ac13d1ee5ca | ocaml(Synterp) |
| = c71d66208c02e2bfce61ff3ae1733905 | ocaml(System) |
| = d9a48841c6edf83b6c5fc9f49983c171 | ocaml(TQueue) |
| = ee4ee105a2dbbdef7373d8b1284bed1c | ocaml(Tacmach) |
| = eb0036c45d4a3e614366560fc8d6fc0b | ocaml(Tacred) |
| = 63c5a0b28bf2def0bb08a9e47fc50bcc | ocaml(Tacticals) |
| = 019bb345cda1870f39aaf25886ba4fb7 | ocaml(Tactics) |
| = ba10a2d8be8db5731a9dca13b13c6195 | ocaml(Tactypes) |
| = 418aee7004a8e4c82b63c3a475eacf61 | ocaml(Tauto_plugin) |
| = 46edcb92c881fa2d356c8f3eeebd20c5 | ocaml(Tauto_plugin__Tauto) |
| = 4fbbd5e83cff685ad353c731ebb6dd18 | ocaml(Term) |
| = 75080731fd8263db909153552a951a5c | ocaml(Terminal) |
| = 75051664f8e289e3470d77e96c883594 | ocaml(Termops) |
| = c7e17493652fa46ec713b60e9fc08fef | ocaml(Tok) |
| = d4ce7bcb7d369cc587ff63a9cfd73a11 | ocaml(Top_printers) |
| = c0127192e6c6a71cabcbaed3f8b50d92 | ocaml(Topfmt) |
| = 7823591e24f8fe112e1e16e79655d585 | ocaml(TransparentState) |
| = cb681061aae66583742c00fb4f3a3472 | ocaml(Trie) |
| = bd68d109f199d1f123529472064d4ce6 | ocaml(Tuto0_plugin) |
| = c95bb02c340c4da5f68827c6215b5ece | 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) |
| = e0afd55b82a51a1d962600435d971f52 | ocaml(Tuto1_plugin__Simple_check) |
| = 7aeac587a30e4f548f2e8f21cd3b99c1 | ocaml(Tuto1_plugin__Simple_declare) |
| = 1f09bcaa6063694632385cb7319fd3b3 | ocaml(Tuto1_plugin__Simple_print) |
| = 5c827c73edd6513780dee682ee12acfa | ocaml(Tuto2_plugin) |
| = d3225d276c9dfa753defdca6f0b33e48 | ocaml(Tuto2_plugin__Counter) |
| = 9bede7a90157587a3fde170e9f6f355d | ocaml(Tuto2_plugin__Custom) |
| = c846e06dbc4ff80f30fb70d5a1a189d6 | ocaml(Tuto2_plugin__G_tuto2) |
| = c4cb9bc336251dfd3b16117a7478e2d4 | ocaml(Tuto2_plugin__Persistent_counter) |
| = 839d54fb85133174ca563f334cb88161 | ocaml(Tuto3_plugin) |
| = 0e94c84394faeb5f84d627f22292814e | ocaml(Tuto3_plugin__Construction_game) |
| = 96999e3c050c92c58c72a29e0a1cf621 | ocaml(Tuto3_plugin__G_tuto3) |
| = e821cfeb2da00d2614b0b0905267e978 | ocaml(Tuto3_plugin__Tuto_tactic) |
| = 71aafacb8c42b9a633bed6ea553e5463 | ocaml(Type_errors) |
| = 6fbd580650fbc640e2381e2517d848be | ocaml(Typeclasses) |
| = e3c35536baa1449a691638e340ff10db | ocaml(Typeclasses_errors) |
| = e5f833191daadd2fa209da32a4a7cc31 | ocaml(Typeops) |
| = 2ecb0689b8433b010bb9b667118ba9da | ocaml(Typing) |
| = b5b877aec9d0c6f90af91489e5cc6cbd | ocaml(UGraph) |
| = 7057f875f8be32d40547332bfd86ed12 | ocaml(UState) |
| = 69f038589ad8461f82667721d319bc09 | ocaml(Uint63) |
| = ca7089ddb9ae8d5d6e027265142c5a4d | ocaml(Unicode) |
| = fa4cbcaf5affb03f3dea38fe5c8277ea | ocaml(Unicodetable) |
| = 5ae0b46009678933af883b64da697c7d | ocaml(Unification) |
| = 9014e878993ce343b70cc81c55c99eb3 | ocaml(Unionfind) |
| = 3996390653d490fd2676712cb08acd41 | ocaml(Univ) |
| = 988aedf72070cd703d14a8bb8174ca03 | ocaml(UnivGen) |
| = 9de08100f78eaef42242561059751703 | ocaml(UnivMinim) |
| = 2b59f78b9f5ac159d219fe823893efb3 | ocaml(UnivNames) |
| = f0ebfa77aee8f5aee71e8bc114598a42 | ocaml(UnivProblem) |
| = 10466c79a75d4b4870f1dbf10ad25b96 | ocaml(UnivSubst) |
| = 739c05c768541246b721db6b4ded59cd | ocaml(Util) |
| = dd4b54c7a63002dbbaf42b63ae2c0422 | ocaml(Values) |
| = 7e109c978a761d1b350cff2c72c92ab4 | ocaml(Vars) |
| = 0fd86a2f25fbb5503704dc6535a4287c | ocaml(Vconv) |
| = 3ff6b06e37c37b5af3975b6c93cb5c2b | ocaml(Vcs) |
| = ff7676da6cf4faa5777f8a870fd6f2e9 | ocaml(Vernac) |
| = 5d3d7a7308c577ec6104315ff2ed0ed9 | ocaml(Vernac_classifier) |
| = dd8121bc7a90f58da9cbd729533de7c0 | ocaml(Vernacentries) |
| = d7b1d116584b719654d93c454841c6ef | ocaml(Vernacexpr) |
| = 7ab74f32c62eb0896692db15c73f1b5d | ocaml(Vernacextend) |
| = 5a08e8999615ccfd3a6ee40453000847 | ocaml(Vernacinterp) |
| = 819980b9662d365bffffa42dc4d8c2eb | ocaml(Vernacoptions) |
| = cea13d4eb287810aaba7f5af76a81a91 | ocaml(Vernacprop) |
| = 43d4f22339aea7d088350ba2cdb9717b | ocaml(Vernacstate) |
| = 0253265481b587994e3a946ad8dc9bff | ocaml(Vio_checking) |
| = 99566339237baf875545207b3c279a1a | ocaml(Vio_compile) |
| = 962f4b8133ac87c5fd8a8bb70710f944 | ocaml(Vm) |
| = e473504b85f6c7a6e54572cdc52dff4d | ocaml(Vmbytecodes) |
| = 9bd8ca9d3f646049a2e4dc280fc81915 | ocaml(Vmbytegen) |
| = 914f5a6360e08c57a373d1aea72b8c44 | ocaml(Vmemitcodes) |
| = e70b652a8453ccd64bdd0ee5a20c2113 | ocaml(Vmlambda) |
| = 629e11e23d4b9a8fc528fbec8067951e | ocaml(Vmopcodes) |
| = 6331be0986d67a2a4fb0dbdba840d734 | ocaml(Vmsymtable) |
| = 9164664dac68a78436cd7507a8434bcd | ocaml(Vmvalues) |
| = 3d28bdf9a12019ed71e43b94228563d7 | ocaml(Vnorm) |
| = a3aad9bfe28cb3acd162133aee5934ea | ocaml(WorkerLoop) |
| = 09a9b6eb9859ab6dd7a677709c1f11c2 | ocaml(WorkerPool) |
| = af4d607b4dbe09d931cd3a2b78a84fe3 | ocaml(Xml_datatype) |
| = 1fae62e8555707a7ca16c9fd9212d7dc | ocaml(Zify_plugin) |
| = 5a6b40a818091d3d2ac5e9423624ab82 | ocaml(Zify_plugin__G_zify) |
| = 236a734feb8e96c2437c933d027b52a0 | ocaml(Zify_plugin__Zify) |
| = f9aaaf89fcd57dccc8fdcfd173f8936d | ocamlx(Abbreviation) |
| = 2a09f6499a4d6dacf52fc6720c611fd2 | ocamlx(Abstract) |
| = ef305e019ed899c6056e84d6fb24a1b7 | ocamlx(AcyclicGraph) |
| = eaca432a285c921a085f2c321a00d013 | ocamlx(Arguments_renaming) |
| = 910094d3f6f7dc5d35e695c0ba1eb109 | ocamlx(Assumptions) |
| = 6910f4b2d894e697efe555b6f59a9f6d | ocamlx(AsyncTaskQueue) |
| = 12505fa6067c61ab0ffa0cc91ed2a8f8 | ocamlx(Attributes) |
| = c6641cdb2e9777a26b8c700a1f271fed | ocamlx(Auto) |
| = 6b7c9f17d72e55f2390f498a253cc590 | ocamlx(Auto_ind_decl) |
| = 6b32c0cead8a97c2af7f18eee2b999ea | ocamlx(Autorewrite) |
| = 4196eae5f9ef45a66f698d00efaac2f6 | ocamlx(Aux_file) |
| = 8e31e5dcac590780e4b16782bfe4d1d9 | ocamlx(Boot) |
| = bc0c507b8b9dc3f10c55b76e891de19b | ocamlx(Boot__Env) |
| = f31f272a946b4c649846a092790b4936 | ocamlx(Boot__Path) |
| = 696661225f65414c6a299021480e5e6e | ocamlx(Boot__Usage) |
| = a014efe5f327fcb1a851790dbfd0282d | ocamlx(Boot__Util) |
| = 1207dd8bab364e24d4bd61740056fb23 | ocamlx(Btauto_plugin) |
| = 8385d86fd47a1a4f86a51020de1d2b43 | ocamlx(Btauto_plugin__G_btauto) |
| = 233c05a11cb511f8553ef6b26c843b21 | ocamlx(Btauto_plugin__Refl_btauto) |
| = 595f552f53f797dd76af12a5b24e2617 | ocamlx(Btermdn) |
| = c283a0f77b8df3491d4cbae050b76801 | ocamlx(CArray) |
| = 5c92de86f311d546570a591e7ac5e8c4 | ocamlx(CAst) |
| = 2ba873d4240ee5d56d2bdc3ed4dd162c | ocamlx(CClosure) |
| = b9801886d28063dd8fc43961dde81175 | ocamlx(CDebug) |
| = 2d4b0735190694300ae94061b4946479 | ocamlx(CEphemeron) |
| = 1284dff035d41340bc953753689409e4 | ocamlx(CErrors) |
| = b937a0d309ef3bfe1e86647a26f6edf6 | ocamlx(CLexer) |
| = 8dbde6359f78faf766a8eef408657daa | ocamlx(CList) |
| = b5fd7f64b325eb7eac68f6c0e2a2dd06 | ocamlx(CMap) |
| = 8c3f4afe1b5f75decfbced2b3d5e59c8 | ocamlx(CObj) |
| = a6ce064dec956494137054d0c4373124 | ocamlx(CPrimitives) |
| = 983aab42aff5f90f41894feecbb06b39 | ocamlx(CProfile) |
| = 92ab3e4bde3d06c9cee1ef2ede9fc294 | ocamlx(CSet) |
| = d41891d060af3446d0e198ca71795b32 | ocamlx(CString) |
| = b184ac70882bb2b154f99ec6055e20c0 | ocamlx(CThread) |
| = c91ca58c5d8ae29c22c1141ab08cb8e4 | ocamlx(CUnix) |
| = e7f3a499284c4784fe4fcfaa7cda9b36 | ocamlx(CWarnings) |
| = 0fb914e65650bf01615dc89a9ee5315a | ocamlx(Canonical) |
| = faa089e2aa6da3d6f11cb54fc3945cb6 | ocamlx(Cases) |
| = e8fb219a5aac2c336306040935f22bd3 | ocamlx(Cbn) |
| = a0032013099af06a4d4c622e5d023440 | ocamlx(Cbv) |
| = c76874a6c198370ad4fd8c5a1fe8fc3f | ocamlx(Cc_plugin) |
| = a5ff009e8136ce515db4d88badecd886 | ocamlx(Cc_plugin__Ccalgo) |
| = e6c77cd4c61f46528da6de245f7ee617 | ocamlx(Cc_plugin__Ccproof) |
| = f725fdd24b8a36204d8c8e2db6ed87db | ocamlx(Cc_plugin__Cctac) |
| = 7442b1896651d024d89832f874f571ae | ocamlx(Cc_plugin__G_congruence) |
| = 285a2bfad2003ba412ed9677c96c565b | ocamlx(Ccompile) |
| = b8b1c4c79f84f37e3b51dc9623623408 | ocamlx(Class_tactics) |
| = dedcd0655a229d8b14e2e3baa0d258d4 | ocamlx(Classes) |
| = afea485faf4873ca4d3bf06d9696246f | ocamlx(Clenv) |
| = 119a5451b25ef4d14fa78dedc9136575 | ocamlx(Coercion) |
| = 49672447a720dd7bbb1de2e56ff1db1d | ocamlx(Coercionops) |
| = f845d32debe00379e2bcb537745c320f | ocamlx(Colors) |
| = 86acc9773bd88c4279041c41e3b11c23 | ocamlx(ComArguments) |
| = a60ea86070146477eb3f46f9065af062 | ocamlx(ComAssumption) |
| = 1ce7b36bf0a7059938458f639b4b4389 | ocamlx(ComCoercion) |
| = cf91df8c76b7edbe74a170f71df3428a | ocamlx(ComDefinition) |
| = 46adc996de057f91e4dcebb36367ab63 | ocamlx(ComExtraDeps) |
| = effb09de45da8d57d71aef35db89080f | ocamlx(ComFixpoint) |
| = e60208abcc05aae92bf6ce14b9463dbc | ocamlx(ComHints) |
| = 1eb7f32bbb1aadebf7582603a7bfe691 | ocamlx(ComInductive) |
| = ddb54e7e60958a7e29387fa741da2c29 | ocamlx(ComPrimitive) |
| = d8ad84e13ac8742f1e95f9c72999a9ae | ocamlx(ComProgramFixpoint) |
| = 69e536f5e0de2aa2697eb66adeaf949a | ocamlx(ComSearch) |
| = 46dede4c5056281149569e0be2d1c0ba | ocamlx(ComTactic) |
| = d3d4f57fed7cef1b497fd04a05e4d3e7 | ocamlx(Common_compile) |
| = 91a36a5735e09582e57fc62de22fce50 | ocamlx(Constant_typing) |
| = 926261c12b5c9ac5b2bc884a7bc0f86a | ocamlx(Constr) |
| = dc8e3309c29403ced48e270575bd4788 | ocamlx(Constr_matching) |
| = f49d044c308d09ac095a8cce26775376 | ocamlx(Constrexpr_ops) |
| = f4694287694316a71468c9191e0b2318 | ocamlx(Constrextern) |
| = 1309895549caeef1b9e5b90645e94f1f | ocamlx(Constrintern) |
| = dc5a84314826a60fc8f3ca80559ad742 | ocamlx(Context) |
| = 118b38a6da4b00b8d0a4165e0bfb7b5e | ocamlx(Contradiction) |
| = aa3d31df6159a9e278be636d2c2cea2b | ocamlx(Control) |
| = 7fce0d5079c19d40979b61c638a0f5aa | ocamlx(Conv_oracle) |
| = 62f1fe7af5fc1606b46199e9775f0ff9 | ocamlx(Conversion) |
| = aa35dd8a2416efbe28a7f7118c90d98a | ocamlx(Cooking) |
| = 873bb43fee3dfc9179402bffdc397840 | ocamlx(CoqProject_file) |
| = 40f0100f906761cedf29e0de9d51df34 | ocamlx(Coq_config) |
| = 3dd8661c186c9e09dfdd23a160d13125 | ocamlx(Coqargs) |
| = f0bdd14026ac2cc43ce6f18a083dc81d | ocamlx(Coqc) |
| = c41e7ec9660185aa7c88be61a1a15988 | ocamlx(Coqcargs) |
| = ae38006cc50379651eedfeb2a72c4ce2 | ocamlx(Coqinit) |
| = d1eab14f0ef1a798308ac85ce2cd77af | ocamlx(Coqlib) |
| = 8564f745a5ba5b18ee6b34594a205165 | ocamlx(Coqloadpath) |
| = 1c6531c3bc60183ee38745df9d5ac29e | ocamlx(Coqloop) |
| = ea50d8229da05ffbf46a17cb32376c9e | ocamlx(Coqrc) |
| = 2b4a78cf58850082d11e1d0f6a81ca0c | ocamlx(Coqrun) |
| = ca10205e8ea1b81173f8655aad7353cc | ocamlx(Coqtop) |
| = 890bd3a54b49b34a490759e37c5e84f4 | ocamlx(CoqworkmgrApi) |
| = 17ecfc7895c793fc88edccfd3179d225 | ocamlx(Core_plugins_findlib_compat) |
| = 56a8affdcb2c3c7907650e41405aa9e3 | ocamlx(DAst) |
| = 19959d29649df3645ca32d162d20e60c | ocamlx(Dag) |
| = 1d9cd75e270804cfb46684c1bcdf2155 | ocamlx(DebugHook) |
| = 7a645079774bcaa9073fb29ad1081197 | ocamlx(Declare) |
| = 9d35dff0c11e4a57d7240d56fe061434 | ocamlx(DeclareInd) |
| = cc63cf3b13ce109edf8d4e941e4231b5 | ocamlx(DeclareScheme) |
| = 6e6b4000959ee3b7e0eb5a7c5d86781e | ocamlx(DeclareUctx) |
| = ce75bfe20c71712f64cdfb1cd2dd7821 | ocamlx(DeclareUniv) |
| = ab386253011e87c6c50d18898412d3d4 | ocamlx(Declaremods) |
| = 5b97f773c4b987e6ccb3dd6eafbbe600 | ocamlx(Declareops) |
| = 035ab26c22eea40105cf9dd332864aa9 | ocamlx(Decls) |
| = 3dd928ca7545ab97171be59044ace3ac | ocamlx(Deprecation) |
| = ecb3b7b7d1c9a9760209551b4015d3ab | ocamlx(Derive_plugin) |
| = 199a2b299d1fa2e322d25e1aa7e3014b | ocamlx(Derive_plugin__Derive) |
| = 7457282992696f02d432889b3cfed2e4 | ocamlx(Derive_plugin__G_derive) |
| = 2f204a853974c452b421c8e815eec9c8 | ocamlx(Detyping) |
| = 8be61045569e6cb9c7447fcdc78c6675 | ocamlx(Diff2) |
| = ab419c657407c83b918c74c506493b0a | ocamlx(Discharge) |
| = d1cb1e5e1a91175da9ad236a4712c58c | ocamlx(Dn) |
| = 32671726f5c49e849887c14f0d98aab4 | ocamlx(Dumpglob) |
| = 832f33f7564b4808b24bb38c37eb2d8a | ocamlx(Dyn) |
| = 1a177b864683f30c48021359a06d544e | ocamlx(EClause) |
| = d3bd11786e25b9bd3d62347b4a850486 | ocamlx(EConstr) |
| = e33e93cfb170c2b6b2d1ce3c85c25018 | ocamlx(Eauto) |
| = 7ae765c61ba39fb6f7c08c4484b2f80f | ocamlx(Egramcoq) |
| = c829244260bf9480f3487215c743dea4 | ocamlx(Egramml) |
| = 268a494572d5cc2fc4a20599d0ffbfa0 | ocamlx(Elim) |
| = e40278906b82823371813b83208d6750 | ocamlx(Elimschemes) |
| = f9e5bb0d610ec6c4e990c716c5b80115 | ocamlx(Envars) |
| = f58d0376ea34872df1dfb9e143bfd039 | ocamlx(Environ) |
| = de96c39f60fa188b07c605db94c32d77 | ocamlx(Eqdecide) |
| = 87f88d82f68e0a64c3ca7090a3523022 | ocamlx(Eqschemes) |
| = 6274ad5a6cb28bf7cf8d3dd362bb2dbb | ocamlx(Equality) |
| = 768d16d133c8f9b79e4c374a96320a38 | ocamlx(Esubst) |
| = 50020a3a780c4a20f9d0ad96d1caf6cc | ocamlx(Evar) |
| = 5cc27c0ad54960c8c4ef973c80c1d34b | ocamlx(Evar_kinds) |
| = 7fd70f5da27e97918145ca8b0eaeef8b | ocamlx(Evar_tactics) |
| = 4c92bcc200166ead51ea2fb092ee57fd | ocamlx(Evarconv) |
| = 0745cdda664ecee212a656fb1a7106bf | ocamlx(Evardefine) |
| = caf5af92f13231860aff286a25d43db1 | ocamlx(Evarsolve) |
| = d931521a91710a01696f337d79db815e | ocamlx(Evarutil) |
| = 273a65caf2d4f00da997691c08982cf8 | ocamlx(Evd) |
| = eb4df81e306597953871daed2ed2174e | ocamlx(Exninfo) |
| = b693900bc42f3efa023c73b9ceb041ca | ocamlx(Extend) |
| = 259c11fa59d2062a205c7b86c10273f7 | ocamlx(Extraction_plugin) |
| = d4a00bdb8bb447ffbe790712392a9428 | ocamlx(Extraction_plugin__Common) |
| = 9bd4299d3215a379c3262fc1b2ffceca | ocamlx(Extraction_plugin__Extract_env) |
| = 7095e430003f03f91d1c5390e4fd930d | ocamlx(Extraction_plugin__Extraction) |
| = ca3cd268a3d3df8113bdb3d8fe029e78 | ocamlx(Extraction_plugin__G_extraction) |
| = b63999501fbb68815a70e1ee254b780b | ocamlx(Extraction_plugin__Haskell) |
| = 8b03ab61ad8dcc6b8c53c7bb3aa041a5 | ocamlx(Extraction_plugin__Json) |
| = 299ac982b62ba5495ae89447fce2a4bf | ocamlx(Extraction_plugin__Miniml) |
| = 11cdf3d4d0fd915bea416e07f9346f62 | ocamlx(Extraction_plugin__Mlutil) |
| = 2dc173d17abe51665f20b3740da8d765 | ocamlx(Extraction_plugin__Modutil) |
| = 04d6c2ab9bb7af05d826a61ce0e6a622 | ocamlx(Extraction_plugin__Ocaml) |
| = 4a61a94e67cdcc753600ec28ab30eac4 | ocamlx(Extraction_plugin__Scheme) |
| = 31a4e38dafd7fd5aa00fa4456d48fea3 | ocamlx(Extraction_plugin__Table) |
| = e1f1b1347698764c752eb331016f1f2c | ocamlx(Feedback) |
| = 8ec1ea86d4db25c04cfc59b90a4a2f74 | ocamlx(Find_subterm) |
| = a155f8ce8c15ac659512287233f686e2 | ocamlx(Firstorder_plugin) |
| = dc0519a8489b7ba8e2a57e7a8b6baf74 | ocamlx(Firstorder_plugin__Formula) |
| = b7fc9ed3e5d7f4e7e78ce48bae25cc7b | ocamlx(Firstorder_plugin__G_ground) |
| = ee7c6d2d6ece7857e9ef0e54ae801cdf | ocamlx(Firstorder_plugin__Ground) |
| = 7feb5f76a73d447e24d3f90535e0dc14 | ocamlx(Firstorder_plugin__Instances) |
| = 7a1860b68564cc05a2c613e48702e1dd | ocamlx(Firstorder_plugin__Rules) |
| = 5c5470e7c0e5d1b07d7f23fcd35cb770 | ocamlx(Firstorder_plugin__Sequent) |
| = f8dbbade316555bb188db3a6beb442a5 | ocamlx(Firstorder_plugin__Unify) |
| = afd99d8f3cd8bab00628fa56aecb8559 | ocamlx(Flags) |
| = b80fa132d7fe71ac90c5113bf73b1bb8 | ocamlx(Float64) |
| = 191adc16e76cab9113a6b3b299e1a6ce | ocamlx(Float64_common) |
| = 42fae1fdebc1f7d59214b6a04a9cbfc4 | ocamlx(Ftactic) |
| = 94892241b930ac852c200aab6ded82a2 | ocamlx(Funind_plugin) |
| = 2a43606e8add6053d2b839e92c3011cf | ocamlx(Funind_plugin__Functional_principles_proofs) |
| = 30773b64897fc432e7119fcdc04696b1 | ocamlx(Funind_plugin__Functional_principles_types) |
| = 1d93f1f34628f31b50888ee902e324c6 | ocamlx(Funind_plugin__G_indfun) |
| = 4334673afcc0ef28973967923dc5b867 | ocamlx(Funind_plugin__Gen_principle) |
| = 94377da19b3fdc5b10d07adeb1a8faad | ocamlx(Funind_plugin__Glob_term_to_relation) |
| = 1462b93eb7e19df5abe84936f1d4513f | ocamlx(Funind_plugin__Glob_termops) |
| = 964a6fde36b4293b71ca088c3f12bbf2 | ocamlx(Funind_plugin__Indfun) |
| = f0d37bf4d7c0248e01e1f9b6c98ce041 | ocamlx(Funind_plugin__Indfun_common) |
| = 669eafd5cf348a1336cbb4933cb770f9 | ocamlx(Funind_plugin__Invfun) |
| = 605de9bc7a0678116ef461fcacd7e6d1 | ocamlx(Funind_plugin__Recdef) |
| = 55a602d9ba289b11cca2b89b3bcc3859 | ocamlx(Future) |
| = d9f223bedf3907957d8fad3c376a77b1 | ocamlx(G_constr) |
| = 0a1d7f96e6c5da95fd0e82840013c1a9 | ocamlx(G_prim) |
| = 17f0e48202647cac53f9fc9f8d1e6bc8 | ocamlx(G_proofs) |
| = f302ba95b1fedd84ee30f6da3580a511 | ocamlx(G_toplevel) |
| = 062a4d65658b1233e5c5ce5bfccd5365 | ocamlx(G_vernac) |
| = 739f3319fbb5fa7bda62298c8bdd56f7 | ocamlx(Genarg) |
| = 11957e094eb6e2d5d2b3f8570a869b4a | ocamlx(Genintern) |
| = 1c1c15671d1ad5912ccae4a4cbd6db3f | ocamlx(Geninterp) |
| = 0de3003d6e212101b3a4ca7626b9cd5d | ocamlx(Genlambda) |
| = e8c9e0f46dd7d16306855aa33a3a06ef | ocamlx(Genprint) |
| = d8b373be994e62472fac38cdc1857583 | ocamlx(GlobEnv) |
| = 3bf5cb24e47684851cf4c1a0fe9cca8d | ocamlx(Glob_ops) |
| = 5803946767387d9b2cda977ea313d4a4 | ocamlx(Global) |
| = 158443725afeced00e4a4e8290670591 | ocamlx(Globnames) |
| = 5b22190d598de0463e102fe921ac1e0c | ocamlx(Goal_select) |
| = 888bb18c9e57eee4c5d48c5a5667c0b8 | ocamlx(Goptions) |
| = 6562f921d0a8d20b78de8ac2dc791f0f | ocamlx(Gramlib) |
| = b18b4fff02caa54d015a82d2912e93b2 | ocamlx(Gramlib__Gramext) |
| = c13c6e4e5cff9a27ce030516eed20b51 | ocamlx(Gramlib__Grammar) |
| = 7b6df838ea172a1def89eb4ef5390e9d | ocamlx(Gramlib__LStream) |
| = 09815ac0f263ccac23e54cbee974920a | ocamlx(Gramlib__Stream) |
| = 39fe4a6915a88e66d8339e425a333a6c | ocamlx(HMap) |
| = cfc47b3ad5b6eae181e51257373a3dee | ocamlx(Hashcons) |
| = 469c6a6875ba78158ce276241cf2699a | ocamlx(Hashset) |
| = 3c26c9a86ad00ba328d7bd69d55a0f85 | ocamlx(Heads) |
| = 53034515cece58d3f2321b8ba3555860 | ocamlx(Heap) |
| = 600cb5b5c3c4c264fcb99dd33fb9421d | ocamlx(Himsg) |
| = 1f6bed9756e1a04850b8811967a3d779 | ocamlx(Hints) |
| = c0e9f1e93a86b893e752254b9fa337f1 | ocamlx(Hipattern) |
| = f521bc0d917c73b1821de9bc73dcba7e | ocamlx(Hook) |
| = ee7490c5c8bce0d573cede66b2d01ffd | ocamlx(IStream) |
| = de25def2d1056e33d4b80d17a9fd5758 | ocamlx(Impargs) |
| = 0663073c100bf297bdafcd96c6663fb5 | ocamlx(Implicit_quantifiers) |
| = f8827ce72842dfad371229df86420bb9 | ocamlx(IndTyping) |
| = 6e6a942a94459663f22016f30e31f112 | ocamlx(Ind_tables) |
| = 7857eef1df2df3dbf54aea632d663bf9 | ocamlx(Indrec) |
| = a45cf01da7b59966f730cc7c5d12e9e9 | ocamlx(Indschemes) |
| = 79bdc608d5290334d64ac02832412f95 | ocamlx(Indtypes) |
| = f8173584b1ec75aa6a4350aa58bc8496 | ocamlx(Inductive) |
| = 64221bb566c93b377b61909e40ab8dc0 | ocamlx(Inductiveops) |
| = 8e955192e8697f3ff77380c0fffcba0f | ocamlx(InferCumulativity) |
| = e9d99b8c9341bcea891f3c402ddac40a | ocamlx(Int) |
| = 08babd6fb0464e6b9b4d2a6aa3a4b9e5 | ocamlx(Inv) |
| = d5be72eb15346574c70b54fb78a29a4b | ocamlx(Keys) |
| = a3947fe996bf71b174d973af77985213 | ocamlx(Lib) |
| = 979167032073e69a4757eb40ca3c5441 | ocamlx(Libnames) |
| = 92e86fd51e2f06e4d4a4ce19d6acf5a1 | ocamlx(Libobject) |
| = 6ecd0c0a9f7c79f2700259ffbb93c897 | ocamlx(Library) |
| = df280ef04a9d8991d5ec7ec7b515e5ab | ocamlx(Load) |
| = 088fb5c3a0cd1f0d040e888664480250 | ocamlx(Loadpath) |
| = d72bc3186cc4f53772f41868e2d0689a | ocamlx(Loc) |
| = e2e8afc7782688e43e202b5dcc074431 | ocamlx(Locality) |
| = a73a9c86b723f3b3112c3dbc81fda376 | ocamlx(Locusops) |
| = 2bdee53ac5e2c4a62406652bc56692c7 | ocamlx(Logic) |
| = 5e82f53ebb9a585a39a67c15675df824 | ocamlx(Logic_monad) |
| = 64aa83c31ddb361405addf42ed801a86 | ocamlx(Ltac2_plugin) |
| = 0b3560894bd764adcf91d25a9d94131b | ocamlx(Ltac2_plugin__G_ltac2) |
| = 55e1eb3869bfdd207f160db41e1c4d6f | ocamlx(Ltac2_plugin__Tac2bt) |
| = 688f011f6cb3510288387fa034e07c5c | ocamlx(Ltac2_plugin__Tac2core) |
| = cad2d2a6fe8a4022c114a92bc72e4a81 | ocamlx(Ltac2_plugin__Tac2dyn) |
| = 09ca80505f24cac045f6c77f62dbbc14 | ocamlx(Ltac2_plugin__Tac2entries) |
| = ba24e00d44d213ef3f36f0f908c46394 | ocamlx(Ltac2_plugin__Tac2env) |
| = a3910491bc5b9414c51be5d2f039f411 | ocamlx(Ltac2_plugin__Tac2extffi) |
| = 780428b073e071d4590e3164930e69e1 | ocamlx(Ltac2_plugin__Tac2ffi) |
| = 7f6205ec87f4b32e6aeb709a22db81b9 | ocamlx(Ltac2_plugin__Tac2intern) |
| = bc9cc3d6ed70cee28eb4ec1b61f9da90 | ocamlx(Ltac2_plugin__Tac2interp) |
| = 9991a5b4e39fb25ad992fa69c55dd0b9 | ocamlx(Ltac2_plugin__Tac2match) |
| = a9645e70b62e10fb75a39d89ec7b6ad4 | ocamlx(Ltac2_plugin__Tac2print) |
| = e360bd3dfd47624c779b9166b1f18d34 | ocamlx(Ltac2_plugin__Tac2quote) |
| = c7832382d58f4d6d0a3a48e3c5153bec | ocamlx(Ltac2_plugin__Tac2stdlib) |
| = f149c34fe9152e69d85a892f928d60cb | ocamlx(Ltac2_plugin__Tac2tactics) |
| = f833d6d0306c33981d7dbf91b3900963 | ocamlx(Ltac2_plugin__Tac2typing_env) |
| = 02343b0ffa8d367824fc4a42f1e8ec99 | ocamlx(Ltac_plugin) |
| = d6b78a9cf4127e191e37ad8e9d041206 | ocamlx(Ltac_plugin__ComRewrite) |
| = 629bca09a90a8449acc591dabe4febb5 | ocamlx(Ltac_plugin__Coretactics) |
| = d9942286a70445380f59294a9387b78a | ocamlx(Ltac_plugin__Extraargs) |
| = 633262f31cfc6e1a791b7df4553e1336 | ocamlx(Ltac_plugin__Extratactics) |
| = 2ea09fa8a99dbd8ec08ba846dff15e65 | ocamlx(Ltac_plugin__G_auto) |
| = c3c70293436e66df0bfd015158c413fd | ocamlx(Ltac_plugin__G_class) |
| = b6d552dd3010d1cffe3f0c29d220b482 | ocamlx(Ltac_plugin__G_eqdecide) |
| = bff739c02ddc56a656376c5eac2726c7 | ocamlx(Ltac_plugin__G_ltac) |
| = 4a6779b06721a548cf97b61e3256080d | ocamlx(Ltac_plugin__G_obligations) |
| = e933f0f095651ae02c778e2624709cfc | ocamlx(Ltac_plugin__G_rewrite) |
| = e6fe1b4a8bb33e32fcf6e11e357b01cb | ocamlx(Ltac_plugin__G_tactic) |
| = b79d94b43f32ce5e3a59acf37a3ccc5b | ocamlx(Ltac_plugin__Internals) |
| = 205ce5482c54f2adfecc68bd7eee2afe | ocamlx(Ltac_plugin__Leminv) |
| = 36276c3d51cf1b24a634f69f459bd510 | ocamlx(Ltac_plugin__Pltac) |
| = 93b6c0c382ed7b4da35e45f7ecc62912 | ocamlx(Ltac_plugin__Pptactic) |
| = c99df95ab7aec554c25ca2a37040b578 | ocamlx(Ltac_plugin__Profile_ltac) |
| = c8346cd141d7827d8d67123cd8916613 | ocamlx(Ltac_plugin__Profile_ltac_tactics) |
| = 94f54b87359d7e60c1c3cbd50d2874dc | ocamlx(Ltac_plugin__Tacarg) |
| = eb40a143fbad5982d2c9ca986469de33 | ocamlx(Ltac_plugin__Taccoerce) |
| = be2c30f9154cd5f228064e954f322449 | ocamlx(Ltac_plugin__Tacentries) |
| = 3c22082e253a0889ece0c54065878f36 | ocamlx(Ltac_plugin__Tacenv) |
| = 0e01fd2b4e3208c3f61d88addb84a088 | ocamlx(Ltac_plugin__Tacexpr) |
| = a2092fc9b5b17a5ea6610bf999109ab6 | ocamlx(Ltac_plugin__Tacintern) |
| = b4ffa3927711c42894f44c306ff91fcf | ocamlx(Ltac_plugin__Tacinterp) |
| = 3bb507df5f9afe696e5a1d1fe4543d23 | ocamlx(Ltac_plugin__Tacsubst) |
| = 97673204e544091a2ada7779c9a40e64 | ocamlx(Ltac_plugin__Tactic_debug) |
| = d0e798c3d8f42f3b62c318c743a40c46 | ocamlx(Ltac_plugin__Tactic_matching) |
| = 6550fa6ff9e205cf04b9d8044956817b | ocamlx(Ltac_plugin__Tactic_option) |
| = 529bf4e33bee1f9d039f40dad39a0f0a | ocamlx(Memtrace_init) |
| = fbabb8ad958fd534a5e2470b0ba7c1a5 | ocamlx(Metasyntax) |
| = 3f5f2d6b4ec976d757321e1840be34d0 | ocamlx(Micromega_plugin) |
| = 92c0ef00990514f3789e3d050b91276a | ocamlx(Micromega_plugin__Certificate) |
| = 95db6da4c524b8bdfd6c6878b24e45ec | ocamlx(Micromega_plugin__Coq_micromega) |
| = ebd32f75e8ba68aa11f8e27737e0f9ae | ocamlx(Micromega_plugin__G_micromega) |
| = a7425d830fd51c970f3800963b70b9bf | ocamlx(Micromega_plugin__Itv) |
| = 837b425aa20a78f2c786a1ca73035d3e | ocamlx(Micromega_plugin__Linsolve) |
| = b33e566cf0af525e853078ce58b61b0c | ocamlx(Micromega_plugin__Micromega) |
| = bb1d15abe58d6c36547501b42f9efb08 | ocamlx(Micromega_plugin__Mutils) |
| = dc28b29a1b6a50c12d367ce716e382cf | ocamlx(Micromega_plugin__NumCompat) |
| = a1c2782c88bcfeebd6cf14be00aa589d | ocamlx(Micromega_plugin__Persistent_cache) |
| = 195e83141bd63d15eb4777e6c8d17b33 | ocamlx(Micromega_plugin__Polynomial) |
| = faed8bf36fea0a0ec6b3653052dd34a6 | ocamlx(Micromega_plugin__Simplex) |
| = cc585eb9e15e0c3320b14e30731f2cea | ocamlx(Micromega_plugin__Sos) |
| = 1cf739dc6be486e88cd0d15af812a0c6 | ocamlx(Micromega_plugin__Sos_lib) |
| = 4c69a3dcfcabb00f48bab8bc2844a0da | ocamlx(Micromega_plugin__Sos_types) |
| = 673f0445364553b3f9c6f87f72bc0ee4 | ocamlx(Micromega_plugin__Vect) |
| = 1c5cadd0b4122f4c7e16f3931a713e37 | ocamlx(Miscprint) |
| = 711b45d4e83bef9ce1d0b7d4c9380f1c | ocamlx(Mltop) |
| = d878351e2b419d4b11062df0ac908901 | ocamlx(Mod_subst) |
| = 162c63dbef8060711df2266b0c8caa6b | ocamlx(Mod_typing) |
| = 0e5e73cc05751c17f196a3dfc0c7f34c | ocamlx(Modintern) |
| = f56265b19a7f606ec1aa4a9132fec41e | ocamlx(Modops) |
| = 1531fd625fcbfec0386bc4416a03b238 | ocamlx(Monad) |
| = 474c79fc3960d0d085f3c73b1945c3d9 | ocamlx(Namegen) |
| = 121885b44cb4e55992732270d06feb95 | ocamlx(Nameops) |
| = 785ca50d662b3c0f661e8a3f6f09b469 | ocamlx(Names) |
| = 18635ca6f9d88a4993408590b253b0f5 | ocamlx(Nametab) |
| = 509ef19ac14a37ba730b86656e5efb5d | ocamlx(Nativecode) |
| = 8849d3a80449900e6e7e630aceedb052 | ocamlx(Nativeconv) |
| = e01c8e97def204a7c8b7c23fd82deebe | ocamlx(Nativelambda) |
| = 17e03029eb74c81ffd6b09442b45f1f7 | ocamlx(Nativelib) |
| = 4655ecca015a67eb9040c13ca100b21b | ocamlx(Nativelibrary) |
| = 78b13372a7be4c5176e986d75da34c40 | ocamlx(Nativenorm) |
| = 3c2ad311235669cbdc67e989300115da | ocamlx(Nativevalues) |
| = 5d6354b31d34358bcb2f2711bd16a44c | ocamlx(NeList) |
| = 37245b8908e6f3eed2a658f9e63eb1cf | ocamlx(Notation) |
| = b8c0f7ddb818d97f235f6fe522221f9f | ocamlx(Notation_ops) |
| = 99fb69810003d824fb3c4f6cdd45e80e | ocamlx(Notationextern) |
| = 75950b0ceb6de53191447c64eeb02ce2 | ocamlx(Notgram_ops) |
| = d6a001c21181e7ec3d72b159cd21f753 | ocamlx(Nsatz_plugin) |
| = 1ac6c2382a3f3c3d429c91ba51e43762 | ocamlx(Nsatz_plugin__G_nsatz) |
| = 6b7a5b052017377d429b1213e0224134 | ocamlx(Nsatz_plugin__Ideal) |
| = 7cc4bdb014b6162bee1f402ce2e84455 | ocamlx(Nsatz_plugin__Nsatz) |
| = 2c3426fcb5a25989c7ff9dfb5b68310a | ocamlx(Nsatz_plugin__Polynom) |
| = a6ca30d3cf30372d26975bb27b6b920e | ocamlx(Nsatz_plugin__Utile) |
| = 7b11f2547df4c323846f584fbbc8061e | ocamlx(NumTok) |
| = cbb44bb171253e8f46928a4abc7ef06f | ocamlx(Number_string_notation_plugin) |
| = 3f7ed017c9f52862d657296e6fa28dad | ocamlx(Number_string_notation_plugin__G_number_string) |
| = a3b623f371d8f6e3087c1b616ca84d80 | ocamlx(Number_string_notation_plugin__Number) |
| = 7073ee8531601186bca8b03d6bb54477 | ocamlx(Number_string_notation_plugin__String_notation) |
| = 6cd7c6d1df390b2322440b3d5dd589ab | ocamlx(ObjFile) |
| = e5e4462841a774d08b5a3800945b711c | ocamlx(Opaqueproof) |
| = 6908f0ee78005844e3c4e576b8c52bbf | ocamlx(Opaques) |
| = df5eb2d73fefed70260934356ff58707 | ocamlx(Option) |
| = 2163d7fcc88818c7b14eb73574fc89cc | ocamlx(OrderedType) |
| = 78ea2a8f326efb9cbddb9a0ccd0801f1 | ocamlx(Parray) |
| = ec1b716a4b605cd41c1caf71d6ea939c | ocamlx(Partac) |
| = f964d1a8acd50941fcafce97a4f0e56b | ocamlx(Patternops) |
| = b1c473551dfc4502e2f9fd0f0cbdcc17 | ocamlx(Pcoq) |
| = 94b7823fd36144450275ae3fdde83959 | ocamlx(PolyMap) |
| = 419fdf7aff0a53196f149e576ae4bb8c | ocamlx(Pp) |
| = 5e4a93cfb5099a48d716e33332ca9ea6 | ocamlx(Pp_diff) |
| = 0cdcf894aee4ddce9b8aecf14c0e1434 | ocamlx(Ppconstr) |
| = e03069eac4fc3270544368fc505508aa | ocamlx(Ppextend) |
| = d826a922e28ef3309b10ea8e219197a6 | ocamlx(Ppred) |
| = f52d4126b07460e3171af105d47b3dd7 | ocamlx(Pputils) |
| = b64c99904f56cc10e26985f86abfa129 | ocamlx(Ppvernac) |
| = ab67d36eefa4d91ba66178d4d82a478f | ocamlx(Predicate) |
| = c1b13e5428b6886b721c60c806053104 | ocamlx(Prettyp) |
| = d69d73218594b18d2603be4a6a5a7606 | ocamlx(Pretype_errors) |
| = e8e607b729ff7a99fecfb19e06942e3b | ocamlx(Pretyping) |
| = dc772f96e26af5ce610450fbc99dcf1c | ocamlx(Primred) |
| = 0a6534312d63eb037825038a90005238 | ocamlx(Printer) |
| = 67dd9e37431064c400957c010bad9d4b | ocamlx(Printmod) |
| = 473d203e3bd044f72ecaa5e410ec4a8d | ocamlx(Program) |
| = 51aeb1ce0ea2c0ebe78d89113df7f78f | ocamlx(Proof) |
| = 77a97cfb3cda6924613c12f08e7d19d5 | ocamlx(ProofBlockDelimiter) |
| = a321838d27a0594b134f303609528fca | ocamlx(Proof_bullet) |
| = 17a207e67db8becba6a14f30a322f460 | ocamlx(Proof_diffs) |
| = e4291c36db5e06086e0033c1bc2d51dd | ocamlx(Proof_using) |
| = bd0bdf448258674ca1adf4e5bd039c3a | ocamlx(Proofview) |
| = a4d617ef117433f7ba6058d76d054d3d | ocamlx(Proofview_monad) |
| = fdaba1f08ade8e71c01f7f27fc268343 | ocamlx(Pvernac) |
| = 3ab33b6768b6bd01171e9efaa5868197 | ocamlx(Range) |
| = eb1300797126ac8f4b65feca12d2b4b7 | ocamlx(RecLemmas) |
| = a15425eb95b7f130b6161476bdee043a | ocamlx(Record) |
| = 2610df621303dd4575c74201723ad3d4 | ocamlx(Redexpr) |
| = 6257b021f1a835c03f3cdd326d9909f4 | ocamlx(Redops) |
| = 59ea32e168d417819f1f1e7792be2054 | ocamlx(Reduction) |
| = 9e5ebdb507d1d2049b9c378a75575c68 | ocamlx(Reductionops) |
| = c901e779b5579c9d5723dfcffa6bf029 | ocamlx(Refine) |
| = 7f5db6bf35018027c5187fcb7390bd8e | ocamlx(Relevanceops) |
| = 82989b0d661de5ed7fc1544439033fb3 | ocamlx(Reserve) |
| = ef088d40699737abe19db795869632e6 | ocamlx(RetrieveObl) |
| = f6f85197e83f77b5c41746feccf7ea3f | ocamlx(Retroknowledge) |
| = 550faab82d95a1b6e992ac4b97ef2897 | ocamlx(Retyping) |
| = e57c646f636b201a30f1da94089835ec | ocamlx(Rewrite) |
| = 065879c531fd1bd28a924e5ad52851dc | ocamlx(Ring_plugin) |
| = b10ad3a834e473e085e2e802046be490 | ocamlx(Ring_plugin__G_ring) |
| = b0dbb9ab8a3b6a0e489c4dffb848b1ed | ocamlx(Ring_plugin__Ring) |
| = 032bce14b9d8d41aed27073802634b43 | ocamlx(Ring_plugin__Ring_ast) |
| = 48551cc3964c7847c352af7c93d98c9e | ocamlx(Rtauto_plugin) |
| = 95445635c4a00d03836dda20bdedcca0 | ocamlx(Rtauto_plugin__G_rtauto) |
| = 0a22b18f75f6e646d67505e1aa43bc2e | ocamlx(Rtauto_plugin__Proof_search) |
| = 86cbed41814e95d71387dd5daf28b4a8 | ocamlx(Rtauto_plugin__Refl_tauto) |
| = 78c49df5d574515d80c7db6946d5bf7f | ocamlx(Rtree) |
| = d0f944bace0156dbba61bcedfbba80dc | ocamlx(SList) |
| = bd5dc8331c44551fa4073c57b82cd24a | ocamlx(Safe_typing) |
| = 3326dc66d842828e6522ca27d45304da | ocamlx(Search) |
| = 5279f445d22dbd84e24b68fc5e0816b3 | ocamlx(Section) |
| = f21f1b28099ba9db638e2bb02915a529 | ocamlx(Segmenttree) |
| = a6f517b0f0f2efcc425e5b96aef66e08 | ocamlx(Smartlocate) |
| = 2a062897e4b871c222f2ad2fba9fc6d2 | ocamlx(Sorts) |
| = 364038e96dc45d7fc8935e3a95af4d39 | ocamlx(Spawn) |
| = ed7e4cfccda3dca18d8af2d73a21876e | ocamlx(Spawned) |
| = ba1e1ca748309cf1352dbf0a6f816a09 | ocamlx(Ssreflect_plugin) |
| = 11832c80467dc96c6e7e7ec6c75c7ceb | ocamlx(Ssreflect_plugin__Ssrbwd) |
| = 0a1aaeccec76e09a21f181ce502e3900 | ocamlx(Ssreflect_plugin__Ssrcommon) |
| = f1659ae0763b444c2ffe8ad82d00f5df | ocamlx(Ssreflect_plugin__Ssrelim) |
| = 649165463551d22b8508c996149418c8 | ocamlx(Ssreflect_plugin__Ssrequality) |
| = f0879bc3c79cfb08d75641e2438d8e0b | ocamlx(Ssreflect_plugin__Ssrfwd) |
| = 656b681354d329afc2533d7363c268ba | ocamlx(Ssreflect_plugin__Ssripats) |
| = e467b6406214cd2793e370189a3ff0b9 | ocamlx(Ssreflect_plugin__Ssrparser) |
| = a9d522156af530780ea2d4c6d2278bb0 | ocamlx(Ssreflect_plugin__Ssrprinters) |
| = d5ba897c1cb2da6ab2e4d5c010b9f2cf | ocamlx(Ssreflect_plugin__Ssrtacs) |
| = 2165154c5e60447a2b722a61b3a6f3a4 | ocamlx(Ssreflect_plugin__Ssrtacticals) |
| = bd70c5f51e2efd22de761bf38d691a68 | ocamlx(Ssreflect_plugin__Ssrvernac) |
| = 81d289fe721e849743da7f57de9d38e7 | ocamlx(Ssreflect_plugin__Ssrview) |
| = 3e4bd3af8fadf1b346d063ea3bfa6f8f | ocamlx(Ssrmatching_plugin) |
| = b40db50c11eecd29dd8da05dd3e0929a | ocamlx(Ssrmatching_plugin__G_ssrmatching) |
| = 21a6613d4cc99696415050af80e6ed02 | ocamlx(Ssrmatching_plugin__Ssrmatching) |
| = 8a6cfa1023aa999633213c8ccbc3b77d | ocamlx(Stateid) |
| = 0e4cb886eca10928e348477a9ba04a31 | ocamlx(Stdarg) |
| = a08c6b5d352d2f57957ef96e8a286912 | ocamlx(Stm) |
| = 72bb85a6d78de5403aff8884d7119315 | ocamlx(Stmargs) |
| = 7a6414c41956de3e4e739e527f88c18c | ocamlx(Store) |
| = f8e5a9e5f16683d10b0802b198a7ff2f | ocamlx(Structures) |
| = d245b3013a970524a7de758266abe430 | ocamlx(Subtyping) |
| = 67be684190e306e7bb1aebd1a7cc0dd7 | ocamlx(Summary) |
| = f4a675a1d2a8d4b675c03d81729c87e9 | ocamlx(Synterp) |
| = 2e97e27e9538e9f6bdd679c8f507b5b2 | ocamlx(System) |
| = f7f6e860d725a443e796b86bdd23f510 | ocamlx(TQueue) |
| = 68761a3e60ca53cba7c70dd2a8dab2a5 | ocamlx(Tacmach) |
| = 3ddd18122dd2c2c354e29531bf138db6 | ocamlx(Tacred) |
| = 43ac0042ff03c2f9e4f77ba05be15b20 | ocamlx(Tacticals) |
| = c1dd16e3ba662e744e4416a97cec1af6 | ocamlx(Tactics) |
| = 9b46771c5cc8587f0ebb0b3d8595f6ad | ocamlx(Tauto_plugin) |
| = 07788ccb9e08629776604a0eb8ab5dbc | ocamlx(Tauto_plugin__Tauto) |
| = 40653e33b46a8900003ce640050f5a51 | ocamlx(Term) |
| = dc2f054a79a7003b3463e64b3de01843 | ocamlx(Terminal) |
| = b24cee45276a25694c4c0ff2fcc93eeb | ocamlx(Termops) |
| = b80c78d31d9d9fd5e6e1e6bcc24829fb | ocamlx(Tok) |
| = 5e80cdaadf77896f80ac744a496ed132 | ocamlx(Top_printers) |
| = 2c9d3b9fdce188065b36ac8474d1eabf | ocamlx(Topfmt) |
| = da5557a7124df6c408f1be20d035e448 | ocamlx(TransparentState) |
| = 3895062cc3abedbc3247191ea017dee9 | ocamlx(Trie) |
| = d55fcc9f2afa7dffd2497681d3c6b09a | ocamlx(Tuto0_plugin) |
| = 517b13e6fa335bb2d226c55408224a5b | ocamlx(Tuto0_plugin__G_tuto0) |
| = 302bcd872753aa64110ab842be687178 | ocamlx(Tuto0_plugin__Tuto0_main) |
| = ccf288980a0f3ac5c2518d2d7a60ffb6 | ocamlx(Tuto1_plugin) |
| = 5889ab61bbd4e9e89d9f7903da94b75d | ocamlx(Tuto1_plugin__G_tuto1) |
| = b841df3a5e05b580062a8556b5e535da | ocamlx(Tuto1_plugin__Inspector) |
| = dcf31887a3b91ea17f166f8e072bcaec | ocamlx(Tuto1_plugin__Simple_check) |
| = 64833d68c531ecc1d4509b807e12a10f | ocamlx(Tuto1_plugin__Simple_declare) |
| = 03e2611df1e28fdb2bc41663d256806d | ocamlx(Tuto1_plugin__Simple_print) |
| = 4103992a14636702692977d2a4c5359a | ocamlx(Tuto2_plugin) |
| = b03de40da6b65f0f30e9f0a86caf4c1a | ocamlx(Tuto2_plugin__Counter) |
| = 6f343a4972a2a9bad100757f0dcbb9d8 | ocamlx(Tuto2_plugin__Custom) |
| = 6a0871954945c1d34199e8cbaf458a41 | ocamlx(Tuto2_plugin__G_tuto2) |
| = 50b3e2cfc716e2a8948a9737662dc1bd | ocamlx(Tuto2_plugin__Persistent_counter) |
| = f25a1b937e17658df19641388a56c72a | ocamlx(Tuto3_plugin) |
| = 18199be216b6f964e987797e521d6fea | ocamlx(Tuto3_plugin__Construction_game) |
| = 5eb782d303b9e22e909374a0fa68cabb | ocamlx(Tuto3_plugin__G_tuto3) |
| = 5bf0d8e5277d72a2ead63aaac4dd3364 | ocamlx(Tuto3_plugin__Tuto_tactic) |
| = ea006a6f6125f135234f5cab97e4838c | ocamlx(Type_errors) |
| = 5cdf22f18cf824642f9e130f7f535570 | ocamlx(Typeclasses) |
| = adc57db681f91e5eeb9a1a415286d8a5 | ocamlx(Typeclasses_errors) |
| = f813685cf06a8d915f7ec240d36430ba | ocamlx(Typeops) |
| = f5581df980fc2cbec17bab4addd6c57c | ocamlx(Typing) |
| = 19b58e6c45cda39509334a632073b173 | ocamlx(UGraph) |
| = d0e8aba27481fad96325f726ba5a9042 | ocamlx(UState) |
| = 2a57dbb786b1c670b4c0cf6019624daf | ocamlx(Uint63) |
| = 7ad40dea3041af4bfe0c48875a277d2f | ocamlx(Unicode) |
| = e39cbbfff4023c88469f7c1d4c7ce266 | ocamlx(Unicodetable) |
| = 545bacac08dc5de5552e6817a07fc0ad | ocamlx(Unification) |
| = 8246f3486bf7e2c27d9e11279783297e | ocamlx(Unionfind) |
| = 7b0dffcb374df7460ed7d43485d86e09 | ocamlx(Univ) |
| = 6fc97edfa5745fe008577acdd8cdfd9d | ocamlx(UnivGen) |
| = 3679c2ff15feff6f635875bda830b90c | ocamlx(UnivMinim) |
| = 542271228a44b3991e002306575c62db | ocamlx(UnivNames) |
| = 1a2d1459fe08572e159e9d1e59893f1e | ocamlx(UnivProblem) |
| = 4ce433819180fb152020d919567e9b86 | ocamlx(UnivSubst) |
| = 44b5822c32cc6176e4a217380ca5890d | ocamlx(Util) |
| = b6d352fbcc59faf9c33775f0a9cb1d26 | ocamlx(Vars) |
| = dcf5aa9a946937e543513efaf8d02af0 | ocamlx(Vconv) |
| = 8d08cf5eb87db66e324ec3377246e2a6 | ocamlx(Vcs) |
| = 03f0d66008efc35c033d72758d802723 | ocamlx(Vernac) |
| = d6826235c24d6f5c254827f64a2e2711 | ocamlx(Vernac_classifier) |
| = 92f5ac5f3271654f67437dd987db9e9a | ocamlx(Vernacentries) |
| = 5db7ac4ecb14db2f120e4b87c9d06b8a | ocamlx(Vernacextend) |
| = 7388bfcf1e7318e494edbcb03d4e66d3 | ocamlx(Vernacinterp) |
| = 088c4069e575d8f77ed8a679a5772d02 | ocamlx(Vernacoptions) |
| = 7ded7e247a70a5358f2c2f8d67fcc2fe | ocamlx(Vernacprop) |
| = 3aeb9a9fc71fa890140e06c333cec47d | ocamlx(Vernacstate) |
| = 0069a6b9e298a676b9ca6171e25a91c7 | ocamlx(Vio_checking) |
| = 0b9dbcbc9d0c3663bfd38f9a0dd8a19a | ocamlx(Vio_compile) |
| = 8d72b844a8a3d1e5c99533552665bc7c | ocamlx(Vm) |
| = 543770b289f019416fa8337bcf05e7f1 | ocamlx(Vmbytecodes) |
| = 46c99f1be2a73d204087a4782104cfcc | ocamlx(Vmbytegen) |
| = d570daf8f568ddb62de60a023dac189f | ocamlx(Vmemitcodes) |
| = 18cbb8df7860d24f9aad1a1f2128917c | ocamlx(Vmlambda) |
| = db2da2bba6fd8feff297d1266de1de83 | ocamlx(Vmopcodes) |
| = 3965c35b0947734d8a002074bcbf7833 | ocamlx(Vmsymtable) |
| = d87a28b37471e746a1cca02840ab41f4 | ocamlx(Vmvalues) |
| = 359133a4b7d5f7e8fbd37987b2ad327b | ocamlx(Vnorm) |
| = 0c831fdbb3a5ffd90a31124bd4276d56 | ocamlx(WorkerLoop) |
| = 304e5cffad1319746425937b38a3833f | ocamlx(WorkerPool) |
| = a20308854293709316ee22e5ccbdb473 | ocamlx(Zify_plugin) |
| = f7827338303d0e0616ac3009bb06a2b4 | ocamlx(Zify_plugin__G_zify) |
| = 187e93c28f6fd7bdd31c10f09af9a162 | ocamlx(Zify_plugin__Zify) |
نحوه نصب
نصب پکیج rpm coq-core:
dnf install coq-core-8.18.0-1.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/coqtimelog2html |
| /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/02 |
| /usr/lib/.build-id/02/7bf63258b14a7718b5381e15f5769322a85a5e |
| /usr/lib/.build-id/04 |
| /usr/lib/.build-id/04/ab1a2f47c0105b30cb2e0d3fe4a072f6027ff2 |
| /usr/lib/.build-id/07 |
| /usr/lib/.build-id/07/1c963b8048b51e301cf9a69a222debd8c223ea |
| /usr/lib/.build-id/0a |
| /usr/lib/.build-id/0a/597389f384c7e5adb10ec9a43dcdc197c847b4 |
| /usr/lib/.build-id/0e |
| /usr/lib/.build-id/0e/4780783a294b26c676eb9be5eb54691f341544 |
| /usr/lib/.build-id/14 |
| /usr/lib/.build-id/14/0b359684f04f885d823130af4fdc7ef82cd3c9 |
| /usr/lib/.build-id/18 |
| /usr/lib/.build-id/18/56e3262c563678114ea602caea24610de2b365 |
| /usr/lib/.build-id/1f |
| /usr/lib/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429 |
| /usr/lib/.build-id/1f/181dbf1e4f81239c3e052864e217b9c7b22429.1 |
| /usr/lib/.build-id/28 |
| /usr/lib/.build-id/28/b9039048ec6c83245eb258477ff63adeecf820 |
| /usr/lib/.build-id/2b |
| /usr/lib/.build-id/2b/37b4602c5c37e24e8d87675b03bdeb0988a1c9 |
| /usr/lib/.build-id/2b/54156b835205f62c2440e4ec2d1a55e663cd66 |
| /usr/lib/.build-id/33 |
| /usr/lib/.build-id/33/ca3f44f668bc87b532b6420395c1fe83c7d803 |
| /usr/lib/.build-id/3f |
| /usr/lib/.build-id/3f/2a8c14ad56baf5bab16b3feb40c8bcd4c16814 |
| /usr/lib/.build-id/40 |
| /usr/lib/.build-id/40/70ed551d531f6c093d515f8844cc9b4e407e72 |
| /usr/lib/.build-id/47 |
| /usr/lib/.build-id/47/2c67d75098ba4032828120e17af32cf3028731 |
| ... and 2860 more |
گزارش تغییرات
| تاریخ آخرین تغییر | جزئیات |
|---|---|
| 2024-01-02 |
Version 8.18.0
|
| 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
|