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

Re: nat, real & Co.




Check out the prelude definition of "posnat" (M-x vpf to view the
prelude).

Dave

---
Dr Dave Stringer-Calvert, Sr. Systems Admin, Computer Science Laboratory
SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025-3493, USA
Phone: (650) 859-3291 Fax: (650) 859-2844 David.Stringer-Calvert@sri.com