| 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 |
| Tue, 31 May 2011 21:33:49 +0200 | hoelzl | use divide instead of inverse for the derivative of ln | changeset | files |
| Thu, 09 Jun 2011 11:57:39 +0200 | bulwahn | adding ISABELLE_GHC environment setting to mira configuration isabelle makeall all on lxbroy10 | changeset | files |