Tue, 23 Feb 2010 14:11:46 +0100 | Cezary Kaliszyk | export prs_rules and rsp_rules attributes | file | diff | annotate |
Mon, 22 Feb 2010 10:28:00 +0100 | Cezary Kaliszyk | rename print_maps to print_quotmaps | file | diff | annotate |
Fri, 19 Feb 2010 22:06:52 +0100 | wenzelm | made SML/NJ happy; | file | diff | annotate |
Fri, 19 Feb 2010 13:54:19 +0100 | Cezary Kaliszyk | Initial version of HOL quotient package. | file | diff | annotate |