| Wed, 28 Jul 2010 16:13:34 +0200 | adapt to new (?) TPTP output | file | diff | annotate |
| Fri, 23 Apr 2010 18:11:41 +0200 | now rename the file "atp_wrapper.ML" to "atp_systems.ML" + fix typo in "SystemOnTPTP" script | file | diff | annotate |
| Thu, 22 Apr 2010 14:47:52 +0200 | if Isar proof reconstruction is not supported, tell the user so they don't wonder why their "isar_proof" option did nothing | file | diff | annotate |
| Fri, 28 Aug 2009 18:11:42 +0200 | New option ForceSystem that makes sure we *really* get the system we ask for | file | diff | annotate |
| Tue, 04 Aug 2009 19:20:24 +0200 | src/HOL/Tools/ATP_Manager as separate component, with (almost) everything in one place; | file | diff | annotate | base |