| Fri, 29 Dec 2017 19:17:52 +0100 | wenzelm | prefer formal citations; | file | diff | annotate |
| Mon, 25 Mar 2013 19:53:44 +0100 | ballarin | Remove obsolete URLs in documentation of HOL-Algebra. | file | diff | annotate |
| Thu, 06 May 2004 14:14:18 +0200 | wenzelm | tuned document; | file | diff | annotate |