coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Lo�c Pottier <Loic.Pottier AT sophia.inria.fr>
- To: <Coq-club AT pauillac.inria.fr>
- Subject: [Coq-Club] Tactic Gb
- Date: Wed, 5 Nov 2003 14:48:10 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
Voici le code...
Here is the code...
L.P.
|
Attachment:
GbcoqV1.tar.gz
Description: GNU Zip compressed data
- [Coq-Club] Tactic Gb, Loïc Pottier
Archive powered by MhonArc 2.6.16.