src/HOL/TPTP/CASC_Setup.thy
2012-01-23 blanchet 2012-01-23 renamed two files to make room for a new file
2011-12-24 haftmann 2011-12-24 dropped references to obsolete fact `mem_def`
2011-11-16 blanchet 2011-11-16 compile
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2011-09-02 blanchet 2011-09-02 renamed "Metis_Tactics" to "Metis_Tactic", now that there is only one Metis tactic ("metisFT" is legacy)
2011-08-24 blanchet 2011-08-24 more reliable "sledgehammer\_tac" reconstruction, by avoiding "insert_tac"
2011-08-23 blanchet 2011-08-23 compile
2011-07-13 blanchet 2011-07-13 added arithmetic decision procedure to CASC setup
2011-07-13 blanchet 2011-07-13 added some arithmetic functions, for THF with arithmetic
2011-07-13 blanchet 2011-07-13 pull in arithmetic theories
2011-07-13 blanchet 2011-07-13 cleanly separate TPTP related files from other examples