# Fdb version 3
["makeindex CoqRefMan.idx"] 1595697754 "CoqRefMan.idx" "CoqRefMan.ind" "CoqRefMan" 1595697938
  "CoqRefMan.idx" 1595697937 125668 194d64ea87308ed51def5a06bb6b44d3 "pdflatex"
  (generated)
  "CoqRefMan.ind"
  "CoqRefMan.ilg"
["pdflatex"] 1595697845 "CoqRefMan.tex" "CoqRefMan.pdf" "CoqRefMan" 1595697938
  "/usr/share/texmf-dist/fonts/map/fontname/texfonts.map" 1592449201 3524 cb3e574dea2d1052e39280babc910dc8 ""
  "/usr/share/texmf-dist/fonts/tfm/adobe/zapfding/pzdr.tfm" 1592449201 1528 f853c4d1b4e0550255e02831fdc8496f ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam10.tfm" 1592449201 916 f87d7c45f9c908e672703b83b72241a3 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam5.tfm" 1592449201 924 9904cf1d39e9767e7a3622f2a125a565 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msam7.tfm" 1592449201 928 2dc8d444221b7a635bb58038579b861a ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm10.tfm" 1592449201 908 2921f8a10601f252058503cc6570e581 ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm5.tfm" 1592449201 940 75ac932a52f80982a9f8ea75d03a34cf ""
  "/usr/share/texmf-dist/fonts/tfm/public/amsfonts/symbols/msbm7.tfm" 1592449201 940 228d6584342e91276bf566bcf9716b83 ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1592449201 1524 4414a8315f39513458b80dfc63bff03a ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1592449201 1512 f21f83efb36853c0b70002322c1ab3ad ""
  "/usr/share/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1592449201 1520 eccf95517727cb11801f4f1aee3a21b4 ""
  "/usr/share/texmf-dist/tex/generic/atbegshi/atbegshi.sty" 1592449201 24708 5584a51a7101caf7e6bbf1fc27d8f7b1 ""
  "/usr/share/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty" 1592449201 40635 c40361e206be584d448876bba8a64a3b ""
  "/usr/share/texmf-dist/tex/generic/bitset/bitset.sty" 1592449201 33961 6b5c75130e435b2bfdb9f480a09a39f9 ""
  "/usr/share/texmf-dist/tex/generic/etexcmds/etexcmds.sty" 1592449201 7734 b98cbb34c81f667027c1e3ebdbfce34b ""
  "/usr/share/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty" 1592449201 8371 9d55b8bd010bc717624922fb3477d92e ""
  "/usr/share/texmf-dist/tex/generic/iftex/ifluatex.sty" 1592449201 492 1994775aa15b0d1289725a0b1bbc2d4c ""
  "/usr/share/texmf-dist/tex/generic/iftex/iftex.sty" 1592449201 6501 4011d89d9621e0b0901138815ba5ff29 ""
  "/usr/share/texmf-dist/tex/generic/iftex/ifvtex.sty" 1592449201 1057 525c2192b5febbd8c1f662c9468335bb ""
  "/usr/share/texmf-dist/tex/generic/iftex/ifxetex.sty" 1592449201 488 4565444a3e75e59cb2702dc42e18f482 ""
  "/usr/share/texmf-dist/tex/generic/infwarerr/infwarerr.sty" 1592449201 8356 7bbb2c2373aa810be568c29e333da8ed ""
  "/usr/share/texmf-dist/tex/generic/intcalc/intcalc.sty" 1592449201 31769 002a487f55041f8e805cfbf6385ffd97 ""
  "/usr/share/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty" 1592449201 5412 d5a2436094cd7be85769db90f29250a6 ""
  "/usr/share/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty" 1592449201 13807 952b0226d4efca026f0e19dd266dcc22 ""
  "/usr/share/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty" 1592449201 18552 1e1cc7b75da0dfaacce7cdcb27d306bf ""
  "/usr/share/texmf-dist/tex/generic/pdfescape/pdfescape.sty" 1592449201 19007 15924f7228aca6c6d184b115f4baa231 ""
  "/usr/share/texmf-dist/tex/generic/stringenc/stringenc.sty" 1592449201 21514 b7557edcee22835ef6b03ede1802dad4 ""
  "/usr/share/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty" 1592449201 7008 f92eaa0a3872ed622bbf538217cd2ab7 ""
  "/usr/share/texmf-dist/tex/generic/xkeyval/keyval.tex" 1592449201 2725 fc34ef3ccb37ba15a640e8fca6190bca ""
  "/usr/share/texmf-dist/tex/generic/xkeyval/xkeyval.tex" 1592449201 19231 26434a5656c684f5ffb1f26f98006baa ""
  "/usr/share/texmf-dist/tex/generic/xkeyval/xkvutils.tex" 1592449201 7677 6f5ce7c1124cad7ec57d05b2562bd8fe ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/adjcalc.sty" 1592452090 5608 e823b3adfbc2ea70e453a21ea6e2ee12 ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/adjustbox.sty" 1592452090 55974 e90ddd9a6114a7008a6915da904f2847 ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/tc-xetex.def" 1592452090 4730 8b560f80306aad9f005abbb88e1c8b91 ""
  "/usr/share/texmf-dist/tex/latex/adjustbox/trimclip.sty" 1592452090 7142 42aaa49a4afcdc52e9d95e3b19f439be ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty" 1592449201 5949 3f3fd50a8cc94c3d4cbf4fc66cd3df1c ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty" 1592449201 13829 94730e64147574077f8ecfea9bb69af4 ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd" 1592449201 961 6518c6525a34feb5e8250ffa91731cff ""
  "/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd" 1592449201 961 d02606146ba5601b5645f987c92e6193 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty" 1592449201 2211 ca7ce284ab93c8eecdc6029dc5ccbd73 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty" 1592449201 4161 7f6eb9092061a11f87d08ed13515b48d ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty" 1592449201 85660 baee036978c7a91f4e2bba43f05e5945 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty" 1592449201 4116 32e6abd27229755a83a8b7f18e583890 ""
  "/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty" 1592449201 2432 8ff93b1137020e8f21930562a874ae66 ""
  "/usr/share/texmf-dist/tex/latex/atveryend/atveryend.sty" 1592449201 19336 ce7ae9438967282886b3b036cfad1e4d ""
  "/usr/share/texmf-dist/tex/latex/auxhook/auxhook.sty" 1592449201 3935 57aa3c3e203a5c2effb4d2bd2efbc323 ""
  "/usr/share/texmf-dist/tex/latex/base/alltt.sty" 1592449201 3140 3b501b609b11ff7320ce1a19dbac0e3b ""
  "/usr/share/texmf-dist/tex/latex/base/fix-cm.sty" 1592449201 14742 0d173bd349a3411c545b594a97fb0700 ""
  "/usr/share/texmf-dist/tex/latex/base/fontenc.sty" 1592449201 4947 0c2888dd88121ae675fc6e82213623ba ""
  "/usr/share/texmf-dist/tex/latex/base/makeidx.sty" 1592449201 1940 dd4f2aa11c89855a3c47d09758782ba5 ""
  "/usr/share/texmf-dist/tex/latex/base/report.cls" 1592449201 23082 a0e9a5941c744eda6abe56770037a201 ""
  "/usr/share/texmf-dist/tex/latex/base/size10.clo" 1592449201 8446 9874cccac5fee462272c582807dbbf56 ""
  "/usr/share/texmf-dist/tex/latex/base/textcomp.sty" 1592449201 2821 2c0928feafd5527387e29a1af774d030 ""
  "/usr/share/texmf-dist/tex/latex/base/ts1enc.def" 1592449201 7764 996679026d0382957cdad45a528f4fa8 ""
  "/usr/share/texmf-dist/tex/latex/base/tuenc.def" 1592449201 27440 69bf3d7c71626cc47b8ff9b7bbf0a3c2 ""
  "/usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty" 1592452090 1311 063f8536a047a2d9cb1803321f793f37 ""
  "/usr/share/texmf-dist/tex/latex/collectbox/collectbox.sty" 1592452090 9116 495d44b5a3e7be0c46c5d1f053f457f0 ""
  "/usr/share/texmf-dist/tex/latex/etoolbox/etoolbox.sty" 1592449201 45259 743c52a37a6e5ed83cfe0e128b2da10d ""
  "/usr/share/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty" 1592449201 11128 a53805799bebfed6358fc1658a18e41f ""
  "/usr/share/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty" 1592449201 43231 b2e5a61c56a7db26d1486185f2d1dd75 ""
  "/usr/share/texmf-dist/tex/latex/filehook/filehook.sty" 1592449201 12667 e46b2fc036c97b8a5277982cf2994643 ""
  "/usr/share/texmf-dist/tex/latex/float/float.sty" 1592449201 6749 16d2656a1984957e674b149555f1ea1d ""
  "/usr/share/texmf-dist/tex/latex/fncychap/fncychap.sty" 1592452090 19488 fdd52eb173b3197d748e1ec25acb042f ""
  "/usr/share/texmf-dist/tex/latex/fontspec/fontspec-xetex.sty" 1592449201 163300 4d3d778e38973f06a2524732dbbc580f ""
  "/usr/share/texmf-dist/tex/latex/fontspec/fontspec.cfg" 1592449201 549 c4adac819276241fea8eb79c5ab7b99e ""
  "/usr/share/texmf-dist/tex/latex/fontspec/fontspec.sty" 1592449201 1655 a1ec6f2670a260de25415d37e9c60e97 ""
  "/usr/share/texmf-dist/tex/latex/framed/framed.sty" 1592452090 22449 7ec15c16d0d66790f28e90343c5434a3 ""
  "/usr/share/texmf-dist/tex/latex/geometry/geometry.sty" 1592449201 41601 9cf6c5257b1bc7af01a58859749dd37a ""
  "/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg" 1592449201 1213 620bba36b25224fa9b7e1ccb4ecb76fd ""
  "/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg" 1592449201 1224 978390e9c2234eab29404bc21b268d1e ""
  "/usr/share/texmf-dist/tex/latex/graphics-def/xetex.def" 1592449201 12707 672c620846df0fecf0a7a99fed83566d ""
  "/usr/share/texmf-dist/tex/latex/graphics/graphics.sty" 1592449201 16932 04729abe63b66ec59ea56edcd722b058 ""
  "/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty" 1592449201 9067 1b996612394a52e1efe89c8bfe8a5892 ""
  "/usr/share/texmf-dist/tex/latex/graphics/trig.sty" 1592449201 3976 d7fa7d81d2870d509d25b17d0245e735 ""
  "/usr/share/texmf-dist/tex/latex/hycolor/hycolor.sty" 1592449201 17914 4c28a13fc3d975e6e81c9bea1d697276 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/hxetex.def" 1592449201 45201 ad9e3883ace0ed5d7d4d33ab2432cdfc ""
  "/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty" 1592449201 236775 8ab18a05f69e6caef423fa59cb0af03b ""
  "/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty" 1592449201 13244 0070bcab7b5a88187847128d22faf4d8 ""
  "/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def" 1592449201 14134 c11767c54bd7ecab56984ee4e4e3158c ""
  "/usr/share/texmf-dist/tex/latex/hyperref/puenc.def" 1592449201 122447 8dcff5c67ff7f0649f41dc4abc99887f ""
  "/usr/share/texmf-dist/tex/latex/ifoddpage/ifoddpage.sty" 1592452090 2148 0426cd8bb94163c1e23726d0c15e2c21 ""
  "/usr/share/texmf-dist/tex/latex/kvoptions/kvoptions.sty" 1592449201 22520 c4c2dab203104295e1e618be7e5c0f5b ""
  "/usr/share/texmf-dist/tex/latex/l3backend/l3backend-xdvipdfmx.def" 1592449201 24290 35179f1a4d8f23f2c1118a1d56274a09 ""
  "/usr/share/texmf-dist/tex/latex/l3kernel/expl3.sty" 1592449201 4713 eb01a5180e90c7ac1715bb64e2c31227 ""
  "/usr/share/texmf-dist/tex/latex/l3packages/l3keys2e/l3keys2e.sty" 1592449201 4615 4ac5fc0da0d4c20aef3a345b8be411eb ""
  "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse-generic.tex" 1592449201 80141 edbf9289c99ff37db17116af7a3a423f ""
  "/usr/share/texmf-dist/tex/latex/l3packages/xparse/xparse.sty" 1592449201 5914 5eaa255b13fb7a5e47ededc8ec098dba ""
  "/usr/share/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty" 1592449201 5766 13a9e8766c47f30327caf893ece86ac8 ""
  "/usr/share/texmf-dist/tex/latex/makecmds/makecmds.sty" 1592452090 2296 b097750ac8010251101d5bbe1da4d1be ""
  "/usr/share/texmf-dist/tex/latex/microtype/microtype-xetex.def" 1592449201 14109 448fe4388dde5981289f9ae8c547a196 ""
  "/usr/share/texmf-dist/tex/latex/microtype/microtype.cfg" 1592449201 24293 cbbba0a351268f01b03f4a3b8b367d3c ""
  "/usr/share/texmf-dist/tex/latex/microtype/microtype.sty" 1592449201 71539 3e8331ef062d90caeae5fc7360dcd5bf ""
  "/usr/share/texmf-dist/tex/latex/microtype/mt-msa.cfg" 1592449201 5893 1a8b936193a3ad84972b7098edd47fb7 ""
  "/usr/share/texmf-dist/tex/latex/microtype/mt-msb.cfg" 1592449201 5558 8dd91de9252789fb361ad96b452fc4a7 ""
  "/usr/share/texmf-dist/tex/latex/needspace/needspace.sty" 1592452090 852 0e34dbb72efc69fa07602405ad95585e ""
  "/usr/share/texmf-dist/tex/latex/oberdiek/hypcap.sty" 1592449201 3822 b53c749cd81352b4679a35b0dafefb95 ""
  "/usr/share/texmf-dist/tex/latex/parskip/parskip-2001-04-09.sty" 1592449201 2757 ea00cb4f4e9abc702916f74d3812ef67 ""
  "/usr/share/texmf-dist/tex/latex/parskip/parskip.sty" 1592449201 4308 6e9f921ebed36a97a997b268f77f1285 ""
  "/usr/share/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty" 1592449201 19989 e08c4750d96640367c4b141017eda013 ""
  "/usr/share/texmf-dist/tex/latex/polyglossia/gloss-english.ldf" 1592449201 6647 ceced9868fe73ddf4b75c6a325cf3fe4 ""
  "/usr/share/texmf-dist/tex/latex/polyglossia/gloss-latex.ldf" 1592449201 783 e68c7f440dcb8eda673e3ad22c8139dd ""
  "/usr/share/texmf-dist/tex/latex/polyglossia/polyglossia.sty" 1592449201 70649 1c56d8db4b9bc1bc1e5ce3de09991b5b ""
  "/usr/share/texmf-dist/tex/latex/refcount/refcount.sty" 1592449201 9878 9e94e8fa600d95f9c7731bb21dfb67a4 ""
  "/usr/share/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty" 1592449201 9715 b051d5b493d9fe5f4bc251462d039e5f ""
  "/usr/share/texmf-dist/tex/latex/tabulary/tabulary.sty" 1592452090 13791 8c83287d79183c3bf58fd70871e8a70b ""
  "/usr/share/texmf-dist/tex/latex/titlesec/titlesec.sty" 1592452090 48596 2b6a95da931c07a430b1a61904aaa42d ""
  "/usr/share/texmf-dist/tex/latex/tools/array.sty" 1592449201 12560 ce3f59ceae9d9a27bfe037d6bf1d903c ""
  "/usr/share/texmf-dist/tex/latex/tools/longtable.sty" 1592449201 12133 b1e3e65b69714dbfcc5e6c0b19d66b50 ""
  "/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-table.tex" 1592449201 241265 52e61157376139e230f2a9ef4be9503f ""
  "/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math-xetex.sty" 1592449201 132064 7222bed5bbafecb5b7690ac9561b42d1 ""
  "/usr/share/texmf-dist/tex/latex/unicode-math/unicode-math.sty" 1592449201 1474 aba4cc64ac109084e74e3e749fbcd54e ""
  "/usr/share/texmf-dist/tex/latex/upquote/upquote.sty" 1592452090 1048 517e01cde97c1c0baf72e69d43aa5a2e ""
  "/usr/share/texmf-dist/tex/latex/url/url.sty" 1592449201 12796 8edb7d69a20b857904dd0ea757c14ec9 ""
  "/usr/share/texmf-dist/tex/latex/varwidth/varwidth.sty" 1592452090 10894 d359a13923460b2a73d4312d613554c8 ""
  "/usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty" 1592452090 26220 3701aebf80ccdef248c0c20dd062fea9 ""
  "/usr/share/texmf-dist/tex/latex/xcolor/xcolor.sty" 1592449201 55589 34128738f682d033422ca125f82e5d62 ""
  "/usr/share/texmf-dist/tex/latex/xkeyval/xkeyval.sty" 1592449201 4962 9c1069474ff71dbc47d5006555e352d3 ""
  "/usr/share/texmf-dist/web2c/texmf.cnf" 1592449201 33301 a3134070eacafb10b1f371612ce2650d ""
  "/var/lib/texmf/web2c/xetex/xelatex.fmt" 1595696697 5164754 04cde00c12b37abc7b54fced0356ff9b ""
  "CoqRefMan.aux" 1595697936 420137 f403eac2ca11664b7f00b681d6a30819 "pdflatex"
  "CoqRefMan.ind" 1595697755 85373 b9a549d85d9c2849f41bd020669fa877 "makeindex CoqRefMan.idx"
  "CoqRefMan.out" 1595697937 3121 f0d586aac4bb42e4f19c710d89aa6cac "pdflatex"
  "CoqRefMan.tex" 1595697657 4566257 6a92fe50421581455329046934dfd436 ""
  "CoqRefMan.toc" 1595697937 67540 9386858aba24121e8b2ff4146fa911ac "pdflatex"
  "coqide-queries.png" 1595595373 66656 ba587a1250e35ef051460956e92c3416 ""
  "coqide.png" 1595595373 59662 4a492a904b40cc4c57419c5f6a918001 ""
  "coqnotations.sty" 1595595373 3332 e521a0bb566a77db3fab0e43ff37ed67 ""
  "diffs-coqide-compacted.png" 1595595373 1723 e02e0f5e210a62ce6b6429e96949e5a2 ""
  "diffs-coqide-multigoal.png" 1595595373 2172 a62742e22217c71a39bdccd09fec61ca ""
  "diffs-coqide-on.png" 1595595373 2518 a22b4d0b79535e054275f1649ab4d966 ""
  "diffs-coqide-removed.png" 1595595373 4187 dbf8b017619c2d604baead3410cb0c29 ""
  "diffs-coqtop-on3.png" 1595595373 2125 0ea7f6afc40096735c78a3622c6f7d15 ""
  "diffs-error-message.png" 1595595373 5607 9122ef0fc56cd740039853bd8862be49 ""
  "footnotehyper-sphinx.sty" 1594010816 8888 1bbd7bdeae8c8bed1d10d551bddb1cc9 ""
  "refman-preamble.sty" 1595595373 2788 eaa14121d4816a3c6f30205a744ce521 ""
  "sphinx.sty" 1594010816 82020 a38700b8aa22dfd94a8a5b905e69be73 ""
  "sphinxhighlight.sty" 1595697595 8137 38a433148fcb7611515a989ff1750dd5 ""
  "sphinxmanual.cls" 1594010816 4236 124cd90deb92742b5d3922bfc2cd70c0 ""
  "sphinxmessages.sty" 1595697657 745 3f5fcd6cdd7964ed608767954a8ced6f ""
  "sphinxmulticell.sty" 1594010816 14606 0b6edc2b1a83546ed92026d1f6a311b5 ""
  (generated)
  "CoqRefMan.out"
  "CoqRefMan.toc"
  "CoqRefMan.pdf"
  "CoqRefMan.idx"
  "CoqRefMan.aux"
  "CoqRefMan.log"
