![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 140px-ClareCollegeCrest.svg.png | 2019-08-08 16:50 | 10K | |
| Download.gif | 2019-08-08 16:50 | 1.9K | |
| ERC-10-LOGO_WHITE.jpg | 2019-08-08 16:50 | 380K | |
| ERC-LOGO.jpg | 2019-08-08 16:50 | 190K | |
| Jech-118-footnotes.png | 2019-08-08 16:50 | 633K | |
| Larry-Friend.jpg | 2019-08-08 16:50 | 47K | |
| RS-logo-310x190.jpg | 2019-08-08 16:50 | 12K | |
| UnivArms.gif | 2019-08-08 16:50 | 2.3K | |
| UnivHeader.gif | 2020-05-18 15:36 | 5.2K | |
| _notes/ | 2019-08-08 16:50 | - | |
| acm-logo.jpg | 2019-08-08 16:50 | 52K | |
| clare.gif | 2019-08-08 16:50 | 605 | |
| download-icon.png | 2019-08-08 16:50 | 2.8K | |
| epsrc-160.gif | 2019-08-08 16:50 | 4.2K | |
| epsrc2b.gif | 2019-08-08 16:50 | 7.3K | |
| esprit.gif | 2019-08-08 16:50 | 2.0K | |
| isabelle-mini.gif | 2020-05-18 15:36 | 1.0K | |
| isabelle.gif | 2019-08-08 16:50 | 9.6K | |
| isabelle_hol.gif | 2019-08-08 16:50 | 10K | |
| isabelle_holcf.gif | 2020-05-18 15:36 | 10K | |
| isabelle_transparent.gif | 2020-05-18 15:36 | 9.1K | |
| isabelle_zf.gif | 2019-08-08 16:50 | 9.9K | |
| knuth-small.jpg | 2019-08-08 16:50 | 10K | |
| larry-home-small.jpg | 2019-08-08 16:50 | 72K | |
| larry-paulson.jpg | 2020-05-18 15:36 | 16K | |
| larry-paulsons.gif | 2020-05-18 15:36 | 4.5K | |
| new.gif | 2019-08-08 16:50 | 1.4K | |
| pdficonsmall.gif | 2019-08-08 16:50 | 153 | |
| pilkington-full.jpg | 2019-08-08 16:50 | 392K | |
| pilkington-original.jpg | 2021-04-25 10:37 | 3.4M | |
| pilkington.jpg | 2019-08-08 16:50 | 31K | |
| royal-society.png | 2019-08-08 16:50 | 44K | |
| sledgehammer.gif | 2019-08-08 16:50 | 1.8K | |
| tumlogo.gif | 2019-08-08 16:50 | 471 | |
| updated.gif | 2019-08-08 16:50 | 182 | |
| warning.gif | 2019-08-08 16:50 | 945 | |
