| Sun, 28 Dec 2014 12:37:03 +0100 | wenzelm | modernized historic example; | file | diff | annotate |
| Sun, 02 Nov 2014 17:20:45 +0100 | wenzelm | modernized header; | file | diff | annotate |
| Fri, 12 Oct 2012 18:58:20 +0200 | wenzelm | discontinued obsolete typedef (open) syntax; | file | diff | annotate |
| 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 |