coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Adding modalities to coq

From: Mehrnoosh Sadrzadeh <mehrnoosh_sadr AT yahoo.com>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Adding modalities to coq
Date: Tue, 29 Oct 2002 14:07:55 -0800 (PST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi all,
Does anyone know of a work done on adding modalities
to coq that could refer it to me?
Thanks,
Mehrnoosh

__________________________________________________
Do you Yahoo!?
HotJobs - Search new jobs daily now
http://hotjobs.yahoo.com/

[Coq-Club] Adding modalities to coq, Mehrnoosh Sadrzadeh