Quot/Quotient.thy
2010-02-15 Cezary Kaliszyk Names of files.
2010-02-15 Cezary Kaliszyk Second inline
2010-02-12 Christian Urban moved "strange" lemma to quotient_tacs; marked a number of lemmas as unused; tuned
2010-02-11 Cezary Kaliszyk Notation available locally
2010-02-11 Cezary Kaliszyk Main renaming + fixes for new Isabelle in IntEx2.
less more (0) tip