Each applications page contains a brief introduction to the application. This is followed by a more detailed account which describes how the examples being learnt from are represented using predicates. The page ends with links to our FTP site via which you can download the appropriate dataset. A few pages have datasets for both Golem and Progol; most, though, provide data for only one of these programs. The page also references the original papers for our experiments with the dataset, and points to LaTeX and PostScript README files which are similar in content to the page.