src/HOL/Word/document/root.tex
2007-11-05 kleing 2007-11-05 acknowledge authors
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-20 huffman 2007-08-20 new root.tex for HOL-Word