coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ewen Denney <ewd AT dai.ed.ac.uk>
- To: coq AT pauillac.inria.fr
- Subject: extraction to pairs
- Date: Tue, 16 Jan 2001 10:15:27 +0000
- Organization: Mathematical Reasoning Group, Division of Informatics, Edinburgh University
Salut,
How can an extraction be forced to use native Ocaml pairs rather than
defining its own products?
Ewen
- extraction to pairs, Ewen Denney
Archive powered by MhonArc 2.6.16.