[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Instanciations

To: Laurent FERIER <lfe@info.fundp.ac.be>
Subject: Re: Instanciations
From: Dave Stringer-Calvert <dave_sc@csl.sri.com>
Date: Wed, 02 Dec 1998 10:55:38 -0800
cc: pvs-help@csl.sri.com, lfe.leibniz.info.fundp.ac.be@fundp.ac.be
In-reply-to: Your message of "Wed, 02 Dec 1998 12:47:11 +0100." <366528BF.2BF3@info.fundp.ac.be>


Laurent -

In (inst -1 "I2!1" "I1!1" "-") you should use "_" (underscore)
and not "-" (minus) to get the effect you're looking for.  This
is described further on page 44 of the Prover Guide.

Dave

---
Dr Dave Stringer-Calvert, Software Engineer, Computer Science Laboratory,
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA.
Phone: (650) 859-3291    Fax: (650) 859-2844   Email: dave_sc@csl.sri.com

References:
- Instanciations
  - From: Laurent FERIER <lfe@info.fundp.ac.be>

Prev by Date: Instanciations
Next by Date: Re: Instanciating unboud varaibles
Prev by thread: Instanciations
Next by thread: Question about With
Index(es):
- Date
- Thread