coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] disable automatic introduction?

From: Leonardo Rodriguez <leonardomatiasrodriguez AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] disable automatic introduction?
Date: Mon, 20 Oct 2014 17:31:46 -0300

O_O

I had tried "Disable Automatic Introduction"

Thank you.

2014-10-20 17:22 GMT-03:00 Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>:

Le 20 oct. 2014 à 20:57, Leonardo Rodriguez <leonardomatiasrodriguez AT gmail.com> a écrit :

Unset Automatic Introduction.
Have you tried this exact command? It should work !
Pierre B.

[Coq-Club] disable automatic introduction?, Leonardo Rodriguez, 10/20/2014
- Re: [Coq-Club] disable automatic introduction?, Pierre Boutillier, 10/20/2014
  - Re: [Coq-Club] disable automatic introduction?, Leonardo Rodriguez, 10/20/2014