Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 1999-05-30 15:00:34 -0700 (Sun, 30 May 1999)
Revision: 2680
Log message:

      In Itt_list.nilFormation, 'A list should be list{'A}.
      Thanks to Carl Witty <cwitty@newtonlabs.com>.
      

Changes	Path
+1 -1	metaprl/theories/itt/itt_list.ml
+1 -1	metaprl/theories/itt/itt_list.mli