Fri, 31 Jan 2014 18:43:16 +0100 |
blanchet |
moved code around
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 18:43:16 +0100 |
blanchet |
added 'algebra' to the mix
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 18:43:16 +0100 |
blanchet |
more informative trace
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 18:43:16 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 18:43:16 +0100 |
blanchet |
more concise Isar output
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 16:41:54 +0100 |
blanchet |
better tracing + syntactically correct 'metis' calls
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 16:26:43 +0100 |
blanchet |
tuned ML function names
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 16:10:39 +0100 |
blanchet |
tuning
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 16:07:20 +0100 |
blanchet |
moved ML code around
|
file |
diff |
annotate
|
Fri, 31 Jan 2014 10:23:32 +0100 |
blanchet |
renamed many Sledgehammer ML files to clarify structure
|
file |
diff |
annotate
| base
|