src/HOL/IsaMakefile
1996-12-18 wenzelm 1996-12-18 IsaMakefile for HOL;