Quot/QuotMain.thy
Tue, 08 Dec 2009 22:24:24 +0100 Christian Urban decoupled QuotProd from QuotMain and also started new cleaning strategy
Tue, 08 Dec 2009 20:34:00 +0100 Christian Urban properly set up the prs_rules
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 -6 tip