Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2005-10-27 15:16:31 -0700 (Thu, 27 Oct 2005)
Revision: 8008
Log message:

      Added a listing of all the primitive rules in the core

Changes  Path
Added metaprl/theories/itt/extensions/pairwise-verification.txt
Properties metaprl/theories/itt/extensions/pairwise-verification.txt