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