../../isabelle/bin/isabelle build -v -d ../.. Sep_Algebra