moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!
moved VAMPIRE_HOME, E_HOME to section "External reasoning tools" -- commented out by default!

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