changeset 3064 | f04f93e5c0a9 |
parent 2967 | 89db5eedecab |
child 3067 | 4d501db6ebed |
--- a/lib/encodings/isabelle-0 Tue Apr 29 16:38:16 1997 +0200 +++ b/lib/encodings/isabelle-0 Tue Apr 29 16:39:13 1997 +0200 @@ -4,7 +4,24 @@ # The isabelle-0 encoding table. # -161: +145: + +lless +unlhd +lhd +rhd +tturnstile +langle +rangle +choice +top +Or +ocdot +iota +upsilon +Upsilon +Xi +space2 Gamma Delta Theta @@ -41,13 +58,10 @@ forall exists And - -#lceil -#rceil -#lfloor -#rfloor - -201: +lceil +rceil +lfloor +rfloor turnstile Turnstile lbrakk