Changes by: Yegor N. Bryukhov (ybryukhov at gc.cuny.edu)
Date: 2004-04-01 18:31:19 -0800 (Thu, 01 Apr 2004)
Revision: 5587
Log message:

      Display forms are started.
      I reuse math_fun from Itt_comment and later more forms might be reused.
      May be some part of Itt_comment should be moved to theory-independent
      location or to base theory?
      

Changes	Path
+1 -0	metaprl/theories/cic/OMakefile
+55 -0	metaprl/theories/cic/cic_ind_type.ml