Quot/QuotMain.thy
Tue, 08 Dec 2009 17:43:32 +0100 Christian Urban merged
Tue, 08 Dec 2009 17:40:58 +0100 Christian Urban added preserve rules to the cleaning_tac
Tue, 08 Dec 2009 17:39:34 +0100 Cezary Kaliszyk merge
Tue, 08 Dec 2009 17:35:04 +0100 Cezary Kaliszyk cleaning.
less more (0) -10 -4 tip