QuotMain.thy
Tue, 29 Sep 2009 09:58:02 +0200 Cezary Kaliszyk Checked again with the version on my hard-drive backedup yesterday and fixed small whitespace issues.
Tue, 29 Sep 2009 09:26:22 +0200 Cezary Kaliszyk Merged
Mon, 28 Sep 2009 19:24:55 +0200 Christian Urban consistent state
Mon, 28 Sep 2009 19:22:28 +0200 Christian Urban some tuning of my code
less more (0) -30 -10 -4 tip