| Fri, 10 Jun 2011 14:59:30 +0200 |
wenzelm |
use existing ghc on macbroy20;
|
changeset |
files
|
| Fri, 10 Jun 2011 13:32:51 +0200 |
wenzelm |
local gensym based on Name.variant;
|
changeset |
files
|
| Fri, 10 Jun 2011 12:51:29 +0200 |
wenzelm |
uniform use of flexflex_rule;
|
changeset |
files
|
| Fri, 10 Jun 2011 11:47:52 +0200 |
wenzelm |
tuned name (cf. blast_stats);
|
changeset |
files
|
| Fri, 10 Jun 2011 11:39:23 +0200 |
wenzelm |
more official options blast_trace, blast_stats;
|
changeset |
files
|
| Thu, 09 Jun 2011 23:30:18 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Thu, 09 Jun 2011 15:14:21 +0200 |
bulwahn |
merged
|
changeset |
files
|
| Thu, 09 Jun 2011 14:16:12 +0200 |
bulwahn |
resolving an issue with class instances that are pseudo functions in the OCaml code serializer
|
changeset |
files
|
| Thu, 09 Jun 2011 14:24:34 +0200 |
hoelzl |
merged
|
changeset |
files
|
| Thu, 09 Jun 2011 14:04:38 +0200 |
hoelzl |
fixed document generation for HOL
|
changeset |
files
|
| Thu, 09 Jun 2011 14:04:34 +0200 |
hoelzl |
lemma: independence is equal to mutual information = 0
|
changeset |
files
|
| Thu, 09 Jun 2011 13:55:11 +0200 |
hoelzl |
jensens inequality
|
changeset |
files
|
| Thu, 09 Jun 2011 11:50:16 +0200 |
hoelzl |
lemmas about right derivative and limits
|
changeset |
files
|
| Thu, 09 Jun 2011 11:50:16 +0200 |
hoelzl |
lemma about differences of convex functions
|
changeset |
files
|
| Thu, 09 Jun 2011 11:50:16 +0200 |
hoelzl |
lemmas relating ln x and x - 1
|
changeset |
files
|