Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-06-04 07:41:18 -0700 (Wed, 04 Jun 2003)
Revision: 4643
Log message:

      - Fixed a few extracts on primitive rules.
      - One of the prim rules in itt_subtype can be derived.
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_disect.ml
+2 -2	metaprl/theories/itt/itt_prec.ml
+1 -1	metaprl/theories/itt/itt_set.ml
+1 -1	metaprl/theories/itt/itt_struct.ml
+12 -13	metaprl/theories/itt/itt_subtype.ml
+3969 -3868	metaprl/theories/itt/itt_subtype.prla
+3 -3	metaprl/theories/itt/itt_union.ml