Changes by: Brian Emre Aydemir (baydemir at cis.upenn.edu)
Date: 2003-03-29 00:01:47 -0800 (Sat, 29 Mar 2003)
Revision: 4323
Log message:
A typo fix to the abstract, and a comment on it (I must have
writer's block or something --- I am not completely happy with the
final sentence, but I can't come up with a replacement that makes
me happy).
Changes | Path |
+6 -1 | metaprl-branches/lm_libmojave/doc/latex/theories/m-paper.tex |