# HG changeset patch
# User wenzelm
# Date 860951557 -7200
# Node ID 283e31f6a4be087fe1f24d6e74bc9d8c096d05bd
# Parent  04a66be5e790e956d1c96c3d4fe38b99428bba19
tuned format;

diff -r 04a66be5e790 -r 283e31f6a4be lib/encodings/isabelle-0
--- 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