| Mon, 18 Apr 2016 11:02:07 +0200 |
wenzelm |
avoid clash with function called "x";
|
changeset |
files
|
| Mon, 18 Apr 2016 14:30:32 +0100 |
paulson |
new theorems about convex hulls, etc.; also, renamed some theorems
|
changeset |
files
|
| Sun, 17 Apr 2016 22:38:50 +0200 |
wenzelm |
clarified bindings;
|
changeset |
files
|
| Sun, 17 Apr 2016 22:10:09 +0200 |
wenzelm |
clarified bindings;
|
changeset |
files
|
| Sun, 17 Apr 2016 20:54:17 +0200 |
wenzelm |
prefer binding over base name;
|
changeset |
files
|
| Sun, 17 Apr 2016 20:11:02 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Sun, 17 Apr 2016 16:36:47 +0200 |
wenzelm |
removed pointless check (see Type_Infer.object_logic);
|
changeset |
files
|
| Sun, 17 Apr 2016 16:28:35 +0200 |
wenzelm |
prefer precise names for internal construction;
|
changeset |
files
|
| Sun, 17 Apr 2016 16:02:44 +0200 |
Lars Hupel |
remove "slow" session tags
|
changeset |
files
|
| Sun, 17 Apr 2016 12:59:55 +0200 |
wenzelm |
misc tuning and modernization;
|
changeset |
files
|
| Sun, 17 Apr 2016 12:40:48 +0200 |
wenzelm |
clarified reported positions;
|
changeset |
files
|
| Sun, 17 Apr 2016 12:26:22 +0200 |
wenzelm |
operate on proper binding;
|
changeset |
files
|
| Sun, 17 Apr 2016 11:53:29 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Fri, 15 Apr 2016 18:05:57 +0200 |
Lars Hupel |
add "slow" group to descendants of HOL-Proofs
|
changeset |
files
|