Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-09-04 14:32:58 -0700 (Thu, 04 Sep 2003)
Revision: 4931
Log message:

      Added an alias for "it" - "trivial".
      

Changes  Path
+3 -0 metaprl/theories/base/base_trivial.ml
+1 -0 metaprl/theories/base/base_trivial.mli