QuotMain.thy
Tue, 22 Sep 2009 09:42:27 +0200 Christian Urban some comments
Mon, 21 Sep 2009 18:18:29 +0200 Christian Urban merged
Mon, 21 Sep 2009 18:18:01 +0200 Christian Urban slight tuning
Mon, 21 Sep 2009 16:45:44 +0200 Cezary Kaliszyk The tactic with REPEAT, CHANGED and a proper simpset.
Mon, 21 Sep 2009 10:53:01 +0200 Cezary Kaliszyk Merged with my changes from the morning:
Sun, 20 Sep 2009 05:48:49 +0100 Ning some more beautification
Sun, 20 Sep 2009 05:18:36 +0100 Ning beautification of some proofs
less more (0) -10 -7 tip