Quot/QuotMain.thy
2009-12-08 Christian Urban added methods for the lifting_tac and the other tacs
2009-12-08 Cezary Kaliszyk make_inst3
2009-12-08 Cezary Kaliszyk trans2 replaced with equals_rsp_tac
less more (0) -10 -3 tip