coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Abhishek Anand <abhishek.anand.iitg AT gmail.com>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] fully qualified names in Print Assumptions
- Date: Wed, 10 Jan 2024 11:23:34 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=abhishek.anand.iitg AT gmail.com; spf=Pass smtp.mailfrom=abhishek.anand.iitg AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f54.google.com
- Ironport-data: A9a23:iYnxGqtsP2u3oi82e+33uQECmOfnVPFaMUV32f8akzHdYApBsoF/q tZmKT+PM/iOazGkfth/a4mw8RkCvJWEytY1QQVppSFjFSgSgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTrSCYEidfCc8IA85kxVvhuUltYBhhNm9Emult Mj7yyHlEAbNNwVcbCRMt8pvlDs15K6u4GpB5gRnDRx2lAa2e0c9XMp3yZ6ZdCOQrrl8RoaSW +vFxbelyWLVlz9F5gSNz94X2mVTKlLjFVDmZkh+A8BOsTAezsAG6ZvXAdJHAathZ5plqPgqo DlFncTYpQ7EpcQgksxFO/VTO3kW0aGrZNYriJVw2CCe5xSuTpfi/xlhJF4RLJcS/PlcODF10 /87FTAjYE6ypMvjldpXSsE07igiBMziPYdapWs5iD+EUbApRpfMR6iM7thdtNsyrpoWTLCOO oxDM2MpMUiojx5nYj/7DLo3luepnXnycHtRrluTqew24nTc5AN02bnpdtHSf7RmQO0KwBrA9 j+WoQwVBDkYCPqPyR6l7UiLvejMoDzkQ7sIDrSno6sCbFq7nTFKUEJHCzNXu8KRgUmnHtlbN kY84TsrtaF09UqxT9C7UQfQnZKflhsVWt4VDPdjrQ/Qluzb5AGWAmVCRTlEADA7iCMobSMNx 0WDmczCPGxUlr62dHKz+OmljhrnbED5MlQ+TSMDSAIE5fzqr4cykg/DQ75f/Eid3oKd9dbYk 2/ikcQuu4j/m/LnwElSwLwqqzelp5yMURRsowuKAiSq6QR2YIPjbIutgbQ60RqiBNbGJrVil CFb8yR70AzoJc/U/MBqaLtUdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa2O BOK6FkKucMCYiHCgUpLj2SZW5tCIU/IRYuNaxwoRoMRCnSMXFbbongzOBPKt4wTuBhwyfhjU XtkTSpcJS1HUPw4nWTeqxY13rgsySQzjWLVTtaT8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4BbZfi40sEC4XWPHKHmbP/2HhQchDX87it+5IJHgNCSyI6cFwc5wj5muhwI9I5zvw9eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dc8n9yxpDj9mJluyxXkobKCm6apVJdN9fqAq+KYnhbR4R uUMMZfISPleaCX1yxJEZ7nEratmaEuKgyCKNHGbezQRRcNraDHI3d7GRTHR0hcyIBC5juYEm I345DjnGcICYy9AEPfpbOmeygLtnHoFx8N3cUj6AvhSX0TO9oJVBTT7paI1KZtUKDHo5DiT5 yCJCzg2+MjPpI4U9oHSpKam9o2GLcp3LnB4LUL6s4mkFHD91XWx5KN9S8C0RCD5eEKo3bS9d MNX4urZMvZarG1VsoF5Laln/Zg+6/TrubVe6AZuR1fPUHiGFZJiJWugz+BUl6gQ2IJchxS6a niP9vZeJ7+NHsHvS3wVBQg9a9W8xeMmoSbT4ds1MXfFyndOppTfanprPj6IlCB5B5l2Otl8w e4e5egn2zbmgR8uatu7niRY8lqXFUM5UoIli4o7BbH6gQ9623BAZp3hUhXN2q+tUOkVEEcWI W6zvpHg1pB83UvJdkQhGUfdhdR9gYs8gzEU7VsgCWnQpP/7qK4W5iBByRU2UQVf8Ttf2c1RJ GVAFhN4NIeOzRhSlelBWGGmJC9ZDjbAoUfz5kc7llCBa0ykSGaXIHYPAruP9hpB8kZ3XDtSz JeHwknLDBfoe8DQ2HMpeEhH8vbMc/14xjfgquuGQfuXOoYcYCX0pJOuaU4jiQrVMeloiGLp/ eBVrftNM4vlPisukogHIoi914VIbiubJWZHEMpTzIlQEU7yIDiNiCWzcWavccZwJtvPw0+yK +pqAultDx2e9iK/ngo3NJ42AY1fvaAWvYIZW7bRO2Q5naOVrWNpvLLu5yHOvjIXbOs0o/ktC LH6VmykKXORt0t2imWWjchjO0iEW/cmSjD4/tiI9LQuK8pensBqKVo/w5mljUWzaQFHxS+Zj CnHRq3RztFh97hSopvRIv19IDuwePzOV7Wu0QGsst5xQ8vFHuXQuig09FT2HQRkEoEAetZwl IbX6d7+41zYjexnT0HYhJizOK1b7uqiXOdsE5zWLVsLuQCgScPT8x841GTgEqNwkfRZ/diBe wSjTdmZLPo5Zo94/2JETAR7CDMfOrTTQoa7gh3ltNWKKBwW8TKfHeOd7XWzMF1qLH4ZCaPxG irfmqiL9NtHiK9uGRVdJfVtI6EgEW/ZQaF8KuHA72iJPFKJ3GGHlKDpzyc7yDfxDXKBLsb2z LTFSjX6dzWwoKv4985YgaMjoiwoCGtBvsdocnI/49JWjxWIPFwCJ8kZMrQEDchwuQ7235fae jrMTTUDDQPQYDd6Sij/se/TBlqnOu8zO9nHf21juwvebiqtH4qPDYdw7ioqsT88ZjLny/rhM t0EvGH5Oh+q2JxyWOIP/bqBjPx6wu/BjGc9kawnfxce3z5FaVnL6JBgIOaJfSnOEsWIi1+SY GZoGSZLR0a0TUO3GsFlE5KQ9Nf1oxu3pwjErw/WqDoch2lf5OJFwfz7fer019XvqewUcaUWS yqfq3SlugirN796hUftk90siK5wT/mMG6BW6UMlqRI6x8mN14jsAy/Ocefjgi3vFM6z3m4xT gWR3kU=
- Ironport-hdrordr: A9a23:PklYdqMPsA3XkcBcTsyjsMiBIKoaSvp037BL7TEXdfUxSKalfq +V7ZcmPHPP6Ar5O0tApTnjAtjjfZq0z/ccirX5Vo3SOTUO1lHYSL2KLrGP/9QjIUDDHyJmup uIupIRNOHN
- Ironport-phdr: A9a23:xBW1ARWb0Ny4atMroJ75zeqEhlnV8KyKXDF92vMcY1JmTK2v8tzYM VDF4r011RmVB9WdsawdwLqN+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba1xI Rmsswnct9QajYRhJ6s/1xDEvmZGd+NKyGxnIl6egwzy6sCs8pB97i9eoegh98lOUaX7e6Q3U 7lVByk4Pm42+cPmqwDNQROA6XUAXGoWlAFIAxXe4xHhQpjxqCr6ufFj1yScIMb7UKo7WTWm7 6dsVR/olCIKPCM3/W3LlsB9ir9QrRS8rBJ93oHUepmYO/V+cK3Tft0UWHRPUdpKWiNbHo+xd ZECA/YdMetaqYT2ulsArQG5BQmpHO7i1iRHhn/33a0h0+QuDwLG1xE8EtIIqnvUqsj6P7oVX O+v16bIzTTDb+hW2Tjj64jEaAouofeWUrJ2bMXd00gvFwLZjlWfsoHlMDaV2f4Ms2if9eZvS eWvi2s+pgx3vzOgydsihJPTiYIJ1lDL6z95wIAtKNCmSEB2f8OpHZRfuSyHKYd7TN0uTmJ0t Ss0yrMKp5G2cSwIxZg6xRPSdvyKfYiK7x/gVuudPSl0iGxmdb+8iRu/91WrxOP7VsmxyllKr yxFn8HQuXAKzRzT7NaISv95/ku7xzmAyh3T5+dZKk43jarWM4AtzqI0m5YJsknOHjX6lFvog KOLbEkp+uel5uL6abj4op+cKpR0ih3gPaQ0h8K/AOU5PRYWUmSH/+m3yaft8lfjQLpQi/07i qnZv47eJcQcvqO5BhVa0ocn6xqmATamyskUkWAJLF9Fdx+LlYfpO1bJIPD3CfewnU6gnytsx /DDJrHhA5PNIWbfkLr5Y7px90pRxBAwwN1f/Z5YFK8NLO/pVkLxu9HUFho5PBa1w+bjBtV9z IQeWWeXD6CDK6zSsV6I5vkvI+aSZ48ZoizyK/4/6P7okHA1g14dfai13ZsYc324EfFmLF+YY XromNsODWAKvg8mQOzsk1KNSSRTaGqqX6Ig+jE7D5qrAZrbSoC3nLOBxDu7HoFRZm1eFl+MF m7oe5yYVPcIdSKdOdRskicEVLikU48uzwuitA78y7p9L+rb4DcUtZz51Is92+qGnhYrsDdwE s7Vh2qKViR/mn4Cbz4wxqF250JnnASty6991tVSFd1I5/5KGi48PJjQh7hzAdDzQQLMfZGAT l+gTpOnAC0+Zt00yt4KJU16HoPx3Vj4wyO2DupNxPSwD5su//eEt5CQD8N0ynKdkbIkk0FjW cxXc2uvmq948QHXQY/PiUSQ0aiwJuwHxCCY0mCFwCKVuV1AFhZqWPDMV3AefUvbrpLw4ErEQ /mvCKgoGgREwM+GbKBNb46hlk1IEc/qI8+WeGetgyG1DBeMyKmLad/jcWUcxyXQCw4NlQkV8 TCHNBQxLiikqmPaSjdpEAGneFvipM95rn7zVUoo10eKYklmgqKy4QIQjOeARuk727sFvGI+s WwxEgvhmd3RDNWEqkxqe6A0jcoVxlBB2CqZsgV8OsflNKV+nhsFdBwxuUry1hJxA4EGkM4wr XpswhAgYaSfmEhMcT+Vx/WScvXeN3Xy8RazaqXXxkCW0dCY/b0K4eg5rFOrtR+gF04r+XFqm 9dP1H7U6pLPBQsUGZX/NyR/vxFwp7DBYiQ+oYrS3Htgd6i1rjDq1NcgBe9jwRGlPp9ePK6CC A7uApgCHcH9TY5i01Otbx8CIKVT7PtuZ5LgJ6bAgvTyers8z1fExSxd7Ytw01yB7X95Q+/Mh NMexu2AmxCAT3H6hUugtcb+ncZFYysTFyyx03uBZsYZa6tscIIMEWrrLdeww4A0jpTtWmVY+ V3lDlUP3sPveBuOYHTy2ARR0QIcpnntyk7ah3Rk1iokqKaSxnmEyu7idQEHN20NTW9ri1uqI ImogPgVWUGpa04ikx7vtiOYj+BL4a94KWfUW0JBeSP7enpjXqWHvb2He8dT6ZksvE27ScyEa EuBAv74qhoeiGb4GndGgSs8b3ess4n4mBpzjCScKmxypTzXY5M4yRDa7d3aDflfu1hODCByi TjMBlW/edCv9NOY0ZbCru+WWGeoV5kVei7uhY+Nryq042R2DAb3xaji3I26V1JgiGmmi5FjT kCq5F7kb5Pu1rimPO4vZURuCFLmqoJ7Fox4jooslcQV0HkeiI+S+ClPmmPyPNNHnKPmOSBVF HhbnpiPulGjhREwSxDBj5j0XXic3MZ7MtyzY2dNnzk489gPE6CMqrpNgSpypFO86wPXe/l02 DkHmp5MoDYXhf8EvA01w2CTGLcXSANRNyztjBSF7Ja3qqxRaCCucKS//EV7lNGlSrqFp0sPP RSxModnBiJ24shlZRjF2n3y8YHpe5/Za9sVuluVkgvPp+dQIZM10PENgGA0XAC19W1gwOk9g xt02Ji8t4XSMGRh8pWyBRtAPyH0bcceqXn9yLxTlcGM08WzD41sT38VCYDwQ6viQ1dw/bz3c hyDGzompjKHFKrDSEWBvVx+oSuHEoj3ZSrKYiBIlZM4GEbbfAsF3EgVRGlowMJ/TFvxgpW/K AEhoWlAgzyw4hpUlrA2aV+mCj2Z/EHwLW1sAJmHcEgIsEcYuxaTYZTYtqUpR2lZ5sHz81bLc zDdPlUSSzlOAxzhZRirP6Hyt4actbHCW6zmaaOJOOvGqPQCBa7QldT2jdQgr3DUcZ/Wdnh6U 69ihREFBCElXZyfw3JWFUl132rMd5LJ/k/tvH0q6JnloLKzH1uwrYqXV+kIaIsppkDw2PbZc bbX3XcxKC4EhMlVmzmSk+lZhwRU02Y3JlzPWfwWvCrJBso8g4dxCBgWI2N2PcpMtOcn2xVVf NXckpXz36J5ifg8DxFEU0bgk4enf55CJWb1L17BCEuRUdbObTTW38H6Z7+9QrxMna1VsRO3o zOSD07kOHyKiTDoUxmlNewEgjucOVRSv4S0cxAlDmaGLpquchqgLNp+liE725Uxj3LOcHEGa H1yLh8LobqX4idVxP54Hi0J73ZoK/WFhzfM7+TcLcVz07MjCSB1muRGpXUinuENvWcUGbovw nKU84I9xjPu2vOCwTdmThdU/zNChYbQ+F5nJb2c7Z5YH3DN4BMK62yUTRUMvdpsTNP16MUyg pDCkrz+LDBa/pfa58wZUoLdIsKGK3osMlzgHjfSAE0ETCKkHW7ajk1Z1vqV8zfGy/py4oipg 5cIRrJBARYtEegGD01+ANEYCJJ+XzdhjqTCycBVuTyxqx7eQMgctZfCHKH3Y72nOHOSir9KY AENyLXzINEIN4H17Edlb0FzgIXAH0e4tTVlrShobwtyq0JIoiAWpowb3kvkbkay+iZWG6Po2 BExjQR6bKIm8zK+uz/fyXLFoSIxlA86ntC32Fis
- Ironport-sdr: 659ec4ab_UlMYGZh+lhsyUza8X7xl++B+Od7AdmwAoU8fNTSlAwIeSa4 6Un5Yopzx5NFbRq7T54gGgJRJ1Yt/TPbpvk2B5A==
Is there a way to get Print Assumptions to output fully qualified names of all items?
That could help in filtering in/out items.
-- Abhishek
http://www.cs.cornell.edu/~aa755/- [Coq-Club] fully qualified names in Print Assumptions, Abhishek Anand, 01/10/2024
- Re: [Coq-Club] fully qualified names in Print Assumptions, Jason Gross, 01/10/2024
Archive powered by MHonArc 2.6.19+.