QuotMain.thy
Tue, 29 Sep 2009 10:49:31 +0200 Cezary Kaliszyk Tested new build_goal and removed old one, eq_reflection is included in atomize, card_suc tests.
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
less more (0) -30 -10 -3 tip