ftp://ftp.informatik.tu-muenchen.de/local/lehrstuhl/nipkow/slind/hol90/contrib/
