Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-03-21 01:16:52 -0800 (Fri, 21 Mar 2003)
Revision: 4203
Log message:

      Proved couple of rules that used to be prim.
      

Changes	Path
+15 -17	metaprl/theories/itt/itt_set.ml
Added	metaprl/theories/itt/itt_set.prla
Properties	metaprl/theories/itt/itt_set.prla