Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2003-04-23 01:55:28 -0700 (Wed, 23 Apr 2003)
Revision: 4475
Log message:

      Added basic documentation to the class lambda calc. theory.
      

Changes	Path
+5 -0	metaprl/theories/tactic/comment.ml
+1 -0	metaprl/theories/tactic/comment.mli
+38 -15	metaprl-branches/CS101_branch/theories/cs101/cs101_lc.ml
+1 -0	texinputs/metaprl.tex