The following videos try to give a general overview of Holfoot. There is a short (about 7 min) presentation (PDF, Flash-Video) available for people who just want a very quick, high-level view. Additionally, there is a longer (about 30 min) presentation (PDF, Flash-Video 1, 2, 3). This longer presentation is based on my talk at TPHOLs 2009. It is separated into 3 parts.
Here the video will be shown.