# HG changeset patch
# User wenzelm
# Date 859975142 -7200
# Node ID 103bd2dc33b03dc9d0b5a3331cea8646d1f9dce1
# Parent  d97f5f424b979bc0a9b21d94c8f56b80163b3bdc
The isabelle-0 encoding table.

diff -r d97f5f424b97 -r 103bd2dc33b0 lib/encodings/isabelle-0
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/encodings/isabelle-0	Wed Apr 02 11:59:02 1997 +0200
@@ -0,0 +1,103 @@
+#
+# $Id$
+#
+# The isabelle-0 encoding table.
+#
+
+161-255:
+
+Gamma
+Delta
+Theta
+Lambda
+Pi
+Sigma
+Phi
+Psi
+Omega
+alpha
+beta
+gamma
+delta
+epsilon
+zeta
+eta
+theta
+kappa
+lambda
+mu
+nu
+xi
+pi
+rho
+sigma
+tau
+phi
+chi
+psi
+omega
+not
+and
+or
+forall
+exists
+And
+lceil
+rceil
+lfloor
+rfloor
+turnstile
+Turnstile
+lbrakk
+rbrakk
+cdot
+in
+subseteq
+inter
+union
+Inter
+Union
+sqinter
+squnion
+Sqinter
+Squnion
+bottom
+doteq
+equiv
+noteq
+sqsubset
+sqsubseteq
+prec
+preceq
+succ
+approx
+sim
+simeq
+le
+Colon
+leftarrow
+midarrow
+rightarrow
+Leftarrow
+Midarrow
+Rightarrow
+bow
+mapsto
+leadsto
+up
+down
+notin
+times
+oplus
+ominus
+otimes
+oslash
+subset
+infinity
+box
+diamond
+circ
+bullet
+parallel
+surd
+copyright