build
1997-03-11 wenzelm 1997-03-11 major tuning;
1997-03-11 wenzelm 1997-03-11 added THIS_IS_ISABELLE_BUILD;
1997-03-07 wenzelm 1997-03-07 fixed src path;
1997-03-07 wenzelm 1997-03-07 tuned comment;
1997-03-07 wenzelm 1997-03-07 build - compile parts of the Isabelle system;