| Tue, 20 May 2014 15:59:16 +0200 |
nipkow |
added lemma
|
changeset |
files
|
| Tue, 20 May 2014 09:57:10 +0200 |
blanchet |
implemented MaSh/SML hints
|
changeset |
files
|
| Tue, 20 May 2014 09:38:39 +0200 |
blanchet |
better way to take invisible facts into account than 'island' business
|
changeset |
files
|
| Tue, 20 May 2014 02:47:23 +0200 |
blanchet |
cleaner handling of learned proofs
|
changeset |
files
|
| Tue, 20 May 2014 00:13:31 +0200 |
blanchet |
implemented learning of single proofs in SML MaSh
|
changeset |
files
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
take weights into consideration in knn
|
changeset |
files
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
added SML implementation of MaSh
|
changeset |
files
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
use E 1.8's auto scheduler option
|
changeset |
files
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
started work on MaSh/SML
|
changeset |
files
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
tune
|
changeset |
files
|
| Mon, 19 May 2014 23:43:53 +0200 |
blanchet |
store all MaSh data on the Isabelle side, in preparation for replacing 'mash.py' with ML solution
|
changeset |
files
|
| Mon, 19 May 2014 19:17:15 +0200 |
Lars Hupel |
trace windows uses search feature of Pretty_Text_Area;
|
changeset |
files
|