use Path.T; added 'cd', 'rm', 'use';
use Path.T;
added 'cd', 'rm', 'use';

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