Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-01-23 12:04:34 -0800 (Thu, 23 Jan 2003)
Revision: 4011
Log message:

      Doccumentation fixes:
      - section/subsection headings should be inside @doc
      (or its equivalent @begin[doc]/@end[doc])
      - theory should end in @docoff mode (otherwise some junk is printed at the end)
      

Changes	Path
+9 -6	metaprl/theories/itt/itt_record.ml
+1 -0	metaprl/theories/itt/itt_well_founded.ml