coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Seeking help on Coq

From: Israt Jahan <isratju1 AT yahoo.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]Seeking help on Coq
Date: Wed, 15 Mar 2006 20:38:27 -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=j5/3hj2lL6sdd1BNhv2LcEet6GU9NmariRsSSQW8tzR/PtZ2T2h1F8lzgdlVkU4aoB5mRikTqhaudLMmZHLdUlgzwqs1OGTvIS/xM9YBIi8vW/ajEIbj0LF/6bHiqxqNPHx1qLCwDv/JUKSjCO7OvwlfDzBPgXOiXmVIxlKIQY4= ;
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Sir,

In Coq version 8.0, what command is used instead of the command Syntactic Definition.

Israt Jahan.

__________________________________________________
Do You Yahoo!?
Tired of spam? Yahoo! Mail has the best spam protection around
http://mail.yahoo.com

[Coq-Club]Seeking help on Coq, Israt Jahan
- Re: [Coq-Club]Seeking help on Coq, Pierre Casteran
- <Possible follow-ups>
- [Coq-Club]Seeking help on Coq, Israt Jahan
  - Re: [Coq-Club]Seeking help on Coq, Adam Chlipala