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