Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2005-12-08 13:13:23 -0800 (Thu, 08 Dec 2005)
Revision: 8268
Log message:
Minor changes.
| Changes | Path |
| +5 -0 | metaprl/theories/itt/extensions/base/itt_list3.mli |
| +1 -1 | metaprl/theories/itt/extensions/vector/itt_vec_sequent_term.ml |