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