| 2010-05-12 | wenzelm | removed obsolete CVS Ids; | file | diff | annotate |
| 2009-11-14 | wenzelm | moved old SList, LList, LFilter to AFP/Lazy-Lists-II; | file | diff | annotate |
| 2005-03-07 | webertj | HTML 4.01 Transitional conformity | file | diff | annotate |
| 2004-11-14 | webertj | DOCTYPE declaration added | file | diff | annotate |
| 2001-02-04 | wenzelm | updated | file | diff | annotate |
| 1998-09-01 | paulson | new theory Induct/FoldSet | file | diff | annotate |
| 1997-05-07 | paulson | Documentation for directory "Induct" | file | diff | annotate |