lib/encodings/isabelle-0
changeset 3067 4d501db6ebed
parent 3064 f04f93e5c0a9
child 3068 b7562e452816
equal deleted inserted replaced
3066:3c548f92e032 3067:4d501db6ebed
    11 lhd
    11 lhd
    12 rhd
    12 rhd
    13 tturnstile
    13 tturnstile
    14 langle
    14 langle
    15 rangle
    15 rangle
    16 choice
    16 orelse
    17 top
    17 top
    18 Or
    18 Or
    19 ocdot
    19 ocdot
    20 iota
    20 iota
    21 upsilon
    21 upsilon