Cambridge University Press 1.1 Time Clock User Manual


  Open as PDF
of 116
 
The HOL Light manual (1.1)
John Harrison
University of Cambridge Computer Laboratory
New Museums Site
Pembroke Street
Cambridge CB2 3QG
ENGLAND
jrh@cl.cam.ac.uk
http://www.cl.cam.ac.uk/users/jrh
21 April 2000
next