QuotMain.thy
Wed, 21 Oct 2009 10:55:32 +0200 Cezary Kaliszyk preparing arguments for res_inst_tac
less more (0) -100 -30 -10 -1 tip