lib/encodings/isabelle-0
author wenzelm
Fri Oct 05 21:52:39 2001 +0200 (2001-10-05)
changeset 11701 3d51fbf81c17
parent 9960 07521b6eb888
permissions -rw-r--r--
sane numerals (stage 1): added generic 1, removed 1' and 2 on nat,
"num" syntax (still with "#"), Numeral0, Numeral1;
wenzelm@2864
     1
#
wenzelm@2864
     2
# $Id$
wenzelm@9818
     3
# Author: Markus Wenzel, TU Muenchen
wenzelm@9818
     4
# License: GPL (GNU GENERAL PUBLIC LICENSE)
wenzelm@2864
     5
#
wenzelm@2864
     6
# The isabelle-0 encoding table.
wenzelm@2864
     7
#
wenzelm@2864
     8
wenzelm@3068
     9
#145:
wenzelm@3068
    10
#
wenzelm@3068
    11
#lless
wenzelm@3068
    12
#unlhd
wenzelm@3068
    13
#lhd
wenzelm@3068
    14
#rhd
wenzelm@3068
    15
#tturnstile
wenzelm@3068
    16
#langle
wenzelm@3068
    17
#rangle
wenzelm@3068
    18
#orelse
wenzelm@3068
    19
#top
wenzelm@3068
    20
#Or
wenzelm@3068
    21
#ocdot
wenzelm@3068
    22
#iota
wenzelm@3068
    23
#upsilon
wenzelm@3068
    24
#Upsilon
wenzelm@3068
    25
#Xi
wenzelm@3064
    26
wenzelm@3068
    27
160:
wenzelm@3068
    28
oheimb@6281
    29
spacespace
wenzelm@2864
    30
Gamma
wenzelm@2864
    31
Delta
wenzelm@2864
    32
Theta
wenzelm@2864
    33
Lambda
wenzelm@2864
    34
Pi
wenzelm@2864
    35
Sigma
wenzelm@2864
    36
Phi
wenzelm@2864
    37
Psi
wenzelm@2864
    38
Omega
wenzelm@2864
    39
alpha
wenzelm@2864
    40
beta
wenzelm@2864
    41
gamma
wenzelm@2864
    42
delta
wenzelm@2864
    43
epsilon
wenzelm@2864
    44
zeta
wenzelm@2864
    45
eta
wenzelm@2864
    46
theta
wenzelm@2864
    47
kappa
wenzelm@2864
    48
lambda
wenzelm@2864
    49
mu
wenzelm@2864
    50
nu
wenzelm@2864
    51
xi
wenzelm@2864
    52
pi
wenzelm@2864
    53
rho
wenzelm@2864
    54
sigma
wenzelm@2864
    55
tau
wenzelm@2864
    56
phi
wenzelm@2864
    57
chi
wenzelm@2864
    58
psi
wenzelm@2864
    59
omega
wenzelm@2864
    60
not
wenzelm@2864
    61
and
wenzelm@2864
    62
or
wenzelm@2864
    63
forall
wenzelm@2864
    64
exists
wenzelm@2864
    65
And
wenzelm@3064
    66
lceil
wenzelm@3064
    67
rceil
wenzelm@3064
    68
lfloor
wenzelm@3064
    69
rfloor
wenzelm@2864
    70
turnstile
wenzelm@2864
    71
Turnstile
wenzelm@2864
    72
lbrakk
wenzelm@2864
    73
rbrakk
wenzelm@2864
    74
cdot
wenzelm@2864
    75
in
wenzelm@2864
    76
subseteq
wenzelm@2864
    77
inter
wenzelm@2864
    78
union
wenzelm@2864
    79
Inter
wenzelm@2864
    80
Union
wenzelm@2864
    81
sqinter
wenzelm@2864
    82
squnion
wenzelm@2864
    83
Sqinter
wenzelm@2864
    84
Squnion
wenzelm@2864
    85
bottom
wenzelm@2864
    86
doteq
wenzelm@2864
    87
equiv
wenzelm@2864
    88
noteq
wenzelm@2864
    89
sqsubset
wenzelm@2864
    90
sqsubseteq
wenzelm@2864
    91
prec
wenzelm@2864
    92
preceq
wenzelm@2864
    93
succ
wenzelm@2864
    94
approx
wenzelm@2864
    95
sim
wenzelm@2864
    96
simeq
wenzelm@2864
    97
le
wenzelm@2864
    98
Colon
wenzelm@2864
    99
leftarrow
wenzelm@2864
   100
midarrow
wenzelm@2864
   101
rightarrow
wenzelm@2864
   102
Leftarrow
wenzelm@2864
   103
Midarrow
wenzelm@2864
   104
Rightarrow
wenzelm@9960
   105
frown
wenzelm@2864
   106
mapsto
wenzelm@2864
   107
leadsto
wenzelm@2864
   108
up
wenzelm@2864
   109
down
wenzelm@2864
   110
notin
wenzelm@2864
   111
times
wenzelm@2864
   112
oplus
wenzelm@2864
   113
ominus
wenzelm@2864
   114
otimes
wenzelm@2864
   115
oslash
wenzelm@2864
   116
subset
wenzelm@2864
   117
infinity
wenzelm@2864
   118
box
wenzelm@2864
   119
diamond
wenzelm@2864
   120
circ
wenzelm@2864
   121
bullet
wenzelm@2864
   122
parallel
wenzelm@2864
   123
surd
wenzelm@2864
   124
copyright