DecodingException
isabelle
dec
Variant
decode
Codec
Variant
decodeOrThrow
Codec
delete
Ref
disj
HOLogic
dispose
System
JSystem
done
More
dummyT
Typ