IntEx.thy
2009-11-27 Christian Urban renamed REGULARIZE to be regularize
2009-11-25 Cezary Kaliszyk applic_prs
2009-11-25 Cezary Kaliszyk Removed unused things from QuotMain.
2009-11-25 Cezary Kaliszyk cleaning in MyInt
2009-11-25 Christian Urban fixed the problem with generalising variables; at the moment it is quite a hack
2009-11-24 Christian Urban added a prepare_tac
2009-11-24 Cezary Kaliszyk Moved cleaning to QuotMain
less more (0) -30 -10 -7 tip