coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club]Xml and coq8.1

From: Thery Laurent <thery AT ns.di.univaq.it>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club]Xml and coq8.1
Date: Wed, 7 Mar 2007 15:03:30 +0100 (CET)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

Hi,

when trying to communite in Xml with the command external in 8.1
I get the following message

Anomaly: No discharged hypothesis for object test.term.

What does this mean?

--
Laurent

[Coq-Club]and_rec, Edsko de Vries
- Re: [Coq-Club]and_rec, jean-francois . monin
  - Re: [Coq-Club]and_rec, Edsko de Vries
    - Re: [Coq-Club]and_rec, Pierre Cast�ran
      - [Coq-Club]Xml and coq8.1, Thery Laurent
- Re: [Coq-Club]and_rec, Benjamin Werner
  - Re: [Coq-Club]and_rec, Edsko de Vries
- Re: [Coq-Club]and_rec, Jean.Duprat