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