/Makefile/1.1/Mon Jun 28 15:59:00 1999//
/hol-mode.tex/1.5/Thu Jan 27 10:16:29 2000//
D
