Changes by: Eli Barzilay (eli at cs.cornell.edu)
Date: 1999-05-27 05:31:06 -0700 (Thu, 27 May 1999)
Revision: 2677
Log message:

      Fix some slot[lt]{...} and slot[le]{...} to use quotes.
      

Changes	Path
+16 -16	metaprl/theories/itt/itt_int.ml
+9 -9	metaprl/theories/itt/itt_logic.ml
+1 -1	metaprl/theories/itt/itt_rfun.ml