src/HOL/Induct/README.html
2005-03-07 webertj 2005-03-07 HTML 4.01 Transitional conformity
2004-11-14 webertj 2004-11-14 DOCTYPE declaration added
2001-02-04 wenzelm 2001-02-04 updated
1998-09-01 paulson 1998-09-01 new theory Induct/FoldSet
1997-05-07 paulson 1997-05-07 Documentation for directory "Induct"