Quot/QuotMain.thy
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
less more (0) -10 -4 tip