src/HOL/Library/README.html
2000-10-25 wenzelm 2000-10-25 add \<le> to list of "good" symbols;
2000-10-20 wenzelm 2000-10-20 tuned;
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";