| Fri, 04 Apr 2008 13:40:27 +0200 | haftmann | tuned | file | diff | annotate |
| Wed, 02 Apr 2008 15:58:36 +0200 | haftmann | tuned towards code generation | file | diff | annotate |
| Fri, 02 Nov 2007 12:35:27 +0100 | kleing | Added reference to Jeremy Dawson's paper on the word library. | file | diff | annotate |
| Tue, 28 Aug 2007 20:13:47 +0200 | huffman | revert to Word library version from 2007/08/20 | file | diff | annotate |
| Wed, 22 Aug 2007 18:53:54 +0200 | huffman | rename type pls to num0 | file | diff | annotate |
| Mon, 20 Aug 2007 04:34:31 +0200 | kleing | * HOL-Word: | file | diff | annotate |