MS Isabelle

GPTKB entity