Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2003-03-16 21:16:16 -0800 (Sun, 16 Mar 2003)
Revision: 4172
Log message:

      More on display forms and documentation
      

Changes	Path
+0 -1	metaprl/doc/latex/theories/itt/print.ml
+3 -0	metaprl/theories/itt/itt_ext_equal.ml
+5 -1	metaprl/theories/itt/itt_singleton.ml
+12 -9	metaprl/theories/itt/itt_subset.ml
+1 -1	metaprl/theories/itt/itt_subset.mli
+6 -5	metaprl/theories/itt/itt_subset2.ml
+4 -0	metaprl/theories/tactic/nuprl_font.ml
+1 -0	metaprl/theories/tactic/nuprl_font.mli