| Sun, 11 Apr 2010 15:42:05 +0200 | wenzelm | stay within Local_Defs layer; | file | diff | annotate |
| Sat, 27 Mar 2010 14:48:46 +0100 | Cezary Kaliszyk | Automated lifting can be restricted to specific quotient types | file | diff | annotate |
| Sun, 14 Mar 2010 14:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
| Sun, 07 Mar 2010 11:57:16 +0100 | wenzelm | modernized structure Local_Defs; | file | diff | annotate |
| Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |