coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]seeking helpon Coq.

From: Israt Jahan <isratju1 AT yahoo.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]seeking helpon Coq.
Date: Sat, 18 Mar 2006 20:36:45 -0800 (PST)
Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=s1024; d=yahoo.com; h=Message-ID:Received:Date:From:Subject:To:MIME-Version:Content-Type:Content-Transfer-Encoding; b=VUjrvggSI2UrvsILsC4NOJUEcZ84XH+Pf2jmenGgvyOgUUa/bdmesw79fZCeXaAm1Jmrv9WNCY8We5Wahxu3+hDR/sbwcRl4+OQB5zJsvzQjE+5wphv7sAof9OhyOfQbLTxf7aAMbXoUTNp3ecqyFQcYn9FrUf6pRfxWCnB7g8U= ;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Sir,

When I write ' Require Import securite', then after compilation, the answer is securite library is not found on the load path. Sir, my question is whether securite library exists in coq version 8.0.

Thanks,

Israt Jahan

Yahoo! Mail
Bring photos to life! New PhotoMail makes sharing a breeze.

[Coq-Club]seeking helpon Coq., Israt Jahan