Admin/fixencoding
Sun, 13 Apr 1997 19:10:27 +0200 wenzelm fixencoding - fix references to isabelle font encoding;
less more (0) tip