| Thu, 20 Feb 2014 12:27:51 +1100 | kleing | move stronger rules into exercise | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | added a function that carries out all the reconstruction steps, for improved usability; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | reconstruction framework for LEO-II's TPTP proofs; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | made list of test files a parameter to timed_test in TPTP_Test.thy, and updated dependent definitions; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | cleaned code used to produce a proof-graph; | changeset | files |
| Wed, 19 Feb 2014 15:57:02 +0000 | sultana | improved configurability of DOT exporter; | changeset | files |