The Nuprl Proof Development System
By the PRL Group:
Computer Science Department
Ithaca, NY 14853
This research supported in part by the National Science Foundation under
grant DCR83-03327. Copyright © 1985 by R. L. Constable and
Prentice--Hall. Copyright © 1995 by Cornell University.
Thu Sep 14 08:45:18 EDT 1995