| Tue, 17 Apr 2012 16:14:07 +0100 | sultana | improved tptp_graph robustness by relying on thy; | file | diff | annotate |
| Sat, 14 Apr 2012 15:08:59 +0100 | sultana | aligned tptp_graph dependencies to Isabelle conventions; | file | diff | annotate |
| Tue, 10 Apr 2012 06:45:15 +0100 | sultana | added graph-conversion utility for TPTP files | file | diff | annotate |