Fri, 25 Feb 2011 21:23:30 +0000 | Christian Urban | some slight polishing | changeset | files |
Thu, 24 Feb 2011 18:50:02 +0000 | Christian Urban | merged | changeset | files |
Thu, 24 Feb 2011 16:26:11 +0000 | Christian Urban | added a lemma about fresh_star and Abs | changeset | files |