--- a/lib/encodings/isabelle-0 Sun Apr 13 19:11:32 1997 +0200 +++ b/lib/encodings/isabelle-0 Sun Apr 13 19:12:37 1997 +0200 @@ -4,8 +4,7 @@ # The isabelle-0 encoding table. # -161-255: - +161: Gamma Delta Theta