Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2002-10-29 15:09:23 -0800 (Tue, 29 Oct 2002)
Revision: 3917
Log message:

      Itt_well_founded should go after Itt_logic (noticed by Xin).
      

Changes	Path
+1 -1	metaprl/doc/latex/theories/itt/print.ml