Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-11-16 05:19:54 -0800 (Wed, 16 Nov 2005)
Revision: 8190
Log message:
The .prla got corrupted. :-( Committing it again.
Changes | Path |
+306 -533 | metaprl/theories/itt/core/itt_nat.prla |