added Using SZS link
authorNancy R Ouyang <nouyang@mit.edu>
Sun, 11 Oct 2009 02:22:24 +0000 (22:22 -0400)
committerGeoffrey Thomas <geofft@mit.edu>
Sun, 11 Oct 2009 02:31:35 +0000 (22:31 -0400)
commitd9a44b6e91add8b7ac9e9996aca059275671340b
treeceb2dd8ba26a6766d96ab921842db1ac43c91553
parentcd865013f30d6f0cd824dd8ecab815af5984982c
added Using SZS link
doc.mdwn