Quot/QuotBase.thy
2010-02-05 Cezary Kaliszyk Fixes for Bex1 removal.
2010-01-28 Cezary Kaliszyk Renamed Bexeq to Bex1_rel
2010-01-26 Cezary Kaliszyk Bex1_Bexeq_regular.
2010-01-26 Christian Urban merged
2010-01-26 Cezary Kaliszyk more eq_reflection & other cleaning.
2010-01-26 Cezary Kaliszyk Removing more eq_reflections.
2010-01-25 Christian Urban properly commented out the "unused lemmas section" and moved actually used lemmas elsewhere; added two minor items to the TODO list
2010-01-25 Christian Urban renamed QuotScript to QuotBase
less more (0) tip