mention version 0.6 of Vampire, since that's what's currently available for download
mention version 0.6 of Vampire, since that's what's currently available for download

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle