Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-14 16:23:36 -0700 (Wed, 14 May 2003)
Revision: 4598
Log message:

      Adding things I presented in class today.
      

Changes	Path
+2 -2	metaprl/theories/itt/itt_list.ml
+2410 -2348	metaprl/theories/itt/itt_list.prla
+3 -3	metaprl/theories/itt/itt_union.ml
+1 -0	metaprl-branches/CS101_branch/theories/itt/Makefile
Added	metaprl-branches/CS101_branch/theories/itt/cs101_list2.ml
Properties	metaprl-branches/CS101_branch/theories/itt/cs101_list2.ml
Added	metaprl-branches/CS101_branch/theories/itt/cs101_list2.mli
Properties	metaprl-branches/CS101_branch/theories/itt/cs101_list2.mli