Mon, 01 Feb 2016 13:59:55 +0000 ReStar changes
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Feb 2016 13:59:55 +0000] rev 92
ReStar changes
Mon, 01 Feb 2016 13:46:28 +0000 more lemmas for star
Christian Urban <christian dot urban at kcl dot ac dot uk> [Mon, 01 Feb 2016 13:46:28 +0000] rev 91
more lemmas for star
(0) -30 -10 -2 +2 +10 +30 +100 +300 tip