Quot/Examples/IntEx.thy
2009-12-08 Christian Urban implemented cleaning strategy with fun_map.simps on non-bounded variables; still a few rough edges
2009-12-08 Christian Urban decoupled QuotProd from QuotMain and also started new cleaning strategy
2009-12-08 Christian Urban proper formulation of all preservation theorems
2009-12-08 Christian Urban chnaged syntax to "lifting theorem"
2009-12-08 Christian Urban changed names of attributes
2009-12-08 Christian Urban added methods for the lifting_tac and the other tacs
less more (0) -10 -6 tip