Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 1999-07-05 06:58:43 -0700 (Mon, 05 Jul 1999)
Revision: 2787
Log message:

      There is no reason to keep these .prlb files
      

Changes	Path
Added	metaprl/theories/itt/itt_decidable.prla
Properties	metaprl/theories/itt/itt_decidable.prla
Deleted	metaprl/theories/itt/itt_decidable.prlb
Binary	metaprl/theories/itt/itt_sort.prlb