PeterSewell/netsem — pull request #1 by mn200 (2014-08-11 05:32:54+00:00)
Title: Updates to get Spec1 building with a modern HOL4

Includes a copy of the holdoc tool, brought over from the HOL repository.