| Wed, 11 Nov 2009 14:15:11 +0100 | wenzelm | uniform use of simultabeous use_thys; | file | diff | annotate |
| Mon, 26 Jan 2009 22:14:16 +0100 | haftmann | entry point for Word library now named Word | file | diff | annotate |
| Wed, 03 Dec 2008 15:58:44 +0100 | haftmann | made repository layout more coherent with logical distribution structure; stripped some $Id$s | file | diff | annotate |
| Tue, 28 Aug 2007 03:58:37 +0200 | huffman | move WordExamples to Examples directory | file | diff | annotate |
| Mon, 20 Aug 2007 17:31:01 +0200 | huffman | no_document for Infinite_Set, Parity | file | diff | annotate |
| Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |