home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lang / function / 1024 < prev    next >
Encoding:
Text File  |  1992-08-20  |  742 b   |  21 lines
  1. Newsgroups: comp.lang.functional
  2. Path: sparky!uunet!charon.amdahl.com!pacbell.com!mips!mips!munnari.oz.au!bruce.cs.monash.edu.au!alanf
  3. From: alanf@cs.monash.edu.au (Alan Grant Finlay)
  4. Subject: Where can I get Nuprl
  5. Message-ID: <alanf.714356441@bruce.cs.monash.edu.au>
  6. Summary: ftp
  7. Sender: news@bruce.cs.monash.edu.au (USENET News System)
  8. Organization: Computer Science, Monash University, Australia
  9. Date: Fri, 21 Aug 1992 00:20:41 GMT
  10. Lines: 9
  11.  
  12.  
  13. Does anyone know where I can get Nuprl by ftp (assuming there is
  14. a free version available)?
  15.  
  16. I have documentation ("Implementing Mathematics with the Nuprl Proof
  17. Development System", 1986) for version 1.0.  Are new versions upward
  18. compatible?
  19.  
  20.     Thanks, Alan.    (email alanf@bruce.cs.monash.edu.au)
  21.