code: public Boolean writeThyFiles(String path) throws IOException
  	{
  		File modelThyFile = new File(path + modelThyName);
  		FileUtils.writeStringToFile(modelThyFile, modelThy.getContent());
  
  		File posThyFile = new File(path + posThyName);
  		FileUtils.writeStringToFile(posThyFile, posThy);
  
  		return true;
  	}
docs: Write Isabelle theory files to disk for the model and proof obligations
  
  @param path
  Path to the directory to write the files to. Must end with the {@link File#separatorChar}
  @return true if write is successful
  @throws IOException