IntEx2.thy
2009-12-07 Christian Urban removed usage of HOL_basic_ss by using a slighly extended version of empty_ss
2009-12-06 Cezary Kaliszyk Fix IntEx2 for equiv_list
2009-12-06 Christian Urban merged
2009-12-06 Christian Urban added a theorem list for equivalence theorems
2009-12-06 Cezary Kaliszyk Merge
2009-12-06 Cezary Kaliszyk Solved all quotient goals.
2009-12-06 Christian Urban updated Isabelle and deleted mono rules
less more (0) -7 tip