QuotList.thy
2009-12-04 Cezary Kaliszyk Fixes after big merge.
2009-12-04 Cezary Kaliszyk Changing = to \<equiv> in case if we want to use simp.
2009-09-29 Christian Urban used new cong_tac
2009-08-11 Christian Urban initial commit
less more (0) tip