Changes by: Alexei Kopylov (kopylov at cs.caltech.edu)
Date: 2006-05-31 21:45:51 -0700 (Wed, 31 May 2006)
Revision: 9236
Log message:
Correct a typo in the documentation
Changes | Path |
+1 -1 | metaprl/theories/itt/reflection/core/itt_hoas_vector.ml |