src/HOL/Library/ROOT.ML
2001-01-26 nipkow 2001-01-26 Merged Example into While_Combi
2000-10-18 wenzelm 2000-10-18 "The Supplemental Isabelle/HOL Library";