featurep(e, real)

• Subject: featurep(e, real)
• From: Barton Willis
• Date: Mon, 15 May 2006 11:50:02 -0500

-----Robert Dodier wrote: -----

>I don't understand why realvalued is needed.

Because assume(gamma,real) shouldn't imply
that featurep(gamma(z), real) --> true.
Barton

• Prev by Date: featurep(e, real)
• Next by Date: Comments on realp; Was: featurep(e, real)
• Previous by thread: featurep(e, real)
• Next by thread: featurep(e, real)
• Index(es):
  • Date
  • Thread