This directory contains the following files related to the Nuprl project:

1. draft-a:
  a very rough draft of part of the Nuprl V4.1 manual.

2. tut-a:
  a tutorial for beginning users of the V4.1 system.



  Paul Jackson    (jackson@cs.cornell.edu)
  21st April 93
