Wed, 18 Jul 2012 08:44:03 +0200 | blanchet | clean up dependencies | file | diff | annotate |
Wed, 11 Jul 2012 21:43:19 +0200 | blanchet | further ML structure split to permit finer-grained loading/reordering (problem to solve: MaSh needs most of Sledgehammer) | file | diff | annotate |
Tue, 10 Jul 2012 23:36:03 +0200 | blanchet | moved MaSh into own files | file | diff | annotate |
Fri, 27 Apr 2012 15:24:37 +0200 | blanchet | get rid of old CASC setup and move the arithmetic part to a new theory | file | diff | annotate |
Tue, 17 Apr 2012 23:22:40 +0100 | sultana | updated TPTP's ROOT.ML to include TPTP_Interpret; | file | diff | annotate |
Fri, 09 Mar 2012 15:38:55 +0000 | sultana | added tptp parser; | file | diff | annotate |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | added problem importer | file | diff | annotate |
Mon, 23 Jan 2012 17:40:32 +0100 | blanchet | renamed theory exporter | file | diff | annotate |
Wed, 13 Jul 2011 22:16:19 +0200 | blanchet | cleanly separate TPTP related files from other examples | file | diff | annotate |