changeset 3068 | b7562e452816 |
parent 3067 | 4d501db6ebed |
child 6281 | 25d41c118304 |
--- a/lib/encodings/isabelle-0 Tue Apr 29 17:23:53 1997 +0200 +++ b/lib/encodings/isabelle-0 Tue Apr 29 17:38:02 1997 +0200 @@ -4,23 +4,26 @@ # The isabelle-0 encoding table. # -145: +#145: +# +#lless +#unlhd +#lhd +#rhd +#tturnstile +#langle +#rangle +#orelse +#top +#Or +#ocdot +#iota +#upsilon +#Upsilon +#Xi -lless -unlhd -lhd -rhd -tturnstile -langle -rangle -orelse -top -Or -ocdot -iota -upsilon -Upsilon -Xi +160: + space2 Gamma Delta