On 2 Apr 2018, at 10:47, <michael.norr...@data61.csiro.au> <michael.norr...@data61.csiro.au> wrote: > > I take it there's nothing in the CL area that used to be something like > /usr/groups/hvg ?
I couldn't find it, though it may simply have moved somewhere. More worrying is that none of the older links on this page work anymore: http://www.cl.cam.ac.uk/research/hvg/HOL/ The source files of HOL88 are online here: https://doi.org/10.17863/CAM.10246 I downloaded them in the hope that this example would be included, but sadly not. It would be great if somebody could get their hands on some version of this proof! Larry ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info