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 |