Changes by: ( at unknown.email)
Date: 2000-05-03 08:02:22 -0700 (Wed, 03 May 2000)
Revision: 2951
Log message:

      This commit was manufactured by cvs2svn to create branch 'unify_mm'.

Changes	Path
Copied	metaprl-branches/unify_mm
Deleted	metaprl-branches/unify_mm/theories/itt/itt_decidable.prlb