The sources of HOL 90 (various versions) Mike Gordon supplied these 14-02-2017: These are various ancient HOL source directories I found at /usr/groups/hol at Cambridge.