Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | 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 |
Wed, 10 Feb 2010 14:12:02 +0100 | haftmann | revert uninspired Structure_Syntax experiment | file | diff | annotate |
Mon, 08 Feb 2010 14:08:32 +0100 | haftmann | merged | file | diff | annotate |
Mon, 08 Feb 2010 14:06:41 +0100 | haftmann | separate library theory for type classes combining lattices with various algebraic structures | file | diff | annotate |
Mon, 08 Feb 2010 10:36:02 +0100 | haftmann | separate theory for index structures | file | diff | annotate |
Mon, 07 Dec 2009 14:54:01 +0100 | haftmann | merged Crude_Executable_Set into Executable_Set | file | diff | annotate |