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