src/HOL/TPTP/CASC_Setup.thy
Mon, 30 Jan 2012 17:15:59 +0100 blanchet rename lambda translation schemes
Mon, 23 Jan 2012 17:40:32 +0100 blanchet renamed two files to make room for a new file
Sat, 24 Dec 2011 15:53:10 +0100 haftmann dropped references to obsolete fact `mem_def`
Wed, 16 Nov 2011 17:59:58 +0100 blanchet compile
Mon, 12 Sep 2011 07:55:43 +0200 nipkow new fastforce replacing fastsimp - less confusing name
Fri, 02 Sep 2011 14:43:20 +0200 blanchet renamed "Metis_Tactics" to "Metis_Tactic", now that there is only one Metis tactic ("metisFT" is legacy)
Wed, 24 Aug 2011 11:17:33 +0200 blanchet more reliable "sledgehammer\_tac" reconstruction, by avoiding "insert_tac"
Tue, 23 Aug 2011 19:49:21 +0200 blanchet compile
Wed, 13 Jul 2011 22:16:19 +0200 blanchet added arithmetic decision procedure to CASC setup
Wed, 13 Jul 2011 22:16:19 +0200 blanchet added some arithmetic functions, for THF with arithmetic
Wed, 13 Jul 2011 22:16:19 +0200 blanchet pull in arithmetic theories
Wed, 13 Jul 2011 22:16:19 +0200 blanchet cleanly separate TPTP related files from other examples
less more (0) tip