coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Jonathan Leivent <jonikelee AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] a way to remove just one notation
Date: Wed, 23 Dec 2015 12:52:55 -0500
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jonikelee AT gmail.com; spf=Pass smtp.mailfrom=jonikelee AT gmail.com; spf=None smtp.helo=postmaster AT mail-qg0-f51.google.com
Ironport-phdr: 9a23:arRPAB/GNZ7wl/9uRHKM819IXTAuvvDOBiVQ1KB91ewcTK2v8tzYMVDF4r011RmSDduds6oMotGVmp6jcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47AblHf6ke/8SQVUk2mc1EleKKtQsb7tIee6aObw9XreQJGhT6wM/tZDS6dikHvjPQQmpZoMa0ryxHE8TNicuVSwn50dxrIx06vru/5xpNo8jxRtvQ97IYAFPyiJ+VrBYBfWR8hKige4NDh/U3IShLK7X8BWE0XlABJCk7L9kepcI32t37Ysex0xCmTO4XSQLEqVDK+p/NpTxnpiyoDOjMR/2Tei8g2h6Ve9kHy7ydjypLZNdnGfMF1ebnQKJZDHTJM

Is there anything like an [Unset Notation "x ** y"] command that would clear just that one notation?

-- Jonathan

[Coq-Club] a way to remove just one notation, Jonathan Leivent, 12/23/2015