| Sat, 05 Jan 2019 17:24:33 +0100 |
wenzelm |
isabelle update -u control_cartouches;
|
file |
diff |
annotate
|
| Thu, 26 May 2016 17:51:22 +0200 |
wenzelm |
isabelle update_cartouches -c -t;
|
file |
diff |
annotate
|
| Mon, 05 Oct 2015 13:26:25 +0200 |
blanchet |
extended theory exporter to also export MePo-selected facts
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 15:19:14 +0200 |
blanchet |
reverted accidental changes to theory file + updated wrt ML file
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 15:19:14 +0200 |
blanchet |
work on CASC LTB ISA exporter
|
file |
diff |
annotate
|
| Tue, 09 Apr 2013 15:19:14 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 22 Aug 2012 22:55:41 +0200 |
wenzelm |
prefer ML_file over old uses;
|
file |
diff |
annotate
|
| Fri, 20 Jul 2012 22:19:45 +0200 |
blanchet |
tuning
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
more implementation work on MaSh
|
file |
diff |
annotate
|
| Wed, 18 Jul 2012 08:44:03 +0200 |
blanchet |
started implementing MaSh client-side I/O
|
file |
diff |
annotate
|
| Tue, 10 Jul 2012 23:36:03 +0200 |
blanchet |
generate Meng--Paulson facts for evaluation purposes
|
file |
diff |
annotate
|
| Tue, 10 Jul 2012 23:36:03 +0200 |
blanchet |
instantiate induction rules
|
file |
diff |
annotate
|
| Tue, 10 Jul 2012 23:36:03 +0200 |
blanchet |
moved MaSh into own files
|
file |
diff |
annotate
|
| Tue, 10 Jul 2012 23:36:03 +0200 |
blanchet |
generate lambdas and skolems again
|
file |
diff |
annotate
|
| Tue, 10 Jul 2012 23:36:03 +0200 |
blanchet |
generate theory name as a feature
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 23:58:05 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 23:23:12 +0200 |
blanchet |
cleanup
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 23:23:12 +0200 |
blanchet |
more precise dependencies -- eliminate tautologies
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 23:23:12 +0200 |
blanchet |
generate problem file
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 23:23:12 +0200 |
blanchet |
first go at generating files for MaSh (machine-learning Sledgehammer)
|
file |
diff |
annotate
|
| Tue, 26 Jun 2012 11:14:40 +0200 |
blanchet |
compile
|
file |
diff |
annotate
|
| Tue, 26 Jun 2012 11:14:40 +0200 |
blanchet |
more work on DFG type classes
|
file |
diff |
annotate
|
| Tue, 26 Jun 2012 11:14:39 +0200 |
blanchet |
removed support for unsorted DFG, now that SPASS 3.7 is no longer supported
|
file |
diff |
annotate
|
| Mon, 06 Feb 2012 23:01:01 +0100 |
blanchet |
renamed type encoding
|
file |
diff |
annotate
|
| Mon, 23 Jan 2012 17:40:32 +0100 |
blanchet |
renamed theory exporter
|
file |
diff |
annotate
| base
|