QuotList.thy
2009-12-05 Cezary Kaliszyk Used symmetric definitions. Moved quotient_rsp to QuotMain.
2009-12-05 Cezary Kaliszyk Proved foldl_rsp and ho_map_rsp
2009-12-04 Cezary Kaliszyk more name cleaning and removing
2009-12-04 Cezary Kaliszyk More code cleaning and renaming: moved rsp and prs lemmas from Int to QuotList
2009-12-04 Cezary Kaliszyk Cleaning & Renaming coming from QuotList
2009-12-04 Cezary Kaliszyk Even more name changes and cleaning
2009-12-04 Christian Urban smaller theory footprint
2009-12-04 Cezary Kaliszyk More name changes
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