Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-02-06 22:44:47 -0800 (Sun, 06 Feb 2005)
Revision: 6616
Log message:

      Annotated a few more dform "helper" opname with the ": Dform" type annotation.
      

Changes	Path
+5 -5	metaprl-branches/opname_classes4/theories/cic/cic_ind_type.ml
+1 -1	metaprl-branches/opname_classes4/theories/cic/cic_lambda.ml
+3 -3	metaprl-branches/opname_classes4/theories/experimental/mcc/fir/type/m_fir.ml
+1 -1	metaprl-branches/opname_classes4/theories/experimental/mcc/fir/type/m_prec.ml
+1 -1	metaprl-branches/opname_classes4/theories/fir/mfir_record.ml
+29 -29	metaprl-branches/opname_classes4/theories/itt/itt_comment.mli
+7 -7	metaprl-branches/opname_classes4/theories/itt/itt_int_base.ml
+4 -4	metaprl-branches/opname_classes4/theories/itt/itt_int_base.mli
+2 -2	metaprl-branches/opname_classes4/theories/itt/itt_nat.ml
+1 -1	metaprl-branches/opname_classes4/theories/itt/itt_rfun.ml