Tue, 11 May 2010 07:45:47 +0100 | Christian Urban | tuned proof so that no simplifier warning is printed | file | diff | annotate |
Thu, 22 Apr 2010 11:55:19 +0200 | Cezary Kaliszyk | fun_rel introduction and list_rel elimination for quotient package | file | diff | annotate |
Tue, 20 Apr 2010 14:56:58 +0200 | Cezary Kaliszyk | respectfullness and preservation of map for identity quotients | file | diff | annotate |
Thu, 15 Apr 2010 16:55:12 +0200 | Cezary Kaliszyk | Respectfullness and preservation of list_rel | file | diff | annotate |
Sun, 14 Mar 2010 14:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |