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
Mon, 28 Sep 2009 19:15:19 +0200 Cezary Kaliszyk Cleanup
Mon, 28 Sep 2009 19:10:27 +0200 Cezary Kaliszyk Merged
Mon, 28 Sep 2009 18:59:04 +0200 Cezary Kaliszyk Cleaning the code with Makarius
less more (0) -30 -10 -7 tip