| Mon, 05 Sep 2011 16:07:40 -0700 |
huffman |
generalize some lemmas
|
changeset |
files
|
| Mon, 05 Sep 2011 12:19:04 -0700 |
huffman |
add lemmas cos_arctan and sin_arctan
|
changeset |
files
|
| Mon, 05 Sep 2011 08:38:50 -0700 |
huffman |
tuned indentation
|
changeset |
files
|
| Mon, 05 Sep 2011 23:51:16 +0200 |
wenzelm |
more visible outdated_color;
|
changeset |
files
|
| Mon, 05 Sep 2011 23:26:41 +0200 |
wenzelm |
commands_change_delay within main actor -- prevents overloading of commands_change_buffer input channel;
|
changeset |
files
|
| Mon, 05 Sep 2011 20:30:37 +0200 |
wenzelm |
tuned imports;
|
changeset |
files
|
| Mon, 05 Sep 2011 14:42:31 +0200 |
blanchet |
fixed handling of "sledgehammer_params", so that "sledgehammer_params [e]" is really the same as "sledgehammer_params [provers = e]"
|
changeset |
files
|
| Mon, 05 Sep 2011 14:17:44 +0200 |
boehmes |
tuned
|
changeset |
files
|
| Mon, 05 Sep 2011 11:34:54 +0200 |
boehmes |
tuned
|
changeset |
files
|
| Mon, 05 Sep 2011 11:28:10 +0200 |
boehmes |
filter out all schematic theorems if the problem contains no ground constants
|
changeset |
files
|
| Sun, 04 Sep 2011 21:04:02 -0700 |
huffman |
merged
|
changeset |
files
|
| Sun, 04 Sep 2011 21:03:54 -0700 |
huffman |
tuned comments
|
changeset |
files
|
| Sun, 04 Sep 2011 11:16:47 -0700 |
huffman |
simplify proof of Bseq_mono_convergent
|
changeset |
files
|
| Sun, 04 Sep 2011 20:37:20 +0200 |
wenzelm |
merged
|
changeset |
files
|