Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2001-06-23 19:35:09 -0700 (Sat, 23 Jun 2001)
Revision: 3288
Log message:

      Converted remining .prlb's in CVS into .prla's.
      I had two kill 3 .prlb files - they were too old and could no longer be read.
      

Changes	Path
Binary	metaprl/theories/fol/fol_all_itt.prlb
Added	metaprl/theories/fol/fol_ctheory.prla
Properties	metaprl/theories/fol/fol_ctheory.prla
Binary	metaprl/theories/fol/fol_ctheory.prlb
Binary	metaprl/theories/fol/fol_type_itt.prlb
+2 -2	metaprl/theories/fol/fol_univ_itt.ml
Binary	metaprl/theories/fol/fol_univ_itt.prlb
+9 -9	metaprl/theories/reflect_itt/refl_free_vars.ml
Added	metaprl/theories/reflect_itt/refl_free_vars.prla
Properties	metaprl/theories/reflect_itt/refl_free_vars.prla
Binary	metaprl/theories/reflect_itt/refl_free_vars.prlb
+20 -20	metaprl/theories/reflect_itt/refl_raw_term.ml
Added	metaprl/theories/reflect_itt/refl_raw_term.prla
Properties	metaprl/theories/reflect_itt/refl_raw_term.prla
Binary	metaprl/theories/reflect_itt/refl_raw_term.prlb
+76 -76	metaprl/theories/reflect_itt/refl_term.ml
Added	metaprl/theories/reflect_itt/refl_term.prla
Properties	metaprl/theories/reflect_itt/refl_term.prla
Binary	metaprl/theories/reflect_itt/refl_term.prlb
+14 -14	metaprl/theories/reflect_itt/refl_var.ml
Added	metaprl/theories/reflect_itt/refl_var.prla
Properties	metaprl/theories/reflect_itt/refl_var.prla
Binary	metaprl/theories/reflect_itt/refl_var.prlb
+49 -49	metaprl/theories/reflect_itt/refl_var_set.ml
Added	metaprl/theories/reflect_itt/refl_var_set.prla
Properties	metaprl/theories/reflect_itt/refl_var_set.prla
Binary	metaprl/theories/reflect_itt/refl_var_set.prlb