/[mojave]/metaprl/theories/itt/itt_theory.ml
ViewVC logotype

Diff of /metaprl/theories/itt/itt_theory.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3583 by nogin, Fri Jul 13 21:34:19 2001 UTC revision 3584 by nogin, Thu Apr 25 15:28:40 2002 UTC
# Line 4  Line 4 
4   *   *
5   * The @tt{Itt_theory} module collects all of the modules in the   * The @tt{Itt_theory} module collects all of the modules in the
6   * @Nuprl type theory.  This is the basic module to use when   * @Nuprl type theory.  This is the basic module to use when
7   * stating and proving theorems the the @Nuprl type theory.   * stating and proving theorems in the @Nuprl type theory.
8   * @end[doc]   * @end[doc]
9   *   *
10   * ----------------------------------------------------------------   * ----------------------------------------------------------------

Legend:
Removed from v.3583  
changed lines
  Added in v.3584

  ViewVC Help
Powered by ViewVC 1.1.26