coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Ltac script to generate hash functions for simple types

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Ltac script to generate hash functions for simple types
Date: Sat, 9 Jun 2018 08:43:56 +0000
Accept-language: de-DE, en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga14.intel.com
Ironport-phdr: 9a23:uZF/YR0mtEac7h0WsmDT+DRfVm0co7zxezQtwd8ZseISLPad9pjvdHbS+e9qxAeQG9mDtrQc06L/iOPJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQFcVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHPYwhEniaxba9vJxiqsAvdsdUbj5F/Iagr0BvJpXVIe+VSxWx2IF+Yggjx6MSt8pN96ipco/0u+dJOXqX8ZKQ4UKdXDC86PGAv5c3krgfMQA2S7XYBSGoWkx5IAw/Y7BHmW5r6ryX3uvZh1CScIMb7S60/Vza/4KdxUBLmiDkJOSMl8G/ZicJwgqBUoBO9qBNw2IPbep2ZOf5kc6/BYd8WW2xMVdtRWSxbBYO8apMCA+QcM+ZfsYb9qEcOrQG5BQm0HO/k1zhGhn7q0q06yesuDwXG0AI9FN8JtXTUrcn6NKcIXu+ryKnE1y7Db/RI1jfy9IjIaBchoemXULJxd8rR1VcgFwffglqMrozlOiqY2+IQuGaV6OpgUPigi28hqwxpozivwNsshZfNho4P11/L6yN0y5s2K92gUEN3fNqpHIVKuyyaN4Z6WMMvT39ytCon17ELuYa3cDULxZkp3RLSZfKKf5KW7h/tUOudOyp0iXF5dL6nmhq/8EytxvfiWsS031tGtDRJnsPRun0C1hHe7NWMROFn8Ue7wzmP0hje6uFaLkAwkqrWM5shwrEqmZYOvknPBC72mEPqjKCIckUo4PSn6+PiYrn+p5+cMZF7ih3mP6gznsGzH/40PwgOUmSB+emwyqfv8VDkTLhKlvE2l7PWsJHeJcQVvK65BApV354m6xa+Ezim0M4XkmcDLF5fYxKHiJbmO17SIPDiCve/m0+hkDZtx/DaILLhBo/BIWTEkLfkZbp98VJTyBIvzdBD4JJZEq0OIPXqWkPoqNPYCgI5PBevzub8CNR905seVniVDq+YNqPSq16I6fg1L+mCfo9G8Ar6frIu4Oerhnskk3cce7Oo1N0ZcjrwSv9hOgCSZWfmqtYHC2YD+AQkGr/EklqHBHRoYHu9Q7g7/nVzLYOtDY7OQsrl1LmA1yeyE5kQfWdLBUyWFm/AdoOYVvNKYyWXdJwy2gcYXKSsHtdynSqlsxX3nuI+f7jkvxYAvJem7+BboujalBU87ztxVp3P0meRQmUylWQNFWZvgPJP5Hdlw1LG6pBWxuRCHIUKtfJPTgo+c5Xbyr4iUo2gakf6Zt6MDW2ebJCmDDU2F41jxtAHOho7GtO+gxSF1C2vUecY

P.S.: please don’t include the footer in replies!

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

RE: [Coq-Club] Ltac script to generate hash functions for simple types, Soegtrop, Michael, 06/09/2018