Sat, 19 Feb 2011 20:15:59 +0000 | urbanc | ALT case done | changeset | files |
Sat, 19 Feb 2011 19:27:33 +0000 | urbanc | first two proofs in 2 direction | changeset | files |
Sat, 19 Feb 2011 17:10:46 +0000 | urbanc | first proof | changeset | files |
Sat, 19 Feb 2011 12:01:16 +0000 | urbanc | updated second direction | changeset | files |
Sat, 19 Feb 2011 10:23:51 +0000 | urbanc | included comments by Chunhan | changeset | files |
Fri, 18 Feb 2011 15:06:06 +0000 | urbanc | added comment from Larry | changeset | files |
Fri, 18 Feb 2011 14:26:23 +0000 | urbanc | updated bib | changeset | files |