Skip to main content
PRL Project

The Book

Implementing Mathematics with The Nuprl Proof Development System

About this document ...

This document was generated using the LaTeX2HTML translator Version 2008 (1.71)

Copyright © 1993, 1994, 1995, 1996, Nikos Drakos, Computer Based Learning Unit, University of Leeds.
Copyright © 1997, 1998, 1999, Ross Moore, Mathematics Department, Macquarie University, Sydney.

The command line arguments were:
latex2html -long_titles 5 -split 3 -no_footnode -no_images doc