Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
Thu, 05 Nov 2015 10:39:49 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
Thu, 24 Sep 2015 13:33:42 +0200 | wenzelm | explicit indication of overloaded typedefs; | file | diff | annotate |
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 |