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 ; }
Write Isabelle theory files to disk for the model and proof obligations