coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] New feature for checking dependability on Axioms?

From: Matthieu Sozeau <Matthieu.Sozeau AT lri.fr>
To: Adam Koprowski <adam.koprowski AT gmail.com>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: [Coq-Club] New feature for checking dependability on Axioms?
Date: Wed, 14 Jan 2009 15:31:07 +0100
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Print Assumptions [constant].

Le 14 janv. 09 � 15:18, Adam Koprowski a �crit :

   Dear all,

I remember reading somewhere that there is a new feature in Coq 8.2 allowing to check for any given lemma what axioms it depends on. That would be really useful to have but, in spite of trying hard, I really cannot recall it or find anywhere. Any help?

   Cheers,
   Adam

--
=====================================================
Adam.Koprowski AT gmail.com,
http://www.cs.ru.nl/~Adam.Koprowski
The difference between impossible and possible
lies in determination (Tommy Lasorda)
=====================================================

[Coq-Club] New feature for checking dependability on Axioms?, Adam Koprowski
- Re: [Coq-Club] New feature for checking dependability on Axioms?, Matthieu Sozeau