src/HOL/TPTP/ATP_Theory_Export.thy
Tue, 09 Apr 2013 15:19:14 +0200 blanchet reverted accidental changes to theory file + updated wrt ML file
Tue, 09 Apr 2013 15:19:14 +0200 blanchet work on CASC LTB ISA exporter
Tue, 09 Apr 2013 15:19:14 +0200 blanchet tuning
Wed, 22 Aug 2012 22:55:41 +0200 wenzelm prefer ML_file over old uses;
Fri, 20 Jul 2012 22:19:45 +0200 blanchet tuning
Wed, 18 Jul 2012 08:44:03 +0200 blanchet more implementation work on MaSh
Wed, 18 Jul 2012 08:44:03 +0200 blanchet started implementing MaSh client-side I/O
Tue, 10 Jul 2012 23:36:03 +0200 blanchet generate Meng--Paulson facts for evaluation purposes
Tue, 10 Jul 2012 23:36:03 +0200 blanchet instantiate induction rules
Tue, 10 Jul 2012 23:36:03 +0200 blanchet moved MaSh into own files
Tue, 10 Jul 2012 23:36:03 +0200 blanchet generate lambdas and skolems again
Tue, 10 Jul 2012 23:36:03 +0200 blanchet generate theory name as a feature
Mon, 09 Jul 2012 23:58:05 +0200 blanchet compile
Mon, 09 Jul 2012 23:23:12 +0200 blanchet cleanup
Mon, 09 Jul 2012 23:23:12 +0200 blanchet more precise dependencies -- eliminate tautologies
Mon, 09 Jul 2012 23:23:12 +0200 blanchet generate problem file
Mon, 09 Jul 2012 23:23:12 +0200 blanchet first go at generating files for MaSh (machine-learning Sledgehammer)
Tue, 26 Jun 2012 11:14:40 +0200 blanchet compile
Tue, 26 Jun 2012 11:14:40 +0200 blanchet more work on DFG type classes
Tue, 26 Jun 2012 11:14:39 +0200 blanchet removed support for unsorted DFG, now that SPASS 3.7 is no longer supported
Mon, 06 Feb 2012 23:01:01 +0100 blanchet renamed type encoding
Mon, 23 Jan 2012 17:40:32 +0100 blanchet renamed theory exporter
less more (0) tip