Admin/fixencoding
1997-04-16 wenzelm 1997-04-16 fixed perl path (for sunbroys);
1997-04-13 wenzelm 1997-04-13 fixed file name;
1997-04-13 wenzelm 1997-04-13 fixencoding - fix references to isabelle font encoding;