src/HOL/Library/document/root.tex
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";