| Wed, 30 Nov 2011 16:27:10 +0100 | wenzelm | prefer typedef without extra definition and alternative name; | file | diff | annotate |
| Wed, 10 Feb 2010 19:37:34 +0100 | wenzelm | renamed Library/Quotient.thy to Library/Quotient_Type.thy to avoid clash with new theory Quotient in Main HOL; | file | diff | annotate | base |