
2007-11-02 kleing 2007-11-02 Added reference to Jeremy Dawson's paper on the word library. Added header to remaining word/*.thy files so they show up in toc.
2007-08-28 huffman 2007-08-28 revert to Word library version from 2007/08/20
2007-08-28 huffman 2007-08-28 Word Examples directory