QuotScript.thy
2009-10-16 Cezary Kaliszyk Progressing with the proof
2009-10-15 Cezary Kaliszyk A number of lemmas for REGULARIZE_TAC and regularizing card1.
2009-10-14 Cezary Kaliszyk Proving the proper RepAbs version
2009-10-14 Cezary Kaliszyk Manually regularized list_induct2
2009-08-11 Christian Urban initial commit
less more (0) tip