51ba9f663d9287750036b875cb278d7cdf9db91f |
|
19-Sep-2012 |
Jonathan von Schroeder <sternkinder@gmail.com> |
added further provers provided for tptp provided by isabelle
git-svn-id: https://svn-agbkb.informatik.uni-bremen.de/Hets/trunk@17375 cec4b9c1-7d33-0410-9eda-942365e851bb |