Quot/Quotient_Syntax.thy
2010-02-15 Cezary Kaliszyk Names of files.
2010-02-11 Cezary Kaliszyk Added the missing syntax file
less more (0) tip