I have just managed to locate Jeff Joyce's "Tamarack-2" files, which he describes as slightly simplified compared with the original Gordon computer. They are dated 1989 and the comments suggest that they are for HOL88. I guess they will bring back the memories for some people. But it would probably take a lot of work to get them to run in a modern version of HOL.
http://www.cl.cam.ac.uk/~lp15/tmp/tamarack2.zip 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
