Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-05-15 00:45:27 -0700 (Thu, 15 May 2003)
Revision: 4600
Log message:

      HW6 solutions.
      

Changes	Path
+1 -1	metaprl-branches/CS101_branch/mk/preface
+1 -0	metaprl-branches/CS101_branch/theories/itt/Makefile
Added	metaprl-branches/CS101_branch/theories/itt/cs101_hw6.ml
Properties	metaprl-branches/CS101_branch/theories/itt/cs101_hw6.ml
Added	metaprl-branches/CS101_branch/theories/itt/cs101_hw6.mli
Properties	metaprl-branches/CS101_branch/theories/itt/cs101_hw6.mli
Added	metaprl-branches/CS101_branch/theories/itt/cs101_hw6.prla
Properties	metaprl-branches/CS101_branch/theories/itt/cs101_hw6.prla
+2 -0	metaprl-branches/CS101_branch/theories/itt/cs101_list2.mli