build
1997-03-07 wenzelm 1997-03-07 tuned comment;
1997-03-07 wenzelm 1997-03-07 build - compile parts of the Isabelle system;