| Fri, 23 Jul 2010 18:42:35 +0200 | wenzelm | observe standard conventions for doc-strings; | file | diff | annotate |
| Thu, 08 Jul 2010 16:19:24 +0200 | haftmann | tuned titles | file | diff | annotate |
| Mon, 17 May 2010 23:54:15 +0200 | wenzelm | prefer structure Keyword, Parse, Parse_Spec, Outer_Syntax; | file | diff | annotate |
| Sun, 14 Mar 2010 14:31:24 +0100 | wenzelm | observe standard header format; | file | diff | annotate |
| 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 |